Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2020
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2011.04034 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- By providing a procedure to apply Hrushovski's amalgamation method to the setting of classes of infinite structures, we introduce the notion of \textit{paracollapsed} structures. We show that this approach provides existentially closed generic structures in which the geometric closure is not included in the algebraic closure while the resulting theory is decidable. We show that paracollapsed structures have the strict order property and $\text{TP}_2$.