Abstract
We construct a ‘counterexample’ to Łoś’ theorem in the ordered Mostowski model for set theory ZFA.
Citation
Nobutaka Tsukada. "An ultrapower which does not preserve the truth of a $\prod_{2}$ sentence." Tsukuba J. Math. 23 (2) 225 - 228, October 1999. https://doi.org/10.21099/tkbjm/1496163868
Information
Published: October 1999
First available in Project Euclid: 30 May 2017
zbMATH: 0951.03045
MathSciNet: MR1715474
Digital Object Identifier: 10.21099/tkbjm/1496163868
Rights: Copyright © 1999 University of Tsukuba, Institute of Mathematics