scientific article; zbMATH DE number 549071

zbMATH Open0795.03085MaRDI QIDQ4286879

V. Kh. Khakhanian

Publication date: 20 September 1994

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

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

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

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)