Pages that link to "Wilfrid Hodges"
Showing 50 items.
- First-order logic (links | edit)
- Mathematical logic (links | edit)
- Model theory (links | edit)
- Alfred Tarski (links | edit)
- Compactness theorem (links | edit)
- Löwenheim–Skolem theorem (links | edit)
- Skolem normal form (links | edit)
- Semantic theory of truth (links | edit)
- Game semantics (links | edit)
- Elementary equivalence (links | edit)
- Ehrenfeucht–Fraïssé game (links | edit)
- Elementary class (links | edit)
- Wilfrid Hodges (transclusion) (links | edit)
- Conservative extension (links | edit)
- Czesław Ryll-Nardzewski (links | edit)
- Independence-friendly logic (links | edit)
- Wilfred Hodges (redirect page) (links | edit)
- Alonzo Church (links | edit)
- Alfred Tarski (links | edit)
- Game semantics (links | edit)
- Controversy over Cantor's theory (links | edit)
- Signature (logic) (links | edit)
- Talk:Brainfuck/Archive 2 (links | edit)
- Talk:Cantor's theorem/Archive 1 (links | edit)
- Ground expression (links | edit)
- Back-and-forth method (links | edit)
- Substructure (mathematics) (links | edit)
- Kurt Gödel Society (links | edit)
- Quantifier elimination (links | edit)
- Evert Willem Beth (links | edit)
- Term algebra (links | edit)
- Controversy over Cantor's theory (links | edit)
- Atomic model (mathematical logic) (links | edit)
- Elliott Sober (links | edit)
- Theory (mathematical logic) (links | edit)
- List of first-order theories (links | edit)
- Type (model theory) (links | edit)
- Structure (mathematical logic) (links | edit)
- Wilfrid hodges (redirect page) (links | edit)
- Rado graph (links | edit)
- Alex Wilkie (links | edit)
- Amalgamation property (links | edit)
- Existentially closed model (links | edit)
- Beth definability (links | edit)
- List of people by Erdős number (links | edit)
- Imaginary element (links | edit)
- Interpretation (model theory) (links | edit)
- Joint embedding property (links | edit)
- Association for Logic, Language and Information (links | edit)
- Omega-categorical theory (links | edit)
- Łoś–Tarski preservation theorem (links | edit)
- Elementary diagram (links | edit)
- John Newsome Crossley (links | edit)
- NIP (model theory) (links | edit)
- Lars Svenonius (links | edit)
- Dependence logic (links | edit)
- International Union of History and Philosophy of Science (links | edit)