An ultrapower which does not preserve the truth of a \(\Pi_2\) sentence

DOI10.21099/TKBJM/1496163868zbMath0951.03045OpenAlexW168190968MaRDI QIDQ1961890

Nobutaka Tsukada

Publication date: 23 March 2000

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496163868

zbMATH Keywords

axiom of choiceultraproductsBoolean prime ideal theoremLos' theoremordered Mostowski permutation model

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25)

This page was built for publication: An ultrapower which does not preserve the truth of a \(\Pi_2\) sentence