The following pages link to Wilfrid Hodges (Q190274):
Displaying 50 items.
- What languages have Tarski truth definitions? (Q598271) (← links)
- Dependence of variables construed as an atomic formula (Q636322) (← links)
- The meaning of specifications I: Domains and initial models (Q673181) (← links)
- A combinatorial fact about free algebras (Q790862) (← links)
- Errata to ``In singular cardinality, locally free algebras are free'' (Q794635) (← links)
- Traditional logic, modern logic and natural language (Q843766) (← links)
- Omega-categoricity, relative categoricity and coordinatisation (Q912842) (← links)
- Relative categoricity in abelian groups. II (Q1012332) (← links)
- In singular cardinality, locally free algebras are free (Q1159631) (← links)
- Two early Arabic applications of model-theoretic consequence (Q1653548) (← links)
- Formal features of compositionality (Q1841515) (← links)
- Six impossible rings (Q1845031) (← links)
- Existentially closed groups and determinacy (Q2367188) (← links)
- Compositionality is not the problem (Q2732292) (← links)
- Some combinatorics of imperfect information (Q2747710) (← links)
- Western logic (Q2851809) (← links)
- Ibn Sīnā and Conflict in Logic (Q2909748) (← links)
- (Q2939744) (← links)
- (Q3000101) (← links)
- (Q3012525) (← links)
- (Q3016125) (← links)
- (Q3098780) (← links)
- (Q3102665) (← links)
- Groupes nilpotents existentiellement clos de classe fixée (Q3216801) (← links)
- (Q3335764) (← links)
- (Q3344182) (← links)
- (Q3346292) (← links)
- (Q3367324) (← links)
- (Q3444707) (← links)
- (Q3509723) (← links)
- (Q3574468) (← links)
- Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic (Q3586011) (← links)
- (Q3686704) (← links)
- (Q3703879) (← links)
- What is a Structure Theory? (Q3777998) (← links)
- Alfred Tarski and decidable theories (Q3791109) (← links)
- (Q3804676) (← links)
- (Q3832546) (← links)
- Constructing pure injective hulls (Q3892440) (← links)
- Encoding orders and trees in binary relations (Q3895443) (← links)
- Interpreting number theory in nilpotent groups (Q3901500) (← links)
- Infinite games and reduced products (Q3966110) (← links)
- There are reasonably nice logics (Q3981457) (← links)
- Automorphisms of Bounded Abelian Groups (Q3992033) (← links)
- (Q4003410) (← links)
- (Q4004803) (← links)
- Läuchli's algebraic closure of <i>Q</i> (Q4087179) (← links)
- On the Effectivity of Some Field Constructions (Q4088906) (← links)
- (Q4115145) (← links)
- Possible Orderings of an Indiscernible Sequence (Q4134136) (← links)
