Texas A&M University-Victoria

output

20062026

most citedThe magnetic field and confined wind of the O star

θ^{1}

~Orionis~C

62 citations

Showing math.LOShow all

1 paper · 1 filter

math.LO2025

First-Order Axiom Systems $E_{d}$ and $E_{d a}$ Extending Tarski's $E_{2}$ with Distance and Angle Function Symbols for Quantitative Euclidean Geometry

Hongyu Guo

Tarski's first-order axiom system $E_{2}$ for Euclidean geometry is notable for its completeness and decidability. However, the Pythagorean theorem -- either in its moder…

First-Order Axiom Systems Ed​ and Eda​ Extending Tarski's E2​ with Distance and Angle Function Symbols for Quantitative Euclidean Geometry

First-Order Axiom Systems $E_{d}$ and $E_{d a}$ Extending Tarski's $E_{2}$ with Distance and Angle Function Symbols for Quantitative Euclidean Geometry