Locally o-minimal structures with tame topological properties
M Fujita - The Journal of Symbolic Logic, 2023 - cambridge.org
We consider locally o-minimal structures possessing tame topological properties shared by
models of DCTC and uniformly locally o-minimal expansions of the second kind of densely …
models of DCTC and uniformly locally o-minimal expansions of the second kind of densely …
Dimension inequality for a definably complete uniformly locally o-minimal structure of the second kind
M Fujita - The Journal of Symbolic Logic, 2020 - cambridge.org
DIMENSION INEQUALITY FOR A DEFINABLY COMPLETE UNIFORMLY LOCALLY O-MINIMAL
STRUCTURE OF THE SECOND KIND §1. Introduction. A unif Page 1 The Journal of Symbolic …
STRUCTURE OF THE SECOND KIND §1. Introduction. A unif Page 1 The Journal of Symbolic …
Locally o-minimal structures and structures with locally o-minimal open core
A Fornasiero - Annals of Pure and Applied Logic, 2013 - Elsevier
We study first-order expansions of ordered fields that are definably complete, and moreover
either are locally o-minimal, or have a locally o-minimal open core. We give a …
either are locally o-minimal, or have a locally o-minimal open core. We give a …
Models of true arithmetic are integer parts of models of real exponentation
M Carl, LS Krapp - 2021 - kops.uni-konstanz.de
Exploring further the connection between exponentiation on real closed fields and the
existence of an integer part modelling strong fragments of arithmetic, we demonstrate that …
existence of an integer part modelling strong fragments of arithmetic, we demonstrate that …
An analogue of the Baire category theorem
P Hieronymi - The Journal of Symbolic Logic, 2013 - cambridge.org
AN ANALOGUE OF THE BAIRE CATEGORY THEOREM §1. Introduction. Let K be an expansion
of an ordered field (K, <, +, •). We say Page 1 THE JOURNAL OF SYMBOLIC LOGIC: Volume …
of an ordered field (K, <, +, •). We say Page 1 THE JOURNAL OF SYMBOLIC LOGIC: Volume …
Expansions of subfields of the real field by a discrete set
P Hieronymi - arXiv preprint arXiv:1012.3508, 2010 - arxiv.org
Let K be a subfield of the real field, D be a discrete subset of K and f: D^ n-> K be a function
such that f (D^ n) is somewhere dense. Then (K, f) defines the set of integers. We present …
such that f (D^ n) is somewhere dense. Then (K, f) defines the set of integers. We present …
Pfaffian sets and o-minimality
P Speissegger - Lecture Notes on O-minimal Structures and Real …, 2012 - Springer
Recent developments in the theory of pfaffian sets are presented from a model-theoretic
point of view. In particular, the current state of affairs for Van den Dries's model …
point of view. In particular, the current state of affairs for Van den Dries's model …
A fundamental dichotomy for definably complete expansions of ordered fields
A Fornasiero, P Hieronymi - The Journal of Symbolic Logic, 2015 - cambridge.org
A FUNDAMENTAL DICHOTOMY FOR DEFINABLY COMPLETE EXPANSIONS OF ORDERED
FIELDS §1. Introduction. Let K be an expansion of an order Page 1 The Journal of Symbolic …
FIELDS §1. Introduction. Let K be an expansion of an order Page 1 The Journal of Symbolic …
Relative Pfaffian closure for definably complete Baire structures
A Fornasiero, T Servi - Illinois Journal of Mathematics, 2011 - projecteuclid.org
Speissegger proved that the Pfaffian closure of an o-minimal expansion of the real field is o-
minimal. Here we give a first order version of this result: having introduced the notion of …
minimal. Here we give a first order version of this result: having introduced the notion of …
[PDF][PDF] D-minimal structures
A Fornasiero - arXiv preprint arXiv:2107.04293, 2021 - arxiv.org
arXiv:2107.04293v1 [math.LO] 9 Jul 2021 Page 1 arXiv:2107.04293v1 [math.LO] 9 Jul 2021
D-MINIMAL STRUCTURES VERSION 20 ANTONGIULIO FORNASIERO Abstract. We study …
D-MINIMAL STRUCTURES VERSION 20 ANTONGIULIO FORNASIERO Abstract. We study …