Searcharxiv⌕ Search

arXiv subjects

Andrés Villaveces

Publications and source records attributed to Andrés Villaveces.

15 recordsLinked to original sources
arXiv2025

Infinitary Logics and Abstract Elementary Classes

We prove that every abstract elementary class (a.e.c.) with LST number $κ$ and vocabulary $τ$ of cardinality $\leq κ$ can be axiomatized in the logic ${\mathbb L}_{\beth_2(κ)^{+++},κ^+}(τ)$. In this logic an a.e.c. is therefore an EC class rather than merely a PC class. This constitutes a major improvement on the level of definability previously given by the Presentation Theorem. As part of our proof, we define the \emph{canonical tree} $\mathcal S={\mathcal S}_{\mathcal K}$ of an a.e.c. $\mathcal K$. This turns out to be an interesting combinatorial object of the class, beyond the aim of our theorem. Furthermore, we study a connection between the sentences defining an a.e.c. and the relatively new infinitary logic $L^1_λ$.}

math.LO↗
arXiv2024

Cartagena Logic

We introduce a new kind of infinitary logic that we call Boolean expansion of ${\mathcal L}_{κκ}$. This logic involves a new kind of variable, that we call generalised Boolean variable. These variables range over the powerset of a cardinal number in a way reminiscent of random variables. From this Boolean expansion, we extract a traditional infinitary logic, called Cartagena logic. We prove several model-theoretic properties of Cartagena logic, and give multiple examples of its expressive power. The main result is that Cartagena logic is a good syntactically defined approximation to Shelah's infinitary ${\mathcal L}^1_κ$. The latter is not known to have a generative syntax, while Cartagena logic does have a very clear one.

math.LO↗
arXiv2023

Zilber's notion of logically perfect structure: Universal Covers

We sketch recent interactions between model theory and a roughly 150-year old study of analytic functions involving complex analysis, algebraic topology, and number theory, centered in canonicity of universal covers. Towards this goal we discuss in a systematic and unified way several examples indicating the main ideas of the proofs and the necessary changes in method for different situations: exponential covers, modular and Shimura curves, Shimura and abelian varieties, and coherent families of smooth covers.

math.LO↗
arXiv2023

An almost strong relation

Let $μ$ be a strong limit singular cardinal. We prove that if $2^μ > μ^+$ then $\binom{μ^+}μ\to \binomτμ_{<{\rm cf}(μ)}$ for every ordinal $τ<μ^+$. We obtain an optimal positive relation under $2^μ= μ^+$, as after collapsing $2^μ$ to $μ^+$ this positive relation is preserved.

math.LO↗
arXiv2021

COVID-19-Associated Orphanhood and Caregiver Death in the United States

Background: Most COVID-19 deaths occur among adults, not children, and attention has focused on mitigating COVID-19 burden among adults. However, a tragic consequence of adult deaths is that high numbers of children might lose their parents and caregivers to COVID-19-associated deaths. Methods: We quantified COVID-19-associated caregiver loss and orphanhood in the US and for each state using fertility and excess and COVID-19 mortality data. We assessed burden and rates of COVID-19-associated orphanhood and deaths of custodial and co-residing grandparents, overall and by race/ethnicity. We further examined variations in COVID-19-associated orphanhood by race/ethnicity for each state. Results: We found that from April 1, 2020 through June 30, 2021, over 140,000 children in the US experienced the death of a parent or grandparent caregiver. The risk of such loss was 1.1 to 4.5 times higher among children of racial and ethnic minorities, compared to Non-Hispanic White children. The highest burden of COVID-19-associated death of parents and caregivers occurred in Southern border states for Hispanic children, Southeastern states for Black children, and in states with tribal areas for American Indian/Alaska Native populations. Conclusions: We found substantial disparities in distributions of COVID-19-associated death of parents and caregivers across racial and ethnic groups. Children losing caregivers to COVID-19 need care and safe, stable, and nurturing families with economic support, quality childcare and evidence-based parenting support programs. There is an urgent need to mount an evidence-based comprehensive response focused on those children at greatest risk, in the states most affected.

stat.AP↗
arXiv2019

Around logical perfection

In this article we present and describe a notion of "logical perfection". We extract the notion of "perfection" from the contemporary logical concept of categoricity. Categoricity (in power) has become in the past half century a main driver of ideas in model theory, both mathematically (stability theory may be regarded as a way of approximating categoricity) and philosophically. In the past two decades, categoricity notions have started to overlap with more classical notions of robustness and smoothness. These have been crucial in various parts of mathematics since the nineteenth century. We postulate and present the category of logical perfection. We draw on various notions of perfection from mathematics of the 19th and 20th centuries and then trace the relation to the concept of categoricity in power as a logical notion of what a "mathematically perfect" structure is.

