Switch to: Citations

References in:

Inductive Full Satisfaction Classes

Henryk Kotlarski & Zygmunt Ratajczyk

Annals of Pure and Applied Logic 47 (1):199--223 (1990)

Add references

You must login to add references.

(2 other versions)A Hierarchy of Cuts in Models of Arithmetic.J. B. Paris, L. Pacholski, J. Wierzejewski, A. J. Wilkie, George Mills & Jussi Ketonen - 1986 - Journal of Symbolic Logic 51 (4):1062-1066.details Download Export citation Bookmark 13 citations
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.details Download Export citation Bookmark 102 citations
(1 other version)Satisfaction Classes and Combinatorial Sentences Independent From PA.Z. Ratajczyk - 1982 - Mathematical Logic Quarterly 28 (8‐12):149-165.details Download Export citation Bookmark 4 citations
(1 other version)Satisfaction Classes and Combinatorial Sentences Independent FromPA.Z. Ratajczyk - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (8-12):149-165.details Download Export citation Bookmark 4 citations
(1 other version)Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.details Download Export citation Bookmark 109 citations
A classification of the ordinal recursive functions.S. S. Wainer - 1970 - Archive for Mathematical Logic 13 (3-4):136-153.details Download Export citation Bookmark 18 citations
Bounded Induction and Satisfaction Classes.Henryk Kotlarski - 1986 - Mathematical Logic Quarterly 32 (31-34):531-544.details Download Export citation Bookmark 30 citations
Full Satisfaction Classes and Recursive Saturation.Alistair H. Lachlan - 1981 - Canadian Mathematical Bulletin 24 (1):295--97.details Download Export citation Bookmark 20 citations
A note on satisfaction classes.Roman Kossak - 1985 - Notre Dame Journal of Formal Logic 26 (1):1-8.details Download Export citation Bookmark 8 citations
Construction of Satisfaction Classes for Nonstandard Models.Henryk Kotlarski, Stanislav Krajewski & Alistair H. Lachlan - 1981 - Canadian Mathematical Bulletin 24 (1):283--93.details Download Export citation Bookmark 34 citations

1