scientific article; zbMATH DE number 549071

zbMATH Open0795.03085MaRDI QIDQ4286879FDOQ4286879

Authors: V. Kh. Khakhanian 

Publication date: 20 September 1994

Title of this publication is not available (Why is that?)

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

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)

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)