Model theory under the axiom of determinateness

DOI10.2307/2274328zbMath0588.03019OpenAlexW2059378473WikidataQ114589036 ScholiaQ114589036MaRDI QIDQ3715096

Mitchell Spector

Publication date: 1985

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

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

zbMATH Keywords

iterated ultrapowersinfinite supportsinfinite- exponent partition relationsmodel theory in the absence of the Axiom of Choiceupward Löwenheim- Skolem theorems

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Determinacy principles (03E60)

Cites Work

• Infinitary combinatorics and the axiom of determinateness
• A model of set-theory in which every set of reals is Lebesgue measurable
• The axiom of determinacy implies dependent choices in L(R)
• Researches into the world of k → (k)k

This page was built for publication: Model theory under the axiom of determinateness