First-Order Axiom Systems <inline-formula><math display="inline"><semantics><msub><mi mathvariant="bold-script">E</mi><mi mathvariant="bold-italic">d</mi></msub></semantics></math></inline-formula> and <inline-formula><math display="inline"><semantics><msub><mi mathvariant="bold-script">E</mi><mrow><mi mathvariant="bold-italic">d</mi><mi mathvariant="bold-italic">a</mi></mrow></msub></semantics></math></inline-formula> Extending Tarski’s <inline-formula><math display="inline"><semantics><msub><mi mathvariant="bold-script">E</mi><mn mathvariant="bold">2</mn></msub></semantics></math></inline-formula> with Distance and Angle Function Symbols for Quantitative Euclidean Geometry

Tarski’s first-order axiom system <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi mathvariant="script">E</mi><mn>2</mn></msub></semantics></math></inline-formula> for Euclidean geometry is notable for its completeness and decidability. However,...

Fuld beskrivelse

Bibliografiske detaljer

Hovedforfatter:	Hongyu Guo
Format:	Artigo
Sprog:	Inglês
Udgivet:	MDPI AG 2025-10-01
Serier:	Mathematics
Fag:	quantitative Euclidean geometry hyperbolic geometry distance function angle function axiom of similarity Tarski’s axioms
Online adgang:	https://www.mdpi.com/2227-7390/13/21/3462
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!