math.LO↗
arXiv2017

The small index property for homogeneous models in AECs

We prove a version of a small index property theorem for strong amalgamation classes. Our result builds on an earlier theorem by Lascar and Shelah (in their case, for saturated models of uncountable first-order theories). We then study versions of the small index property for various non-elementary classes. In particular, we obtain the small index property for quasiminimal pregeometry structures.

math.LO↗
arXiv2017

Quantum mechanics in a metric sheaf: a model theoretic approach

We study model-theoretical structures for prototypical physical systems. First, a summary of the model theory of sheaves, adapted to the metric case, is presented. In particular, we provide conditions for a generalization of the generic model theorem to metric sheaves. The essentials of the model theory of metric sheaves appeared in the form of Conference Proceedings. We provide a version of those results, for the sake of completeness, and then build metric sheaves for physical systems in the second part of the paper. Specifically, metric sheaves for quantum mechanical systems with pure point and continuous spectra are constructed. In the former case, every fiber is a finite projective Hilbert space determined by the family of invariant subspaces of a given operator with pure point spectrum, and we also consider unitary transformations in a finite-dimensional space. For an operator with continuous spectrum, every fiber is a two sorted structure of subsets of the Schwartz space of rapidly decreasing functions that includes imperfect representations of position and momentum states. The imperfection character is parametrically determined by the elements on the base space and refined in the generic model. Position and momentum operators find a simple representation in every fiber as well as their corresponding unitary operators. These results follow after recasting the algebraic properties of the integral transformations frequently invoked in the description of quantum mechanical systems with continuous spectra. Finally, we illustrate how this construction permits the calculation of the quantum mechanical propagator for a free particle.

math.LO↗
arXiv2017

Hilbert Spaces with Generic Predicates

We study the model theory of expansions of Hilbert spaces by generic predicates. We first prove the existence of model companions for generic expansions of Hilbert spaces in the form first of a distance function to a random substructure, then a distance to a random subset. The theory obtained with the random substructure is ω-stable, while the one obtained with the distance to a random subset is $TP_2$ and $NSOP_1$. That example is the first continuous structure in that class.

math.LO↗
arXiv2016

Sheaves of G-structures and generic G-models

In this article we give an equivariant version for the construction of generic models on presheaves of structures. We deal with first order structures endowed with a suitable action of some fixed group, say $G$; we call them $G$-structures. We show that every exact presheaf of $G$-structures $\mathcal{M}$ has a generic (equivariant) $G$-model $\mathcal{M}^{^{gen}}$.

math.LO↗
arXiv2014

A global approach to AECs

In this work we present some general categorial ideas on Abstract Elementary Classes (AECs) %\cite{She}, inspired by the totality of AECs of the form $(Mod(T), \preceq)$, for a first-order theory T: (i) we define a natural notion of (funtorial) morphism between AECs; (ii) explore the following constructions of AECs: "generalized" theories, pullbacks of AECs, (Galois) types as AECs; (iii) apply categorial and topological ideas to encode model-theoretic notions on spaces of types %(see Michael Lieberman Phd thesis) ; (iv) present the "local" axiom for AECs here called "local Robinson's property" and an application (Robinson's diagram method); (v) introduce the category $AEC$ of Grothendieck's gluings of all AECs (with change of basis); (vi) introduce the "global" axioms of "tranversal Robinson's property" (TRP) and "global Robinson's property" (GRP) and prove that TRP is equivalent to GRP and GRP entails a natural version of Craig interpolation property.

math.LO↗
arXiv2013

Around Independence and Domination in Metric Abstract Elementary Classes, under Uniqueness of Limit Models

We study notions of independence appropriate for a stability theory of metric abstract elementary classes (for short, MAECs). We build on previous notions used in the discrete case, and adapt definitions to the metric case. In particular, we study notions that behave well under superstability-like assumptions. Also, under uniqueness of limit models, we study domination, orthogonality and parallelism of Galois types in MAECs.

math.LO↗
arXiv2012

Sheaves of metric structures

We introduce and develop the theory of metric sheaves. A metric sheaf $\A$ is defined on a topological space $X$ such that each fiber is a metric model. We describe the construction of the generic model as the quotient space of the sheaf through an appropriate filter. Semantics in this model is completely controlled and understood by the forcing rules in the sheaf.

math.LO↗
arXiv1997

Toward categoricity for classes with no maximal models

We provide here the first steps toward Classification Theory of Abstract Elementary Classes with no maximal models, plus some mild set theoretical assumptions, when the class is categorical in some lambda greater than its Lowenheim-Skolem number. We study the degree to which amalgamation may be recovered, the behaviour of non mu-splitting types. Most importantly, the existence of saturated models in a strong enough sense is proved, as a first step toward a complete solution to the Los Conjecture for these classes.

math.LO↗