Cohen-like first order structures

Ziemowit Kostana

Home/Archive/arXiv

arXiv · 2009.03552

Cohen-like first order structures

Ziemowit Kostana

View original source ↗Read source document ↗Export metadata ↓

Abstract

We study uncountable structures similar to the Fraïssé limits. The standard inductive arguments from the Fraïssé theory are replaced by forcing, so the structures we obtain are highly sensitive to the universe of set theory. In particular, the generic structures we investigate exist only in generic extensions of the universe. We prove that in most of the interesting cases the uncountable generic structures are rigid. Moreover, we provide a (consistent) example of an uncountable, dense set of reals with the group of integers as its automorphism group.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Ziemowit Kostana. 2024-12-18. Cohen-like first order structures. https://arxiv.org/abs/2009.03552

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

KEEP EXPLORING

Related papers

arXiv2026

Two questions on $E_0$-like generic equivalence

We answer Problems 8.1 and 8.3 from \cite{Tianyuan2026}. We first note that the condition attributed there to ordinary Prikry forcing is not correct as written: the appropriate formulation uses finite symmetric difference of the ranges of the generic sequences, rather than eventual equality at the same coordinates. We record answers to the two problems for both formulations. A length-$ω$ Magidor forcing gives a genuinely Prikry-type example satisfying both conditions. Rigid real-adding forcing gives a broad source of further examples, and a forcing of Jech and Shelah shows that the condition does not carry any large cardinal strength. An $E_0$-invariant Jensen-type forcing of Kanovei and Lyubetsky gives a stronger nontrivial example in which the generic reals in a fixed extension form exactly one full $E_0$-class. Finally, a simple recoding turns the real-forcing previous examples into answers for the version of the problems with corrected condition.

math.LO↗

arXiv2026

Forcing with Symmetric Systems of Models of Two Types

The purpose of this paper is to present a general method for forcing on $ω_2$ and $ω_3$ with finite conditions, while preserving all cardinals and some fragments of $\mathrm{GCH}$. This method is based on the technique of forcing with finite symmetric systems of elementary submodels, and improves earlier versions of this forcing by including models of two types. We will present several applications of the pure side condition forcing and variants thereof, by adding a Kurepa tree on $ω_2$, a club subset of $ω_2$ that avoids infinite sets from the ground model, a function bounding every canonical function below $ω_3$ on a club, and a simplified $(ω_2,1)$-morass.

math.LO↗

arXiv2026

On some NIP Fragments of Fields

In this document we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued Fields of any characteristic and any imperfection degree are NIP, and use this result to fill some gaps of a proof of the so-called NIP Transfer Theorem for henselian valued fields of equal characteristic. Second, we prove a variant of a theorem of Johnson: every positive characteristic valued field whose existential formulas are NIP is henselian, and generalize this result for finer sets of existential formulas, like positive existential with a given number of quantifiers, in type-definable fields. Finally, we set the ground for the finer question of transfer of NIP formulas of valued fields with bounded quantifier rank. Namely, we prove that for any henselian equicharacteristic valued field, any formula of quantifier rank at most $n\geq 1$ is NIP if and only if the same is true for the residue field and the value group, provided that the valued field is separably defectless Kaplansky and conditional on a multi-variable generalization of a well known statement about indiscernible sequences of singletons in ac-valued fields.

math.LO↗