INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN

DOI10.1017/jsl.2015.55zbMath1356.03082arXiv1405.4481OpenAlexW2964177594WikidataQ59893791 ScholiaQ59893791MaRDI QIDQ3188340

Michael Rathjen

Publication date: 19 August 2016

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

Full work available at URL: https://arxiv.org/abs/1405.4481

zbMATH Keywords

forcingrealizabilitycontinuum hypothesisprojective determinacysemi-intuitionistic set theory

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25) Logic on admissible sets (03C70) Determinacy principles (03E60)

Related Items

PREDICATIVISM AS A FORM OF POTENTIALISM, The scope of Feferman's semi-intuitionistic set theories and his second conjecture, Feferman on Set Theory: Infinity up on Trial, An indeterminate universe of sets, Can we resolve the continuum hypothesis?, Truth and the philosophy of mathematics

Cites Work

• From the weak to the strong existence property
• Realizability and recursive set theory
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
• On a consistency theorem connected with the generalized continuum problem
• Unnamed Item
• Unnamed Item
• Unnamed Item