New set-theoretic axioms derived from a lean metamathematics

DOI10.2307/2275516zbMath0834.03017OpenAlexW2012491547WikidataQ114589012 ScholiaQ114589012MaRDI QIDQ4836050

Jan Mycielski

Publication date: 31 March 1996

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

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

zbMATH Keywords

indiscerniblesdetermined gameordinal-definability

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Other set-theoretic hypotheses and axioms (03E65) Determinacy principles (03E60)

Related Items (3)

Leibnizian models of set theory ⋮ Set theory with a proper class of indiscernibles ⋮ Models of set theory with definable ordinals

This page was built for publication: New set-theoretic axioms derived from a lean metamathematics