Affinization and quantifier-elimination

2025/09/09 by Seyed-Mohammad Bagheri, Bagheri, Seyed-Mohammad
Computer Science · Mathematics · #03C10 #03C66 #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Mathematical and Theoretical Analysis

paper · pdf · doi:10.48550/arxiv.2509.07398

openalex publication_date 2025/09/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.

Citations

• Extremal models and direct integrals in affine logic
• Extreme types and extremal models

Related

• The Benefits of Affine Quantization
• On elimination of quantifiers in some non-classical mathematical theories
• Quantum Field Theory Deserves Extra Help
• Model completeness and quantifier elimination for (ordered) central simple algebras with involution
• Solving Major Problems Using Vector Affine Quantization