Pages that link to "Impredicativity"
From HandWiki
The following pages link to Impredicativity:
Displayed 31 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Gödel's incompleteness theorems (← links)
- Kruskal's tree theorem (← links)
- Mathematical logic (← links)
- Reverse mathematics (← links)
- Outline of mathematics (← links)
- Set theory (← links)
- Vicious circle principle (← links)
- Ordinal collapsing function (← links)
- Intuitionistic type theory (← links)
- Parametric polymorphism (← links)
- Constructive set theory (← links)
- Induction-recursion (← links)
- Self-reference (← links)
- Kripke–Platek set theory (← links)
- Bounded quantifier (← links)
- Morse–Kelley set theory (← links)
- Logical framework (← links)
- History of type theory (← links)
- Lambda cube (← links)
- Calculus of constructions (← links)
- Axiom of reducibility (← links)
- Axiom schema of predicative separation (← links)
- Richard's paradox (← links)
- Russell's paradox (← links)
- Philosophy:Logicism (← links)
- Biography:Hermann Weyl (← links)
- Biography:Arnon Avron (← links)
- Biography:Henri Poincaré (← links)
- Biography:Paul Lorenzen (← links)
- Biography:Gottlob Frege (← links)
- Biography:Edmund Husserl (← links)