Effectivity properties of intuitionistic set theory with collection scheme

DOI10.1134/S0001434611050038zbMath1235.03079OpenAlexW2024285112MaRDI QIDQ650477

A. G. Vladimirov

Publication date: 25 November 2011

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0001434611050038

zbMATH Keywords

Church's thesistwo-sorted languageMarkov's principleintuitionistic set theorycollection schemeeffectivity properties of set theoryKleene recursive realizabilityuniformization principle

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50)

Related Items (1)

Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Axiom ``collection independence of ``DC principle in intuitionistic set theory
• Extending Gödel's negative interpretation to ZF
• Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
• Independence of the partial axiom of choice of intuitionistic set theory
• The consistency of classical set theory relative to a set theory with intu1tionistic logic

This page was built for publication: Effectivity properties of intuitionistic set theory with collection scheme