Pages that link to "Book:Kenneth Kunen/The Foundations of Mathematics"
Jump to navigation
Jump to search
The following pages link to Book:Kenneth Kunen/The Foundations of Mathematics:
Displayed 50 items.
- Modus Ponendo Ponens (← links)
- Compactness Theorem for Boolean Interpretations (← links)
- Overflow Theorem (← links)
- Upward Löwenheim-Skolem Theorem (← links)
- Compactness Theorem (← links)
- Four Color Theorem for Finite Maps implies Four Color Theorem for Infinite Maps (← links)
- Unique Readability for Polish Notation (← links)
- Occurrence in Polish Notation has Unique Scope (← links)
- Universal Closures are Semantically Equivalent (← links)
- Semantically Equivalent Terms are Equal (← links)
- Substitution Instance of Term is Term (← links)
- Substitution Theorem for Terms (← links)
- Substitution Instance of WFF is WFF (← links)
- Substitution Theorem for Well-Formed Formulas (← links)
- Universal Instantiation/Model (← links)
- Existential Generalisation/Model (← links)
- Substitution Theorem for Well-Formed Formulas/Corollary (← links)
- Semantic Consequence preserved in Supersignature (← links)
- Satisfiability preserved in Supersignature (← links)
- Equivalence of Definitions of Consistent Set of Formulas (← links)
- Provable Consequence of Theorems is Theorem (← links)
- Theory of Structure is Complete (← links)
- Propositional Tautology is Tautology in Predicate Logic (← links)
- Axioms of Hilbert Proof System Instance 1 for Predicate Logic are Tautologies (← links)
- Soundness Theorem for Hilbert Proof System for Predicate Logic (← links)
- Deduction Theorem for Hilbert Proof System for Predicate Logic (← links)
- Alphabetic Substitution is Semantically Equivalent/Universal Quantifier (← links)
- Alphabetic Substitution is Semantically Equivalent/Existential Quantifier (← links)
- Compactness Theorem/Proof using Ultraproducts (← links)
- Compactness Theorem/Proof using Gödel's Completeness Theorem (← links)
- Compactness Theorem/Proof using Henkin Construction (← links)
- Reductio ad Absurdum for Hilbert Proof System Instance 1 for Predicate Logic (← links)
- Proof by Contradiction for Hilbert Proof System Instance 1 for Predicate Logic (← links)
- Universal Instantiation/Proof System (← links)
- Universal Generalisation/Proof System (← links)
- Existential Instantiation/Proof System (← links)
- Existential Generalisation/Proof System (← links)
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 2/Forward Implication (← links)
- Rule of Inference/Examples/Modus Ponendo Ponens (← links)
- User:Lord Farin/Backup/Definition:Proof System/Rule of Inference (← links)
- User:Lord Farin/Books (← links)
- User:Lord Farin/Books/Kunen Foundations (← links)
- User:DingChao/Sandbox/Compactness Theorem (← links)
- Definition:Operation/Arity (← links)
- Definition:Predicate Symbol (← links)
- Definition:Syntax (← links)
- Definition:Semantics (← links)
- Definition:Well-Formed Part (← links)
- Definition:Bound Occurrence (← links)
- Definition:Freely Substitutable (← links)