Switch to: Citations

References in:

Recursively saturated nonstandard models of arithmetic

C. Smoryński

Journal of Symbolic Logic 46 (2):259-286 (1981)

Add references

You must login to add references.

(2 other versions)Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.details Download Export citation Bookmark 170 citations
A guide to the identification of admissible sets above structures.John S. Schlipf - 1977 - Annals of Mathematical Logic 12 (2):151.details Download Export citation Bookmark 13 citations
On expandability of models of Peano arithmetic. II.Roman Murawski - 1976 - Studia Logica 35 (4):421-431.details Download Export citation Bookmark 6 citations
Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7-10):146-153.details Download Export citation Bookmark 22 citations
(1 other version)Grundlagen der Mathematik II.D. Hilbert & P. Bernays - 1974 - Journal of Symbolic Logic 39 (2):357-357.details Download Export citation Bookmark 44 citations
Models with compactness properties relative to an admissible language.J. P. Ressayre - 1977 - Annals of Mathematical Logic 11 (1):31.details Download Export citation Bookmark 37 citations
(1 other version)Models and types of Peano's arithmetic.Haim Gaifman - 1976 - Annals of Mathematical Logic 9 (3):223-306.details Download Export citation Bookmark 48 citations
Models with second order properties II. Trees with no undefined branches.Saharon Shelah - 1978 - Annals of Mathematical Logic 14 (1):73.details Download Export citation Bookmark 27 citations
Some applications of Kleene's methods for intuitionistic systems.Harvey Friedman - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 113--170.details Download Export citation Bookmark 26 citations

1