Publisher
Springer International Publishing
Reference19 articles.
1. Robinson, A. (1963). On languages which are based on non-standard arithmetic. Nagoya Mathematical Journal, 22, 83–117. ISSN: 0027-7630.
https://doi.org/10.1017/S0027763000011065
.
2. Krajewski, S. (1976). Non-standard satisfaction classes. In W. Marek, M. Srebrny & A. Zarach (Eds.), Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski. Lecture notes in mathematics (Vol. 537). Berlin: Springer.
3. Kotlarski, H., Krajewski, S., & Lachlan, A. H. (1981). Construction of satisfaction classes for nonstandard models. Canadian Mathematical Bulletin, 24(3), 283–293. ISSN: 0008-4395.
https://doi.org/10.4153/CMB-1981-045-3
.
4. Kotlarski, H., & Ratajczyk, Z. (1990). Inductive full satisfaction classes. Annals of Pure and Applied Logic, 47(3), 199–223. ISSN: 01680072.
https://doi.org/10.1016/0168-0072(90)90035-Z
.
5. Kotlarski, H., & Ratajczyk, Z. (1990). More on induction in the language with a satisfaction class. Mathematical Logic Quarterly, 36(5), 441–454. ISSN: 09425616.
https://doi.org/10.1002/malq.19900360509
.