CT 0 is Stronger than CT 0 !

DOI10.2307/2042890zbMath0379.02012OpenAlexW2065284077MaRDI QIDQ4159363

Vladimir Lifschitz

Publication date: 1979

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2042890

zbMATH Keywords

Church's thesisconstructive mathematicsHeyting arithmeticfirst-order arithmeticsecond-order arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Related Items (8)

Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory ⋮ From the weak to the strong existence property ⋮ The consistency of some intuitionistic and constructive principles with a set theory ⋮ Analyzing realizability by Troelstra's methods ⋮ Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions ⋮ LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION ⋮ Lawvere-Tierney topologies for computability theorists ⋮ Mathematics based on incremental learning -- excluded middle and inductive inference

This page was built for publication: CT 0 is Stronger than CT 0 !