Independent statements about finite stretchable structures
HTML articles powered by AMS MathViewer
- by K. McAloon and J. P. Ressayre PDF
- Proc. Amer. Math. Soc. 104 (1988), 603-610 Request permission
Abstract:
We consider several analogs of the theorem of Ehrenfeucht and Mostowski, in which the models generated by indiscernibles are finite; we show these analogs to be independent from strong axioms, ranging from Peano’s arithmetic to set theory with Mahlo cardinals.References
- A. Ehrenfeucht and A. Mostowski, Models of axiomatic theories admitting automorphisms, Fund. Math. 43 (1956), 50–68. MR 84456, DOI 10.4064/fm-43-1-50-68 P. Matet, On flipping properties, preprint. K. McAloon and J. P. Ressayre, Les méthodes de Kirby-Paris en théorie des ensembles, Model Theory and Arithmetic, SLMN no. 890. J. P. Ressayre, Modèles non standard en théories des ensembles.
- J. P. Ressayre and A. J. Wilkie, Modèles non standard en arithmétique et théorie des ensembles, Publications Mathématiques de l’Université Paris VII [Mathematical Publications of the University of Paris VII], vol. 22, Université de Paris VII, U.E.R. de Mathématiques, Paris, 1987 (French). MR 882182
- J.-P. Ressayre, Nonstandard universes with strong embeddings, and their finite approximations, Logic and combinatorics (Arcata, Calif., 1985) Contemp. Math., vol. 65, Amer. Math. Soc., Providence, RI, 1987, pp. 333–358. MR 891257, DOI 10.1090/conm/065/891257
Additional Information
- © Copyright 1988 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 104 (1988), 603-610
- MSC: Primary 03E35; Secondary 03F30
- DOI: https://doi.org/10.1090/S0002-9939-1988-0962836-2
- MathSciNet review: 962836