References
Kirby, L.A.S.: Initial segments of models of arithmetic. Ph.D. Thesis, Manchester University, 1977
Kirby, L.A.S., Paris, J.: Initial segments of models of Peano's axioms. In: Lachlan, A., Srebrny, M., Zarach, A. (eds.) Set theory and hierarchy theory V, proceedings of the Bierutowice Conference 1976 (Lect. Notes Math., vol. 619, pp. 211–226). Berlin Heidelberg New York: Springer 1977
Kossak, R.: A note on satisfaction classes. Notre Dame J. Formal Logic26, 1–8 (1985)
Kotlarski, H.: On elementary cuts in recursively saturated models of Peano arithmetic. Fundam. Math.120, 205–222 (1984)
Kotlarski, H.: Bounded induction and satisfaction classes. Z. Math. Logik Grundlagen Math.32, 531–544 (1986)
Kotlarski, H., Krajewski, S., Lachlan, A.: Construction of satisfaction classes for nonstandard models. Can. Math. Bull.24, 283–293 (1981)
Kotlarski, H., Ratajczyk, Z.: Inductive full satisfaction classes. Ann. Pure Appl. Logic (to appear)
Krajewski, S.: Nonstandard satisfaction classes. In: Marek, W., Srebrny, M., Zarach, A. (eds.). Set theory and hierarchy theory, proceedings of the Bierutowice Conference 1975. (Lect. Notes Math. vol. 537, pp. 121–144). Berlin Heidelberg New York: Springer 1976
Lachlan, A.: Full satisfaction classes and recursive saturation. Can. Math. Bull.24, 294–297 (1981)
Murawski, R.: Models of Peano arithmetic expandable to models of fragments of second order arithmetic (in Polish). Ph.D. Thesis, University of Warsaw, 1978
Murawski, R.: Pointwise definable substructures of models of Peano arithmetic. Notre Dame J. Formal Logic29, 295–308 (1988)
Murawski, R.: Definable sets and expansions of models of Peano arithmetic. Arch. Math. Logic27, 21–33 (1988)
Schlipf, J.: Toward model theory through recursive saturation. J. Symb. Logic43, 183–206 (1978)
Smoryński, C.: The incompleteness theorems. In: Barwise, J. (ed.). Handbook of mathematical logic, pp. 821–865. Amsterdam: North-Holland 1977
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Murawski, R. A note on the variety of satisfaction classes. Arch Math Logic 30, 83–89 (1990). https://doi.org/10.1007/BF01634978
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01634978