scientific article; zbMATH DE number 3317730
From MaRDI portal
Publication:5597507
zbMath0199.30001MaRDI QIDQ5597507
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)
Related Items
Unnamed Item ⋮ ET and an infinitary Church's thesis ⋮ Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version ⋮ Extending and interpreting Post's programme ⋮ Montague's paradox, informal provability, and explicit modal logic ⋮ The machine as data: a computational view of emergence and definability ⋮ Definability as hypercomputational effect ⋮ Unnamed Item ⋮ Reflexive intermediate propositional logics ⋮ Kalmár's Argument Against the Plausibility of Church's Thesis ⋮ Emergence as a computability-theoretic phenomenon ⋮ Five observations concerning the intended meaning of the intuitionistic logical constants ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session ⋮ Realizability and intuitionistic logic ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
