Constructive formalization of the Tennenbaum theorem and its applications

DOI10.1007/BF01157440zbMath0727.03037OpenAlexW1978287663MaRDI QIDQ803126

Valery Plisko

Publication date: 1990

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

Full work available at URL: https://doi.org/10.1007/bf01157440

zbMATH Keywords

Church's thesisHeyting arithmeticMarkov's principleconstructive arithmeticGödel numberspredicate logics

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items

Rules and arithmetics, Arithmetic complexity of the predicate logics of certain complete arithmetic theories, A survey of predicate realizability logic, Modified realizability and predicate logic, Predicate logics of expressively strong theories

Cites Work

• Formal systems for some branches of intuitionistic analysis
• Unnamed Item
• Unnamed Item