Zobrazeno 1 - 10
of 287
pro vyhledávání: '"03C52"'
Autor:
Basu, Saugata, Patel, Deepam
The concept of Vapnik-Chervonenkis (VC) density is pivotal across various mathematical fields, including model theory, discrete geometry, and probability theory. In this paper, we introduce a topological generalization of VC-density. Let $Y$ be a top
Externí odkaz:
http://arxiv.org/abs/2411.09670
Autor:
D'Aquino, Paola, Macintyre, Angus
We prove that any product of a family of pseudofinite structures is pseudofinite. The main tools are the fundamental results on products of first order structures due to Feferman and Vaught.
Externí odkaz:
http://arxiv.org/abs/2411.08808
Autor:
Hossain, Akash
This thesis is a contribution to the model theory of valued fields. We study forking in valued fields and some of their reducts. We focus particularly on pseudo-local fields, the ultraproducts of residue characteristic zero of the p-adic valued field
Externí odkaz:
http://arxiv.org/abs/2409.16393
Autor:
Hossain, Akash
In their article about distality in valued fields, Aschenbrenner, Chernikov, Gehret and Ziegler proved resplendent Ax-Kochen-Ershov principles for quantifier elimination in pure short exact sequences of Abelian structures. We study how their work rel
Externí odkaz:
http://arxiv.org/abs/2409.10148
Autor:
Bunina, Elena
In this paper we study (logical) types and isotypical equivalence of torsion free Abelian groups. We describe all possible types of elements and standard 2-tuples of elements in these groups and classify separable torsion free Abelian groups up to is
Externí odkaz:
http://arxiv.org/abs/2409.07728
For an abstract elementary class $\mathbf{K}$ and a cardinal $\lambda \geq LS(\mathbf{K})$, we prove under mild cardinal arithmetic assumptions, categoricity in two succesive cardinals, almost stability for $\lambda^+$-minimal types and continuity of
Externí odkaz:
http://arxiv.org/abs/2406.15263
Autor:
Bunina, Elena
In this paper we give invariants that characterize isotypically equivalent Abelian periodic groups. Also, we describe types of standart tuples of elements in these groups. As the particular case we prove that two Abelian $p$-groups with separable red
Externí odkaz:
http://arxiv.org/abs/2402.11261
We investigate the descriptive complexity of the set of models of first-order theories. Using classical results of Knight and Solovay, we give a sharp condition for complete theories to have a $\boldsymbol\Pi_\omega^0$-complete set of models. We also
Externí odkaz:
http://arxiv.org/abs/2402.10029
Autor:
Tall, Franklin D., Zhang, Jing
The consistency of a second-order version of a theorem of Morley on the number of countable models was proved in arXiv:2107.07636 with the aid of large cardinals. We here dispense with them.
Externí odkaz:
http://arxiv.org/abs/2401.10454
In the framework of graphs, we study abstract elementary classes (aecs). In this work we analyze several properties of Forb(G) and versions of Forb-Con(G) in the context of aecs and we present some examples of classes of graphs which contradicts amal
Externí odkaz:
http://arxiv.org/abs/2311.09801