real closed fields
Recently Published Documents


TOTAL DOCUMENTS

124
(FIVE YEARS 3)

H-INDEX

15
(FIVE YEARS 0)

Author(s):  
Rosario Mennuni

We study the monoid of global invariant types modulo domination-equivalence in the context of o-minimal theories. We reduce its computation to the problem of proving that it is generated by classes of [Formula: see text]-types. We show this to hold in Real Closed Fields, where generators of this monoid correspond to invariant convex subrings of the monster model. Combined with [C. Ealy, D. Haskell and J. Maríková, Residue field domination in real closed valued fields, Notre Dame J. Formal Logic 60(3) (2019) 333–351], this allows us to compute the domination monoid in the weakly o-minimal theory of Real Closed Valued Fields.



Author(s):  
Lothar Sebastian Krapp ◽  
Salma Kuhlmann ◽  
Gabriel Lehéricy


2021 ◽  
Vol 359 (3) ◽  
pp. 291-295
Author(s):  
Mickaël Matusinski ◽  
Simon Müller


Author(s):  
Wojciech Kucharz ◽  
Krzysztof Kurdyka ◽  
Ali El‐Siblani




2020 ◽  
Vol 171 (7) ◽  
pp. 102808
Author(s):  
Pantelis E. Eleftheriou ◽  
Alex Savatovsky


2020 ◽  
Vol 238 (1) ◽  
pp. 121-166
Author(s):  
Eliana Barriga




2018 ◽  
Vol 19 (6) ◽  
pp. 1223-1263 ◽  
Author(s):  
Tom-Lukas Kriel ◽  
Markus Schweighofer


2018 ◽  
Vol 58 (3-4) ◽  
pp. 387-411
Author(s):  
Russell Miller ◽  
Victor Ocasio González


Sign in / Sign up

Export Citation Format

Share Document