New set-theoretic axioms derived from a lean metamathematics

DOI10.2307/2275516zbMATH Open0834.03017OpenAlexW2012491547WikidataQ114589012 ScholiaQ114589012MaRDI QIDQ4836050FDOQ4836050

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

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

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)

Cited In (6)

• Set theory with a proper class of indiscernibles
• The limits of determinacy in second-order arithmetic
• On the Leibniz–Mycielski axiom in set theory
• Leibnizian models of set theory
• Models of set theory with definable ordinals
• Title not available (Why is that?)

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)