scientific article; zbMATH DE number 3583768
From MaRDI portal
Publication:4152213
zbMath0375.02005MaRDI QIDQ4152213
No author found.
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Axiomatic model classes (08C10) Euclidean geometries (general) and generalizations (51M05) General logic (03B99) Other classical first-order model theory (03C68)
Related Items (11)
Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries ⋮ A note on syntactical and semantical functions ⋮ New dimensions on translations between logics ⋮ ON MORITA EQUIVALENCE AND INTERPRETABILITY ⋮ First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories ⋮ INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD ⋮ From geometry to conceptual relativity ⋮ The property of being a model complete theory is preserved by Cartesian extensions ⋮ A logical study of the correspondence relation ⋮ A mathematical characterization of interpretation between theories ⋮ Reducible Theories and Amalgamations of Models
This page was built for publication:
