The following pages link to (Q4152213):
Displaying 9 items.
- A logical study of the correspondence relation (Q797569) (← links)
- A mathematical characterization of interpretation between theories (Q1062672) (← links)
- A note on syntactical and semantical functions (Q1107520) (← links)
- From geometry to conceptual relativity (Q1707209) (← links)
- New dimensions on translations between logics (Q1931302) (← links)
- The property of being a model complete theory is preserved by Cartesian extensions (Q2212696) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories (Q2959176) (← links)
- INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S <i>GEOMETRY IN THE SENSIBLE WORLD</i> (Q6188336) (← links)
