A Note on Real Subsets of A Recursively Saturated Model

DOI10.1002/MALQ.19910371304MaRDI QIDQ3989272zbMATH OpenOpenAlexFDO

Authors Athanassios Tzouvaras

Publication date 28 June 1992

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19910371304

zbMATH Keywords

imaginary subsetsPeano Arithmeticreal subsetsrecursively saturated modelultrafilters

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Recommendations

• scientific article; zbMATH DE number 4010521
• On M-recursively saturated models of arithmetic
• The Recursively Saturated Part of Models of Peano Arithmetic
• Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets
• scientific article; zbMATH DE number 32280

Cited in

(8)

• Automorphisms of recursively saturated models of arithmetic
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• Proper and piecewise proper families of reals
• A note on standard systems and ultrafilters
• scientific article; zbMATH DE number 4010521 (Why is no real title available?)
• On expandability of models of Peano arithmetic to models of the alternative set theory
• Some highly saturated models of Peano arithmetic
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS

This page was built for publication: A Note on Real Subsets of A Recursively Saturated Model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3989272)