BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We prove that all known examples of weakly o-minimal non-valuational structures have no definable Skolem functions. We show, however, that such structures eliminate imaginaries up to (definable families of) definable cuts. Along the way we give some new examples of weakly o-minimal non-valuational structures.
We show that the rank ω structure obtained by the non-collapsed version of Hrushovski's amalgamation construction has a proper reduct. We show that this reduct is the Fraïssé-Hrushovski limit of its own age with respect to a pre-dimension function generalising Hrushovski's pre-dimension function. It follows that this reduct has a unique regular type of rank ω, and we prove that its geometry is isomorphic to the geometry of the generic type in the original structure. We ask whether our reduct is bi-interpretable with the original structure and whether it, too, has proper reducts with the same geometry.
This is the second part of a work initiated in \cite{GaHa}, where we constructed a model category, $\Qt$, for set theory. In the present paper we use this model category to introduce homotopy-theoretic intuitions to set theory. Our main observation is that the homotopy invariant version of cardinality is the covering number of Shelah's PCF theory, and that other combinatorial objects, such as Shelah's revised power function - the cardinal function featuring in Shelah's revised GCH theorem - can be obtained using similar tools. We include a small "dictionary" for set theory in $\QtNaamen$, hoping it will help in finding more meaningful homotopy-theoretic intuitions in set theory.
We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and infinite equi-cardinality. In a subsequent paper \cite{GaHa1} we give a homotopy theoretic dictionary of set theoretic concepts, most notably Shelah's covering number $\cov(λ, \aleph_1,\aleph_1,2)$, recovered from this model category. We argue that from the homotopy theoretic point of view our construction is essentially automatic following basic existing methods, and so is (almost all) the verification that the construction works.
In this note we interpret Voevodsky's Univalence Axiom in the language of (abstract) model categories. We then show that any posetal locally Cartesian closed model category Qt in which the mapping Hom(w)(Z×B,C):Qt⟶Sets is functorial in Z and represented in Qt satisfies our homotopy version of the Univalence Axiom, albeit in a rather trivial way. This work was motivated by a question reported in [Ob], asking for a model of the Univalence Axiom not equivalent to the standard one.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.