Equiconsistency

Results: 3



#Item
1Metalogic / Forcing / Zermelo–Fraenkel set theory / Equiconsistency / Set theory / Large cardinal / Saharon Shelah / Model theory / Mathematical proof / Mathematics / Logic / Mathematical logic

THE FUTURE OF SET THEORY Saharon Shelah Abstract. Judah has asked me to speak on the future of set theory, so, as the next millennium is coming, to speak on set theory in the next millennium. But we soon cut this down t

Add to Reading List

Source URL: shelah.logic.at

Language: English - Date: 2004-02-29 16:34:20
2Metalogic / Forcing / Zermelo–Fraenkel set theory / Saharon Shelah / Equiconsistency / Set theory / Large cardinal / Model theory / Mathematical proof / Mathematics / Logic / Mathematical logic

arXiv:math/0211397v1 [math.LO] 26 Nov[removed]THE FUTURE OF SET THEORY

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2008-02-01 06:34:09
3Mathematics / Cardinal number / Zermelo–Fraenkel set theory / Forcing / Constructible universe / Mahlo cardinal / Model theory / Equiconsistency / Axiom / Mathematical logic / Large cardinals / Set theory

Thilo Volker Weinert Beschr¨

Add to Reading List

Source URL: wwwmath.uni-muenster.de

Language: English - Date: 2008-04-23 06:52:34
UPDATE