On expandability of models of Peano arithmetic. I-Reference-Cited by-同舟云学术

On expandability of models of Peano arithmetic. I

Published:1976-12 Issue:4 Volume:35 Page:409-419
ISSN:0039-3215
Container-title:Studia Logica
language:en
Short-container-title:Stud Logica

Author:

Murawski Roman

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,Logic

Link

http://link.springer.com/content/pdf/10.1007/BF02123406.pdf

Reference10 articles.

1. K. R. Apt, W. Marek,Second order arithmetic and related topics,Annals of Mathematical Logic, Vol. 6 (1974), pp. 177–229.

2. K. J. Barwise,Admissible sets over models of set theory, inGeneralized recursion theory, ed. by J. E. Fenstad, P. G. Hinman, North Holland Publ. Comp. 1974, pp. 97–122.

3. K. J. Barwise, J. Schlipf,On recursively saturated models of arithmetic (mimeographed).

4. C. C. Chang, H. J. Keisler,Model theory, North Holland Publ. Comp. 1973.

5. A. Ehrenfeucht, G. Kreisel,Strong models of arithmetic,Bulletin de l'Académie Polonaise des Sciences,Serie des sci. math., astr. et phys., Vol. 14 (1966), pp. 107–110.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Barwise-Schlipf theorem;Proceedings of the American Mathematical Society;2020-10-20

2. Reverse Mathematik und ihre Bedeutung;Mathematische Semesterberichte;1993-09

3. ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1992

4. Definable sets and expansions of models of Peano arithmetic;Archive for Mathematical Logic;1988-03

5. Some More Remarks on Expandability of Initial Segments;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1986