scientific article; zbMATH DE number 1154174

zbMath0890.03003MaRDI QIDQ4389703

Pavol Zlatoš, Robert Mendris

Publication date: 18 May 1998

Full work available at URL: https://eudml.org/doc/32296

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order theoryvector spaceelementary classaxiomatizationconvex geometrysemantic embeddingdecidableuniversal sentencebetweenness relationhereditarily undecidable

Mathematics Subject Classification ID

Axiomatic and generalized convexity (52A01) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (2)

Unnamed Item ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory.
• Axiomatization and Undecidability Results for Metrizable Betweeness Relations
• Uniformly Convex Spaces
• A comparison of algebraic, metric, and lattice betweenness
• Transitivities of Betweenness

This page was built for publication: