A note connecting arguments scattered in the extant literature proving that, in any o-minimal expansion of the real field, a definable family of sets has the property that the set of parameters corresponding to finite-volume fibers is definable.
Every bounded definable open set is a union of finitely many open strong cells in a weakly o-minimal expansion of a real closed field. We prove this fact and another theorem similar to it.
Given two Fraïssé-like classes with generic limits, we ask whether we can merge the two classes into one class with a generic limit. We study the properties of these merges and their generics, as well as their connections to structural Ramsey theory and the Hrushovski property (EPPA).
We study subfields of surreal numbers, called hyperseries fields, that are suited to be equipped with derivations and composition laws. We show how to define embeddings on hyperseries fields that commute with transfinite sums and all hyperexponential and hyperlogarithmic functions.
In this paper, we prove the following characterization: an abelian Mal'cev variety is finitely based if and only it has finite type, its ring of idempotent binary terms is finitely presented, and its module of unary terms is finitely presented.
This is a short expository account of the regularity lemma for stable graphs proved by the authors, with some comments on the model theoretic context, written for a general logical audience.
The aim of this note is to characterize those doubly ordered frames $\langle X, \leq_1, \leq_2 \rangle$ which are embeddable into the canonical frame of its Urquhart complex algebra.
We study generically stable measures in the local, NIP context. We show that in this setting, a measure is generically stable if and only if it admits a natural finite approximation.
El propósito de este trabajo es problematizar las enseñanzas sobre la menstruación en la escuela. A partir de una revisión de bibliografía especializada, presentamos los significados atribuidos a la menstruación en nuestra sociedad y en las publicidades. Esta caracterización nos lleva a preguntarnos si podemos dejar de lado las significaciones culturales en las clases de biología. De manera más general, planteamos la necesidad de repensar las enseñanzas sobre la corporalidad como forma de hacer educación sexual.
We show from a weak comparison principle (the Ultrapower Axiom) that the Mitchell order is linear on certain kinds of ultrafilters: normal ultrafilters, Dodd solid ultrafilters, and assuming GCH, generalized normal ultrafilters. In the process we prove a generalization of Solovay's lemma to singular cardinals.
In this note we show that groups with definable generics in a separably closed valued of finite imperfection degree can be embedded into groups definable in their algebraic closure.
Infinite time Turing machines are extended in several ways to allow for iterated oracle calls. The expressive power of these machines is discussed and in some cases determined.
The basics of Intuitionistic Kripke-Platek set theory are developed, and some independence results among related classically equivalent theories are shown using Kripke models.