arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 0705.4137

Abstract elementary classes near aleph_1

Saharon Shelah
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove in ZFC, no psi in L_{omega_1,omega}[Q] have unique model of uncountable cardinality, this confirms theBaldwin conjecture. But we analyze this in more general terms. We introduce and investigate a.e.c. and also versions of limit models, and prove some basic properties like representation by PC class, for any a.e.c. For PC_{aleph_0}-representable a.e.c. we investigate the conclusion of having not too many non-isomorphic models in aleph_1 and aleph_2, but have to assume 2^{aleph_0}<2^{aleph_1} and even 2^{aleph_1}<2^{aleph_2}.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Saharon Shelah. 2007-05-29. Abstract elementary classes near aleph_1. https://arxiv.org/abs/0705.4137

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Choice principles in countable partition models

We study the countable partition model over a set of atoms of arbitrary uncountable cardinality $κ$. Its supports are partitions of the atoms into countably many blocks, and a permutation fixes a support when it preserves each block setwise. This model was proposed by Bruce and studied by Banerjee. We prove that dependent choice holds for every $κ$, although the filter of subgroups is not closed under countable intersections. Choice for well-orderable families holds exactly when $κ<\aleph_{ω_1}$; when $κ\ge\aleph_{ω_1}$, an $ω_1$-indexed family witnesses its failure. The Hartogs and Lindenbaum numbers of the set of atoms are both $ω_1$. The proofs use permutations matching blocks of equal cardinality and establish shift completeness of the filter. Together with Banerjee's failure of $\mathsf{DC}_{ω_1}$, these results determine which dependent choice principles hold in the model.

math.LO↗
arXiv2026

Finite Combinatorics and Fragments of Arithmetic

In fragments of first order arithmetic, definable maps on finite domains could behave very differently from finite maps. Here combinatorial properties of $Σ_{n+1}$-definable maps on finite domains are compared in the absence of $BΣ_{n+1}$. It is shown that $\mathrm{GPHP}(Σ_{n+1})$ (the $Σ_{n+1}$-instance of Kaye's General Pigeonhole Principle) lies strictly between $\mathrm{CARD}(Σ_{n+1})$ and $\mathrm{WPHP}(Σ_{n+1})$ (Weak Pigeonhole Principle for $Σ_{n+1}$-maps), and also that $\mathrm{FRT}(Σ_{n+1})$ (Finite Ramsey's Theorem for $Σ_{n+1}$-maps) does not imply $\mathrm{WPHP}(Σ_{n+1})$.

math.LO↗
arXiv2026

Computational techniques for sheaf cohomology of locally profinite sets

We compute the sheaf cohomology with constant $\mathbb{Z}_2$ coefficients of a concrete class of locally profinite sets of independent interest. We introduce $k$-sheer partitions to aid in constructions. It is also shown that questions of intermediate cohomology degrees can be reduced to questions about top cohomology degrees by exhibiting nontrivial top cocycles as pointwise limits of coboundaries.

math.LO↗