Source author record

Andrés Villaveces

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.CA math.CO math.GT

Catalog footprint

Research overview

6works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

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.

preprint2016arXiv

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}}$ .

preprint2015arXiv

Limit Models in Metric Abstract Elementary Classes: the Categorical case

We study versions of limit models adapted to the context of *metric abstract elementary classes*. Under categoricity and superstability-like assumptions, we generalize some theorems from [GrVaVi]. We prove criteria for existence and uniqueness of limit models in the metric context.

preprint2014arXiv

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.

preprint2013arXiv

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.

preprint2012arXiv

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.