Displaying similar documents to “A criterion of SNT(X) = {[X]} for hyperformal spaces”

A Kleene-Schützenberger theorem for Lindenmayerian rational power series

Juha Honkala (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

We define L rational and L recognizable power series, and establish a Kleene-Schützenberger theorem for Lindenmayerian power series by showing that a power series is L rational if and only if it is L recognizable.

Niven’s Theorem

Artur Korniłowicz, Adam Naumowicz (2016)

Formalized Mathematics

Similarity:

This article formalizes the proof of Niven’s theorem [12] which states that if x/π and sin(x) are both rational, then the sine takes values 0, ±1/2, and ±1. The main part of the formalization follows the informal proof presented at Pr∞fWiki (https://proofwiki.org/wiki/Niven’s_Theorem#Source_of_Name). For this proof, we have also formalized the rational and integral root theorems setting constraints on solutions of polynomial equations with integer coefficients [8, 9].

Universal rational spaces

J. C. Mayer, E. D. Tymchatyn

Similarity:

CONTENTS1. Introduction......................................................................52. Rim-type and decompositions..........................................83. Defining sequences and isomorphisms..........................184. Embedding theorem.......................................................265. Construction of universal and containing spaces...........326. References....................................................................39

Iteration of rational transductions

Alain Terlutte, David Simplot (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

The purpose of this paper is to show connections between iterated length-preserving rational transductions and linear space computations. Hence, we study the smallest family of transductions containing length-preserving rational transductions and closed under union, composition and iteration. We give several characterizations of this class using restricted classes of length-preserving rational transductions, by showing the connections with "context-sensitive transductions" and transductions...

Cauchy type functional equations related to some associative rational functions

Katarzyna Domańska (2019)

Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica

Similarity:

L. Losonczi [4] determined local solutions of the generalized Cauchy equation f(F(x, y))= f(x) + f(y) on components of the denition of a given associative rational function F. The class of the associative rational function was described by A. Chéritat [1] and his work was followed by paper [3] of the author. The aim of the present paper is to describe local solutions of the equation considered for some singular associative rational functions.

A dynamical Shafarevich theorem for twists of rational morphisms

Brian Justin Stout (2014)

Acta Arithmetica

Similarity:

Let K denote a number field, S a finite set of places of K, and ϕ: ℙⁿ → ℙⁿ a rational morphism defined over K. The main result of this paper states that there are only finitely many twists of ϕ defined over K which have good reduction at all places outside S. This answers a question of Silverman in the affirmative.