The following pages link to Wilfrid Hodges (Q190274):
Displaying 50 items.
- Functorial uniform reducibility (Q4137162) (← links)
- Krull Implies Zorn (Q4175271) (← links)
- (Q4182717) (← links)
- The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph (Q4286374) (← links)
- (Q4288283) (← links)
- Cohomology of Structures and Some Problems of Ahlbrandt and Ziegler (Q4307773) (← links)
- (Q4309354) (← links)
- (Q4336034) (← links)
- (Q4342087) (← links)
- Compositional semantics for a language of imperfect information (Q4353719) (← links)
- (Q4356357) (← links)
- (Q4362727) (← links)
- (Q4381411) (← links)
- An Editor Recalls Some Hopeless Papers (Q4392802) (← links)
- A Normal Form for Algebraic Constructions (Q4401442) (← links)
- (Q4474359) (← links)
- (Q4532187) (← links)
- (Q4541509) (← links)
- Andrzej Mostowski and the Notion of a Model (Q4611699) (← links)
- (Q4671130) (← links)
- (Q4735178) (← links)
- (Q4781770) (← links)
- (Q4789458) (← links)
- (Q4912868) (← links)
- (Q4925874) (← links)
- (Q4938555) (← links)
- Medieval Arabic Notions of Algorithm: Some Further Raw Evidence (Q5049046) (← links)
- Naturality and definability II (Q5113843) (← links)
- (Q5141781) (← links)
- Naturality and Definability, I (Q5187432) (← links)
- Notes on the History of Scope (Q5213569) (← links)
- Remarks on Compositionality (Q5213643) (← links)
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)
- A Visit to Tarski’s Seminar on Elimination of Quantifiers (Q5246108) (← links)
- From Sentence Meanings to Full Semantics (Q5246119) (← links)
- The Move from One to Two Quantifiers (Q5258969) (← links)
- (Q5271408) (← links)
- IBN SĪNĀ ON REDUCTIO AD ABSURDUM (Q5357330) (← links)
- Logic for Mathematical Writing (Q5427797) (← links)
- (Q5443132) (← links)
- (Q5477949) (← links)
- (Q5483301) (← links)
- Models in which all long indiscernible sequences are indiscernible sets (Q5626654) (← links)
- On order-types of models (Q5656761) (← links)
- (Q5711929) (← links)
- A Strongly Differing Opinion on Proof-Theoretic Semantics? (Q5864204) (← links)
- The laws of distribution for syllogisms (Q5937816) (← links)
- A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS (Q6041341) (← links)
- How did Avicenna understand the Barcan formulas? (Q6200768) (← links)
- Meeting Boris Zilber (Q6593608) (← links)
