scientific article; zbMATH DE number 3583768

zbMATH Open0375.02005MaRDI QIDQ4152213FDOQ4152213

Authors:

Publication date: 1977

Title of this publication is not available (Why is that?)

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)

• 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
• Reducible Theories and Amalgamations of Models
• From geometry to conceptual relativity
• First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories

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)