The independence of the Prime Ideal Theorem from the Order-Extension Principle

DOI10.2307/2586759zbMath0933.03062OpenAlexW2031353433MaRDI QIDQ4254629

Ulrich Felgner, John K. Truss

Publication date: 29 March 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586759

zbMATH Keywords

Boolean prime ideal theoremFraenkel-Mostowski permutation modelorder-extension theorem

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiom of choice and related propositions (03E25)

Related Items (4)

On a possible continuous analogue of the Szpilrajn theorem and its strengthening by Dushnik and Miller ⋮ Definably extending partial orders in totally ordered structures ⋮ Regular probability comparisons imply the Banach-Tarski paradox ⋮ On the continuous analogue of the Szpilrajn theorem. I

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The independence of the Prime Ideal Theorem from the Order-Extension Principle