New set-theoretic axioms derived from a lean metamathematics

DOI10.2307/2275516MaRDI QIDQ4836050zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Recommendations

• FOUNDATIONS OF A NEW AXIOMATIC SET THEORY
• scientific article; zbMATH DE number 5896031
• EXTENSION OF A NEW AXIOMATIC SET THEORY
• The metatheory of sets
• On the naturalness of new axioms in set theory
• scientific article; zbMATH DE number 490757
• scientific article; zbMATH DE number 1746564
• scientific article; zbMATH DE number 3954900
• Metamathematical properties of intuitionistic set theories with choice principles
• scientific article; zbMATH DE number 903646

Cited in

(6)

• The limits of determinacy in second-order arithmetic
• Models of set theory with definable ordinals
• Set theory with a proper class of indiscernibles
• On the Leibniz–Mycielski axiom in set theory
• scientific article; zbMATH DE number 5896031 (Why is no real title available?)
• Leibnizian models of set theory

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

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