Newbetuts
.
New posts in proof-theory
Can Robinson's Q prove Presburger arithmetic consistent?
logic
proof-theory
incompleteness
Main differences and relations between Sequent Calculus and Natural Deduction
logic
proof-theory
natural-deduction
sequent-calculus
Why wouldn't someone accept Gentzen's consistency proof?
logic
proof-theory
peano-axioms
Presburger arithmetic
logic
proof-theory
peano-axioms
presburger-arithmetic
Gödel's way of teaching non-standard models to Takeuti.
logic
model-theory
proof-theory
incompleteness
nonstandard-models
Existence Proofs
logic
proof-theory
Who stole the axioms in Natural Deduction?
logic
philosophy
proof-theory
Books on logic, proof theory and set theory?
reference-request
logic
set-theory
philosophy
proof-theory
List of Mathematical Impossibilities proved using special tools
big-list
proof-theory
Unprovable unprovability
logic
proof-theory
Small proof-theoretic ordinals
logic
reference-request
proof-theory
ordinal-analysis
Is there a consistent arithmetically definable extension of PA that proves its own consistency?
logic
proof-theory
incompleteness
nonstandard-models
Two theories proving each others' consistency, take 2
logic
proof-theory
incompleteness
Is many sorted logic really a unifying logic?
logic
model-theory
proof-theory
type-theory
higher-order-logic
Why can't reachability be expressed in first order logic?
graph-theory
logic
computer-science
proof-theory
Is it possible to formalize the relationship between different proofs of the same theorem?
logic
proof-theory
Can one prove that there is only one proof?
logic
alternative-proof
proof-theory
Does "=" have to be interpreted as equality?
relations
model-theory
proof-theory
Gentzen Cut elimination: Why do we have to "go infinite"?
logic
proof-theory
The Power of Lambda Calculi
logic
proof-theory
lambda-calculus
formal-systems
Prev
Next