[unknown]
Roman Kossak (1984)
Fundamenta Mathematicae
Similarity:
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: