scientific article; zbMATH DE number 3334141
From MaRDI portal
Publication:5611757
zbMath0211.00901MaRDI QIDQ5611757
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (20)
Countable sets versus sets that are countable in reverse mathematics ⋮ Betwixt Turing and Kleene ⋮ Between Turing and Kleene ⋮ Epsilon substitution for \(ID_1\) via cut-elimination ⋮ A termination proof for epsilon substitution using partial derivations ⋮ The non-normal abyss in Kleene's computability theory ⋮ A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract) ⋮ UNSOUND INFERENCES MAKE PROOFS SHORTER ⋮ The Reverse Mathematics of wqos and bqos ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Cut elimination for a simple formulation of epsilon calculus ⋮ Herbrand's theorem and term induction ⋮ Ackermann's substitution method (remixed) ⋮ On the mathematical and foundational significance of the uncountable ⋮ The calculus of natural calculation ⋮ Formal notes on the substitutional analysis of logical consequence ⋮ A note on applicability of the incompleteness theorem to human mind ⋮ ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS ⋮ A logic-based approach to incremental reasoning on multi-agent systems ⋮ Deciding simple infinity axiom sets with one binary relation by means of superpostulates
This page was built for publication:
