Effectivity properties of intuitionistic set theory with collection scheme

DOI10.1134/S0001434611050038zbMATH Open1235.03079OpenAlexW2024285112MaRDI QIDQ650477FDOQ650477

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

Markov's principleChurch's thesisintuitionistic set theorycollection schemeeffectivity properties of set theoryKleene recursive realizabilitytwo-sorted languageuniformization principle

Mathematics Subject Classification ID

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

Cites Work

• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Axiom ``collection independence of ``DC principle in intuitionistic set theory
• Extending Gödel's negative interpretation to ZF
• Title not available (Why is that?)

Cited In (1)

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

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

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