Pages that link to "Proof theory"
Jump to navigation
Jump to search
The following pages link to Proof theory:
Displaying 39 items.
- Proof complexity (← links)
- Epsilon number (← links)
- Gentzen's consistency proof (← links)
- Large countable ordinal (← links)
- Atomic formula (← links)
- Constructive set theory (← links)
- Primitive recursive arithmetic (← links)
- Literal (mathematical logic) (← links)
- Turnstile (symbol) (← links)
- Hilbert system (← links)
- Realizability (← links)
- Extension by definitions (← links)
- Lambda-mu calculus (← links)
- Ordinal analysis (← links)
- Dialectica interpretation (← links)
- Pure type system (← links)
- Ekeland's variational principle (← links)
- Independence of premise (← links)
- Fast-growing hierarchy (← links)
- Slow-growing hierarchy (← links)
- Hardy hierarchy (← links)
- Frege system (← links)
- Elementary function arithmetic (← links)
- Proof compression (← links)
- Resolution proof reduction via local context rewriting (← links)
- Logical consequence (← links)
- Logic (← links)
- List of inventions and discoveries by women (← links)
- Bounded arithmetic (← links)
- Implicit computational complexity (← links)
- Hypersequent (← links)
- Mac Lane coherence theorem (← links)
- Takeuti–Feferman–Buchholz ordinal (← links)
- Fundamental sequence (set theory) (← links)
- Testwiki:Categories for discussion/Log/2008 January 15 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2009 November 8 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2010 July 21 (← links)
- Testwiki:Articles for deletion/Conditional statement (logic) (← links)
- Testwiki:School and university projects/Discrete and numerical mathematics/Learning plan (← links)