Cover Image

Almost real closed fields with real analytic structure

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nguyen, Kien Huu, Stout, Mathias, Vermeulen, Floris
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Pila--Wilkie theorem for Hensel minimal curves
by: Cantoral-Farfán, Victoria, et al.
Published: (2021)

The Grothendieck ring of a non-divisible ordered abelian group is trivial
by: Boissonneau, Blaise, et al.
Published: (2026)

Integration in Hensel minimal fields
by: Stout, Mathias, et al.
Published: (2025)

Motivic Mellin transforms
by: Cluckers, Raf, et al.
Published: (2024)

Counting rational points on transcendental curves in valued fields
by: Vermeulen, Floris
Published: (2025)

Hensel minimality: Geometric criteria for $\ell$-h-minimality
by: Vermeulen, Floris
Published: (2022)

Hensel minimality, $p$-adic exponentiation and Tate uniformization
by: Eterović, Sebastian, et al.
Published: (2026)

Models of true arithmetic are integer parts of nice real closed fields
by: Carl, Merlin
Published: (2013)

Expansions of real closed fields with the Banach fixed point property
by: Athipat Thamrongthanyalak
Published: (2024)

Exponential sums and motivic oscillation index of arbitrary ideals and their applications
by: Nguyen, Kien Huu
Published: (2023)

Approximating parametric suprema for constructible and power-constructible functions
by: Buggenhout, Tijs, et al.
Published: (2026)

Pseudo T-closed fields
by: Montenegro, Samaria, et al.
Published: (2023)

Ordered henselian valued fields: definability and Borel sets
by: Krapp, Lothar Sebastian, et al.
Published: (2026)

Separably differentially closed fields
by: Ino, Kai, et al.
Published: (2023)

The reals as a subset of an ultraproduct of finite fields
by: Sinai, Roee
Published: (2026)

Ellis enveloping semigroups in real closed fields
by: Baro, Elías, et al.
Published: (2023)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
by: Blanc, Manon, et al.
Published: (2023)

Strongly minimal group relics of algebraically closed valued fields
by: Onshuus, Alf, et al.
Published: (2024)

Class of extensions of real field and their topological properties
by: Alexandrov, E. V.
Published: (2025)

Speedability of computably approximable reals and their approximations
by: Barmpalias, George, et al.
Published: (2026)

Almost sure OTM-realizability
by: Carl, Merlin
Published: (2024)

Imaginaries in perfect bounded pseudo algebraically closed fields with finitely many independent valuations
by: Leandro, Bryan González
Published: (2026)

Almost cohomology of finite-dimensional Lie rings
by: Invitti, Moreno
Published: (2026)

The distribution of ITRM-recognizable reals
by: Carl, Merlin
Published: (2012)

Partitioning the real line into Borel sets
by: Brian, Will
Published: (2021)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)

Almost free algebras: from the word problem to elimination of quantifiers
by: Jia, Yifan, et al.
Published: (2026)

Cardinal characteristics associated with small subsets of reals
by: Cardona, Miguel A., et al.
Published: (2024)

A nonsmooth path-connectedness relation in the real plane
by: Uyar, Yusuf
Published: (2025)

On effective constructions of existentially closed groups
by: Scott, I
Published: (2024)

Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
by: He, Jialiang, et al.
Published: (2026)

One dimensional commutative groups definable in algebraically closed valued fields and in the pseudo-local fields
by: Acosta, Juan Pablo, et al.
Published: (2021)

Omission of Intervals: Deducing covering properties of subsets of the real line from their combinatorial structure
by: Tsaban, Boaz
Published: (2024)

New foundations of reasoning via real-valued first-order logics
by: Badia, Guillermo, et al.
Published: (2022)

Building Bigraphs of the real world
by: Ang, Kang Rong Roy
Published: (2025)

MSO logic of the real order with the set quantifiers ranging over the Borel sets
by: Džamonja, Mirna
Published: (2025)

Almost free modules, perfect decomposition and Enochs's conjecture
by: Cortés-Izurdiaga, Manuel, et al.
Published: (2024)

Positive Almost-Sure Termination of Polynomial Random Walks
by: Winkler, Lorenz, et al.
Published: (2025)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
by: van der Vegt, Marck, et al.
Published: (2025)