Source author record

Minh Chieu Tran

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

2works

1topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Interpolative fusions II: Preservation results

We study interpolative fusion, a method of combining theories $T_1$ and $T_2$ in distinct languages in a "generic" way over a common reduct $T_\cap$ , to obtain a theory $T_\cup^*$ . When each $T_i$ is model-complete, $T_\cup^*$ is the model companion of the union $T_1\cup T_2$ . Our goal is to prove preservation results, i.e., to find sufficient conditions under which model-theoretic properties of $T_1$ and $T_2$ are inherited by $T_\cup^*$ . We first prove preservation results for quantifier elimination, model-completeness, and related properties. We then apply these tools to show that, under mild hypotheses, including stability of $T_\cap$ , the property $\mathrm{NSOP}_1$ is preserved. We also show that simplicity is preserved under stronger hypotheses on algebraic closure in $T_1$ and $T_2$ . This generalizes many previous results; for example, simplicity of $\mathrm{ACFA}$ and the random $n$ -hypergraph are both non-obvious corollaries. We also address preservation of stability, $\mathrm{NIP}$ , and $\aleph_0$ -categoricity, and we describe examples which witness that these results are sharp.

preprint2021arXiv

The additive groups of $\mathbb{Z}$ and $\mathbb{Q}$ with predicates for being square-free

We consider the four structures $(\mathbb{Z}; \mathrm{Sqf}^\mathbb{Z})$ , $(\mathbb{Z}; <, \mathrm{Sqf}^\mathbb{Z})$ , $(\mathbb{Q}; \mathrm{Sqf}^\mathbb{Q})$ , and $(\mathbb{Q}; <, \mathrm{Sqf}^\mathbb{Q})$ where $\mathbb{Z}$ is the additive group of integers, $\mathrm{Sqf}^\mathbb{Z}$ is the set of $a \in \mathbb{Z}$ such that $v_{p}(a) < 2$ for every prime $p$ and corresponding $p$ -adic valuation $v_{p}$ , $\mathbb{Q}$ and $\mathrm{Sqf}^\mathbb{Q}$ are defined likewise for rational numbers, and $<$ denotes the natural ordering on each of these domains. We prove that the second structure is model-theoretically wild while the other three structures are model-theoretically tame. Moreover, all these results can be seen as examples where number-theoretic randomness yields model-theoretic consequences.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Minh Chieu Tran

Research overview

Is this your work?

2 publications

Interpolative fusions II: Preservation results

The additive groups of $\mathbb{Z}$ and $\mathbb{Q}$ with predicates for being square-free

See the researcher in context

Building this map preview

Minh Chieu Tran

Research overview

Is this your work?

2 publications

Interpolative fusions II: Preservation results

The additive groups of Z\mathbb{Z}Z and Q\mathbb{Q}Q with predicates for being square-free

See the researcher in context

Building this map preview

The additive groups of $\mathbb{Z}$ and $\mathbb{Q}$ with predicates for being square-free