Model completeness and quantifier elimination for (ordered) central simple algebras with involution
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917946291388416 |
|---|---|
| author | Astier, Vincent |
| author_facet | Astier, Vincent |
| contents | We show that the theories of some (ordered) central simple algebras with involution over real closed fields are model-complete or admit quantifier elimination, and characterize positive cones in terms of morphisms into models of some of these theories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_03028 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Model completeness and quantifier elimination for (ordered) central simple algebras with involution Astier, Vincent Logic 03C10 (Primary), 16W10, 13J30, 16K20 (Secondary) We show that the theories of some (ordered) central simple algebras with involution over real closed fields are model-complete or admit quantifier elimination, and characterize positive cones in terms of morphisms into models of some of these theories. |
| title | Model completeness and quantifier elimination for (ordered) central simple algebras with involution |
| topic | Logic 03C10 (Primary), 16W10, 13J30, 16K20 (Secondary) |
| url | https://arxiv.org/abs/2503.03028 |