scientific article; zbMATH DE number 549071

MaRDI QIDQ4286879zbMATH OpenFDO

Authors V. Kh. Khakhanian

Publication date 20 September 1994

zbMATH Keywords

recursive functionsintuitionistic set theoryequiconsistencymodels of realizability type

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

Recommendations

• Constructive Z
• The consistency of ZFC + 2^ℵ₀ > ℵ_ω + ℐ(ℵ₂) = ℐ(ℵ_ω)
• \(\pi_1\)-equivalent weak Zariski pairs
• ZF + “Every set is the same size as a wellfounded set”
• \(ABC\) implies a Zsigmondy principle for ramification
• \({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures
• On the consistency of \(\operatorname {ZF}^n\) in \(\operatorname {ZF}^{n+3}\)
• An equivariant analogue of Glauberman's \(ZJ\)-theorem
• A consistency result of the system Z \(+\) the replacement axiom schema of \(\Sigma_ n\)-formulas
• \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures

Cited in

(1)

• Intuitionistic proof of equiconsistency of the Church thesis with set theory

This page was built for publication:

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