Results on automorphisms of recursively saturated models of PA
Roman Kossak, Henryk Kotlarski (1988)
Fundamenta Mathematicae
Similarity:
Roman Kossak, Henryk Kotlarski (1988)
Fundamenta Mathematicae
Similarity:
Michael O. Rabin (1962)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Richard Byrd, Justin Lloyd, Franklin Pederson, James Stepp (1984)
Fundamenta Mathematicae
Similarity:
Saharon Shelah, Juris Steprans (1989)
Fundamenta Mathematicae
Similarity:
J. K. Truss (2009)
Fundamenta Mathematicae
Similarity:
Let (C,R) be the countable dense circular ordering, and G its automorphism group. It is shown that certain properties of group elements are first order definable in G, and these results are used to reconstruct C inside G, and to demonstrate that its outer automorphism group has order 2. Similar statements hold for the completion C̅.
Miroslav Benda (1974)
Fundamenta Mathematicae
Similarity:
Fuhrken, G. (1973)
Portugaliae mathematica
Similarity:
Federico Menegazzo (1993)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Giovanni Cutolo (1992)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
Similarity:
A characterization of central automorphisms of groups is given. As an application, we obtain a new proof of the centrality of power automorphisms.
Marek Karaś (2011)
Bulletin of the Polish Academy of Sciences. Mathematics
Similarity:
Let d₃ ≥ p₂ > p₁ ≥ 3 be integers such that p₁,p₂ are prime numbers. We show that the sequence (p₁,p₂,d₃) is the multidegree of some tame automorphism of ℂ³ if and only if d₃ ∈ p₁ℕ + p₂ℕ, i.e. if and only if d₃ is a linear combination of p₁ and p₂ with coefficients in ℕ.
David Sherman (2009)
Studia Mathematica
Similarity:
In functional analysis, approximative properties of an object become precise in its ultrapower. We discuss this idea and its consequences for automorphisms of II₁ factors. Here are some sample results: (1) an automorphism is approximately inner if and only if its ultrapower is ℵ₀-locally inner; (2) the ultrapower of an outer automorphism is always outer; (3) for unital *-homomorphisms from a separable nuclear C*-algebra into an ultrapower of a II₁ factor, equality of the induced traces...