Cover Image

First-Order Axiom Systems $\mathscr{E}_{d}$ and $\mathscr{E}_{da}$ Extending Tarski's $\mathscr{E}_{2}$ with Distance and Angle Function Symbols for Quantitative Euclidean Geometry

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Guo, Hongyu
Format:	Preprint
Published:	2025
Subjects:	Logic Logic in Computer Science Metric Geometry 03B30, 03C35, 51M05, 51M10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On universal-homogeneous hyperbolic graphs and spaces and their isometry groups
by: Tent, Katrin
Published: (2025)

How many sprays cover the space?
by: Andretta, Alessandro, et al.
Published: (2024)

Rigidity of Higson coronas
by: Vignati, Alessandro
Published: (2025)

On the axiomatics of projective and affine geometry in terms of line intersection
by: Havlicek, Hans, et al.
Published: (2013)

Variations on a Theme of Makowski
by: Baldwin, John T.
Published: (2024)

The uncountability of the reals and the Axiom of Choice
by: Normann, Dag, et al.
Published: (2026)

A constructive version of the Sylvester-Gallai Theorem
by: Mandelkern, Mark
Published: (2024)

Generalized Apollonius Circles As Equioptic Curves Of Circles In Constants Curvature Geometries
by: Csima, Géza
Published: (2026)

On the Model Theory of Open Incidence Structures: The Rank 2 Case
by: Paolini, Gianluca, et al.
Published: (2024)

A synthetic proof of the spherical and hyperbolic Pythagorean theorem on models in Euclidean and Minkowski space
by: Maex, Michaël
Published: (2025)

A remark on $\mathscr{C}^\infty$ definable equivalence
by: Valette, Anna, et al.
Published: (2024)

Euclidean plane and its relatives; a minimalist introduction
by: Petrunin, Anton
Published: (2013)

The betweenness relation distinguishes non-similar pairs of concentric circles
by: Doležal, Martin, et al.
Published: (2024)

Betweenness isomorphism classes of circles with finitely many points inside
by: Doležal, Martin, et al.
Published: (2023)

Oscillation stability by the Carlson-Simpson theorem
by: Bice, Tristan, et al.
Published: (2025)

Cramer-Castillon on a Triangle's Incircle and Excircles
by: Laurain, Dominique, et al.
Published: (2021)

Conic locus of inversive Poncelet circumcenter and two points of invariant circle power
by: Garcia, Ronaldo, et al.
Published: (2026)

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
by: Fukumoto, Yusei
Published: (2025)

On a special class of equidistant sets in the Euclidean space
by: Nagy, Á., et al.
Published: (2026)

The geometrisation problem for topological groups
by: Rosendal, Christian
Published: (2026)

A characterization of locally ordered ternary relations in terms of digraphs
by: Quintero, Guillermo Gamboa, et al.
Published: (2025)

Tarski's Undefinability Theorem and first-order arithmetic
by: Boyce, Stephen
Published: (2010)

The limitless First Incompleteness Theorem
by: Cheng, Yong
Published: (2021)

The Maximum of the Volume of a Cevian Simplex and its Parts
by: Aliyev, Yagub N.
Published: (2025)

A Poincaré ball model for taxicab hyperbolic geometry
by: Fish, Aaron, et al.
Published: (2023)

Cassini sets in taxicab geometry
by: Habib, Alexander, et al.
Published: (2024)

The excenters of bicentric polygons are concyclic
by: Hungerbühler, Norbert, et al.
Published: (2025)

Affine Angles via Area Cross Ratio and Isoptic Hyperbolas
by: Nakazato, Masanori
Published: (2026)

On the concept of center for geometric objects and related problems
by: Martínez-Rico, M. Magdalena, et al.
Published: (2025)

On two recent extensions of the Big Five of Reverse Mathematics
by: Normann, Dag, et al.
Published: (2024)

A note on continuous functions on metric spaces
by: Sanders, Sam
Published: (2024)

On sequential theorems in Reverse Mathematics
by: Normann, Dag, et al.
Published: (2024)

Coding is hard
by: Sanders, Sam
Published: (2024)

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
by: Kulshreshtha, Dhruv
Published: (2024)

Approximation theorems throughout Reverse Mathematics
by: Sanders, Sam
Published: (2023)

Open questions about Ramsey-type statements in reverse mathematics
by: Patey, Ludovic
Published: (2015)

Connecting real and hyperarithmetical analysis
by: Sanders, Sam
Published: (2024)

Big in Reverse Mathematics: measure and category
by: Sanders, Sam
Published: (2023)

On countability and representations
by: Sanders, Sam
Published: (2026)

Formulas for the visual angle metric
by: Fujimura, Masayo, et al.
Published: (2023)