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,...

Descrición completa

Detalles Bibliográficos

Autor Principal:	Hongyu Guo
Formato:	Artigo
Idioma:	Inglês
Publicado:	MDPI AG 2025-10-01
Series:	Mathematics
Assuntos:	quantitative Euclidean geometry hyperbolic geometry distance function angle function axiom of similarity Tarski’s axioms
Acceso en liña:	https://www.mdpi.com/2227-7390/13/21/3462
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!