Found 17 Documents (Results 1–17)
The diversity of minimal cofinal extensions. (English) Zbl 07634480
MSC:
03C62
Automorphism groups of countable arithmetically saturated models of Peano arithmetic. (English) Zbl 1368.03042
Reviewer: Roman Murawski (Poznań)
Uncountable real closed fields with PA integer parts. (English) Zbl 1358.03041
Reviewer: Roman Kossak (New York)
Subsets coded in elementary end extensions. (English) Zbl 1298.03099
Reviewer: Roman Kossak (New York)
On cofinal submodels and elementary interstices. (English) Zbl 1256.03041
Reviewer: Roman Murawski (Poznań)
MSC:
03C62
The automorphism group of a resplendent model. (English) Zbl 1251.03039
Reviewer: Roman Kossak (New York)
Elementary cuts in saturated models of Peano arithmetic. (English) Zbl 1244.03114
Reviewer: Roman Kossak (New York)
MSC:
03C62
Infinite substructure lattices of models of Peano arithmetic. (English) Zbl 1207.03047
Reviewer: Roman Kossak (New York)
Nondiversity in substructures. (English) Zbl 1141.03014
Reviewer: Roman Kossak (New York)
Some highly saturated models of Peano arithmetic. (English) Zbl 1038.03045
Reviewer: Roman Kossak (New York)
Automorphism groups of models of Peano arithmetic. (English) Zbl 1038.03044
Reviewer: Roman Kossak (New York)
Arithmetically saturated models of arithmetic. (English) Zbl 0848.03017
Reviewer: R.Kossak (New York)
Filter Results by …
all
top 5
Author
- Schmerl, James H. (17)
- Kossak, Roman (3)
- Abdul-Quader, Athar (1)
- Kotlarski, Henryk (1)
- Marker, David E. (1)
- Nurkhaidarov, Ermek S. (1)
- Steinhorn, Charles I. (1)
Serial
- J. Symb. Log. (7)
- Notre Dame J. Formal Logic (5)
- Arch. Math. Logic (3)
- Ann. Pure Appl. Logic (1)
- Math. Log. Q. (1)