Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Apt, K.R., Marek, W.: Second order arithmetic and related topics, Annals of Math. Logic 6(1974), 177â239.
Kirby, L.A.S., McAloon, K., Murawski, R.: Indicators, recursive saturation and expandability, Fund. Math. 114(1981), 127â139.
Kotlarski, H.: On Skolem ultrapowers and their nonstandard variant, Zeitschrift f. math. Logik und Grundlagen d. Math. 26 (1980), 227â236.
Krajewski, S.: Nonstandard satisfaction classes, in: Set Theory and Hierarchy Theory, Proc. Bierutowice Conf. 1975, Springer Verlag, 1976, LNM 537, 121â144.
Mostowski, A.: A contribution to teratology, UzбŃĐ°ĐœĐœĐȘĐ” ĐŹĐŸĐžŃĐŸŃĐȘ Đ°ĐȘДбŃĐȘ u ÎčĐŸÎŒĐșu, ĐĐ°ŃĐșĐ°, ĐĐŸŃĐŸŃuбuŃŃĐș 1973, 184â196.
Murawski, R.: On expandability of models of Peano arithmetic I, II, III, Studia Logica 35(1976), 409â419; 35(1976), 421â431; 36(1977), 181â188.
Murawski, R.: Models of Peano arithmetic expandable to models of fragments of second order arithmetic (in Polish), Ph.D.Thesis,Warszawa 1978.
Murawski, R.: Some remarks on the structure of expansions, Zeitschrift f. math. Logik und Grundlagen d. Math. 26(1980), 537â546.
Murawski, R.: Trace expansions of initial segments, Zeitschrift f. math. Logik und Grundlagen d. Math. 30(1984), to appear.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag
About this paper
Cite this paper
Murawski, R. (1984). A contribution to nonstandard teratology. In: MĂŒller, G.H., Richter, M.M. (eds) Models and Sets. Lecture Notes in Mathematics, vol 1103. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0099395
Download citation
DOI: https://doi.org/10.1007/BFb0099395
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13900-3
Online ISBN: 978-3-540-39115-9
eBook Packages: Springer Book Archive