Effectivity properties of intuitionistic set theory with collection scheme

DOI10.1134/S0001434611050038MaRDI QIDQ650477zbMATHOpenAlexFDO

Authors 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

• scientific article; zbMATH DE number 3652330 (Why is no real title available?)
• scientific article; zbMATH DE number 3668598 (Why is no real title available?)
• scientific article; zbMATH DE number 1354107 (Why is no real title available?)
• Axiom ``collection independence of ``DC principle in intuitionistic set theory
• Extending Gödel's negative interpretation to ZF
• Independence of the partial axiom of choice of intuitionistic set theory
• Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories

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)