[unknown]
Roman Kossak (1984)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Results on automorphisms of recursively saturated models of PA”
[unknown]
The number of automorphisms of models of -categorical theories
John Baldwin (1973)
Fundamenta Mathematicae
Similarity:
On elementary cuts in recursively saturated models of Peano Arithmetic
Henryk Kotlarski (1984)
Fundamenta Mathematicae
Similarity:
Some problem in elementary arithmetics
D. Jensen, A. Ehrenfeucht (1976)
Fundamenta Mathematicae
Similarity:
Classes of models and sets of sentences with the intersection property
Michael O. Rabin (1962)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
The equivalence of definable quantifiers in second order arithmetic
Wojciech Guzicki (1981)
Fundamenta Mathematicae
Similarity:
On elementary cuts in models of arithmetic
Henryk Kotlarski (1983)
Fundamenta Mathematicae
Similarity:
Remarks on countable models
Miroslav Benda (1974)
Fundamenta Mathematicae
Similarity:
On the number of models of the Kelley-Morse theory of classes
W. Marek, Paweł Zbierski (1980)
Fundamenta Mathematicae
Similarity:
On Sigma10-extensions of Omega
Žarko Mijajlović (1983)
Publications de l'Institut Mathématique
Similarity: