We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Cohen-like first order structures

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.
Comments: version submitted to APAL, after referee's report
Subjects: Logic (math.LO)
MSC classes: 06A05 03C25 03C55 03E55
Cite as: arXiv:2009.03552 [math.LO]
  (or arXiv:2009.03552v4 [math.LO] for this version)

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.