The following pages link to (Q5611757):
Displaying 20 items.
- Formal notes on the substitutional analysis of logical consequence (Q778737) (← links)
- A note on applicability of the incompleteness theorem to human mind (Q1295425) (← links)
- A termination proof for epsilon substitution using partial derivations (Q1401363) (← links)
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- The calculus of natural calculation (Q2062198) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- Deciding simple infinity axiom sets with one binary relation by means of superpostulates (Q2096446) (← links)
- Betwixt Turing and Kleene (Q2151412) (← links)
- Between Turing and Kleene (Q2151416) (← links)
- Cut elimination for a simple formulation of epsilon calculus (Q2478554) (← links)
- Herbrand's theorem and term induction (Q2491080) (← links)
- Ackermann's substitution method (remixed) (Q2503393) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract) (Q3540181) (← links)
- UNSOUND INFERENCES MAKE PROOFS SHORTER (Q4628675) (← links)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552) (← links)
- Countable sets versus sets that are countable in reverse mathematics (Q5037215) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
- The non-normal abyss in Kleene's computability theory (Q6149028) (← links)