Source author record

Andres 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

Catalog footprint

Research overview

5works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

The Hart-Shelah example, in stronger logics

We generalize the Hart-Shelah example \cite{HaSh:323} to higher infinitary logics. We build, for each natural number $k\geq 2$ and for each infinite cardinal $λ$ , a sentence $ψ_k^λ$ of the logic $L_{(2^λ)^+,ω}$ that (modulo mild set theoretical hypotheses around $λ$ and assuming $2^λ< λ^{+m}$ ) is categorical in $λ^+,\dots,λ^{+k-1}$ but not in $\beth_{k+1}(λ)^+$ (or beyond); we study the dimensional encoding of combinatorics involved in the construction of this sentence and study various model-theoretic properties of the resulting abstract elementary class ${\mathcal K}^*(λ,k)=(Mod(ψ_k^λ),\prec_{(2^λ)^+,ω})$ in the finite interval of cardinals $λ,λ^+,\dots,λ^{+k}$ .

preprint2016arXiv

Non-standard cohomology for equivariant sheaves: The role of generic models

We generalize the Generic Model Theorem for equivariant presheaves of structures; extending the results of Macintyre and Caicedo. We also introduce a new class of generic cohomologies and show how, for some examples, they simplify to non standard cohomologies. Key words and phrases: Generic Model Theorem, Equivariant Structures, Equivariant Cohomology. Primary fields: Model Theory. Equivariant sheaf cohomology.

preprint2015arXiv

Uniqueness of Limit Models in Classes with Amalgamation

We prove: Main Theorem: Let $\mathcal{K}$ be an abstract elementary class satisfying the joint embedding and the amalgamation properties with no maximal models of cardinality $μ$ . Let $μ$ be a cardinal above the the Löwenheim-Skolem number of the class. If $\mathcal{K}$ is $μ$ -Galois-stable, has no $μ$ -Vaughtian Pairs, does not have long splitting chains, and satisfies locality of splitting, then any two $(μ,σ_\ell)$ -limits over $M$ , for $\ell\in\{1,2\}$ , are isomorphic over $M$ . This theorem extends results of Shelah from \cite{Sh394}, \cite{Sh576}, \cite{Sh600}, Kolman and Shelah in \cite{KoSh} and Shelah and Villaveces from \cite{ShVi}. A preliminary version of our uniqueness theorem, which was circulated in 2006, was used by Grossberg and VanDieren to prove a case of Shelah's categoricity conjecture for tame abstract elementary classes in \cite{GrVa2}. Preprints of this paper have also influenced the Ph.D. theses of Drueck \cite{Dr} and Zambrano \cite{Za}. This paper also serves the expository role of presenting together the arguments in \cite{Va1} and \cite{Va2} in a more natural context in which the amalgamation property holds and this work provides an approach to the uniqueness of limit models that does not rely on Ehrenfeucht-Mostowski constructions.

preprint1996arXiv

Chains of End Elementary Extensions of Models of Set Theory

Large cardinals arising from the existence of arbitrarily long end elementary extension chains over models of set theory are studied here. In particular, we show that the large cardinals obtained that way (`Unfoldable cardinals') behave as a `boundary' between properties consistent with `V=L' and existence of indiscernibles. We also provide an `embedding characterisation' of the unfoldable cardinals and study their preservation and destruction by various different forcings.

preprint1996arXiv

Heights of Models of $ZFC$ and the Existence of End Elementary Extensions

The existence of End Elementary Extensions of models M of ZFC is related to the ordinal height of M, according to classical results due to Keisler, Morley and Silver. In this paper, we further investigate the connection between the height of M and the existence of End Elementary Extensions of M. In particular, we prove that the theory `ZFC + GCH + there exist measurable cardinals + all inaccessible non weakly compact cardinals are possible heights of models with no End Elementary Extensions' is consistent relative to the theory `ZFC + GCH + there exist measurable cardinals + the weakly compact cardinals are cofinal in ON'. We also provide a simpler coding that destroys GCH but otherwise yields the same result.

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.

Andres Villaveces

Research overview

Is this your work?

5 publications

The Hart-Shelah example, in stronger logics

Non-standard cohomology for equivariant sheaves: The role of generic models

Uniqueness of Limit Models in Classes with Amalgamation

Chains of End Elementary Extensions of Models of Set Theory

Heights of Models of $ZFC$ and the Existence of End Elementary Extensions

See the researcher in context

Building this map preview

Andres Villaveces

Research overview

Is this your work?

5 publications

The Hart-Shelah example, in stronger logics

Non-standard cohomology for equivariant sheaves: The role of generic models

Uniqueness of Limit Models in Classes with Amalgamation

Chains of End Elementary Extensions of Models of Set Theory

Heights of Models of ZFCZFCZFC and the Existence of End Elementary Extensions

See the researcher in context

Building this map preview

Heights of Models of $ZFC$ and the Existence of End Elementary Extensions