Forcing the truth of a weak form of Schanuel's conjecture

DOI10.5802/cml.33zbMath1426.03032OpenAlexW2605654952WikidataQ122886624 ScholiaQ122886624MaRDI QIDQ2012216

Matteo Viale

Publication date: 28 July 2017

Published in: Confluentes Mathematici (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.5802/cml.33

zbMATH Keywords

Schanuel's conjectureforcing and generic absoluteness

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Consistency and independence results (03E35) Transcendence (general theory) (11J81) Applications of set theory (03E75) Other aspects of forcing and Boolean-valued models (03E40) Determinacy principles (03E60) Generic absoluteness and forcing axioms (03E57)

Related Items (1)

Generic absoluteness and Boolean names for elements of a Polish space

Cites Work

• Unnamed Item
• Exponentially closed fields and the conjecture on intersections with tori
• Pseudo-exponentiation on algebraically closed fields of characteristic zero
• A classification of type I \(AW^*\)-algebras and Boolean valued analysis
• Set theory. An introduction to independence proofs
• Generic absoluteness and Boolean names for elements of a Polish space
• Algebraic Geometry. I: Complex projective varieties.
• On Schanuel's conjectures
• Exponential algebraicity in exponential fields
• Abstract Theory of Abelian Operator Algebras: An Application of Forcing
• Set Theory

This page was built for publication: Forcing the truth of a weak form of Schanuel's conjecture