A Note on Real Subsets of A Recursively Saturated Model

DOI10.1002/malq.19910371304zbMath0743.03029OpenAlexW2118299170MaRDI QIDQ3989272

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

Peano Arithmeticultrafiltersrecursively saturated modelimaginary subsetsreal subsets

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Related Items (2)

On expandability of models of Peano arithmetic to models of the alternative set theory ⋮ Automorphisms of recursively saturated models of arithmetic

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