References & Citations
Mathematics > Logic
Title: Cohen-like first order structures
(Submitted on 8 Sep 2020 (v1), last revised 3 Jun 2022 (this version, v4))
Abstract: We study uncountable structures similar to the Fra\"iss\'e limits. The standard inductive arguments from the Fra\"iss\'e 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.
Submission history
From: Ziemowit Kostana [view email][v1] Tue, 8 Sep 2020 07:17:32 GMT (13kb)
[v2] Mon, 21 Sep 2020 14:24:47 GMT (13kb)
[v3] Tue, 8 Dec 2020 14:38:15 GMT (14kb)
[v4] Fri, 3 Jun 2022 10:05:45 GMT (18kb)
Link back to: arXiv, form interface, contact.