☆ 4.1 Article

Companionability characterization for the expansion of an o-minimal theory by a dense subgroup

ANNALS OF PURE AND APPLIED LOGIC (2023)

Interpolative fusions

Alex Kruckman et al.

Summary: By defining the interpolative fusion T-boolean OR*, we generalize many examples of random or generic structures in the model-theoretic literature and develop new tools to show that theories of interest have model companions.

JOURNAL OF MATHEMATICAL LOGIC (2021)

添加到收藏夹

Article Mathematics

Pathological examples of structures with o-minimal open core

Alexi Block Gorman et al.

Summary: This paper addresses several open questions regarding structures with o-minimal open core, presenting examples and constructions to illustrate concepts such as proper expansions, dense function graphs, and Skolem functions within the context of o-minimal structures.

MATHEMATICAL LOGIC QUARTERLY (2021)

添加到收藏夹

Article Mathematics, Applied