Keywords
- Free Variable
- Atomic Formula
- Predicate Symbol
- Induction Scheme
- Arithmetical Formula
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
I. Barwise, J. Schlipf [1975], On Recursively Saturated Models or Arithmetic, preprint.
C.C. Chang, H.J. Keisler [1973], Theory of Models, North Holland.
A. Ehrenfeucht, G. Kreisel [1966], Strong Models of Arithmetic, Bull. Acad. Pol. Sci., 14, 107–110.
S. Krajewski [1974] Predicative Expansions of Axiomatic Theries, Zeitsch. Math. Log. Gr. Math. 20, 435–452.
S. Krajewski [1974a], Mutually Inconsistent Satisfaction Classes, Bull. Acad. Pol. Sci. 22, 883–887.
S. Krajewski [1975], A Note on Expansions of Models for Set Theories, Proceedings of Karpacz 1974 Logic Conference.
R. Montague [1961], Semantic Closure and Non-finite Axiomatizability, in: Infinistic Methods, PWN and Pergamon Press.
A. Mostowski [1950], Some Impredicative Definitions in Axiomatic Set Theory, Fund. Math. 37, 111–124.
A. Robinson [1963], On Languages Based on Non-standard Arithmetic, Nagoya Math. J. 22, 83–107.
S. Shelah [1971], Remark to Local Definability Theory of Reyes, Ann. Math. Log. 2, 441–448.
A. Tarski [1933], Pojęcie Prawdy w Językach Nauk Dedukcyjnych, nakładem Towarzystwa Naukowego Warszawskiego.
R.L. Vaught [1967], Axiomatizability by a Schema, J. Symb. Log. 32, 473–479.
P. Vopenka, P. Hàjek [1973], Existence of a Generalized Semantic Model of GB, Bull. Acad. Pol. Sci. 21, 1079–1086.
A. Wilkie [1973], Arithmetical Parts of Strong Theories, preprint.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1976 Springer-Verlag
About this paper
Cite this paper
Krajewski, S. (1976). Non-standard satisfaction classes. In: Marek, W., Srebrny, M., Zarach, A. (eds) Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski. Lecture Notes in Mathematics, vol 537. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0096898
Download citation
DOI: https://doi.org/10.1007/BFb0096898
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07856-2
Online ISBN: 978-3-540-38122-8
eBook Packages: Springer Book Archive
