Transcendence bases, well-orderings of the reals and the axiom of choice

DOI10.1090/PROC/15242MaRDI QIDQ5145537zbMATH OpenOpenAlexWikidataFDO

Authors Haim Horowitz, S. Shelah

Publication date 20 January 2021

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1901.01508

zbMATH Keywords

amalgamationaxiom of choiceforcingtranscendence basiswell-ordering

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Transcendental field extensions (12F20)

Abstract: We prove that $$there exists a transcendence basis for the reals$$there is no well-ordering of the reals$$ is consistent relative to $ZFC$. This answers a question of Larson and Zapletal.

Recommendations

• Bases, spanning sets, and the axiom of choice
• No transcendence basis of \(\mathbb{R}\) over \(\mathbb{Q}\) can be analytic
• scientific article; zbMATH DE number 3887672
• The axiom of determinacy implies dependent choices in L(R)
• Properties of the real line and weak forms of the Axiom of Choice

Cites work

• Can you take Solovay's inaccessible away?
• Canonical models for fragments of the axiom of choice
• Geometric Set Theory
• Hamel bases and well–ordering the continuum
• On measure and category
• Sweet \& sour and other flavours of ccc forcing notions
• Transcendence bases, well-orderings of the reals and the axiom of choice

Cited in

(5)

• No transcendence basis of \(\mathbb{R}\) over \(\mathbb{Q}\) can be analytic
• Extending Independent Sets to Bases and the Axiom of Choice
• Transcendence bases, well-orderings of the reals and the axiom of choice
• On the non-existence of -mad families
• Maximal sets without choice

This page was built for publication: Transcendence bases, well-orderings of the reals and the axiom of choice

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