scientific article; zbMATH DE number 3583768

MaRDI QIDQ4152213zbMATH OpenFDO

Authors

Publication date 1977

Mathematics Subject Classification ID

Classical first-order logic (03B10) Euclidean geometries (general) and generalizations (51M05) General logic (03B99) Other classical first-order model theory (03C68) Axiomatic model classes (08C10)

Cited in

(11)

• Reducible Theories and Amalgamations of Models
• First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
• A mathematical characterization of interpretation between theories
• A note on syntactical and semantical functions
• The property of being a model complete theory is preserved by Cartesian extensions
• Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries
• INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD
• New dimensions on translations between logics
• On Morita equivalence and interpretability
• A logical study of the correspondence relation
• From geometry to conceptual relativity

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4152213)