Pith. sign in

REVIEW

Mekler's construction and tree properties

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1903.07087 v2 pith:S743KWEP submitted 2019-03-17 math.LO

classification math.LO
keywords constructionnsoppreservespropertiesgroupkappameklerpure
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

Mekler constructed a way to produce a pure group from any given structure where the construction preserves $\kappa$-stability for any cardinal $\kappa$. Not only the stability, it is known that his construction preserves various model-theoretic properties such as simplicity, NIP, and NTP$_2$. Inspired by the last result, we show that the construction also preserves NTP$_1$(NSOP$_2$) and NSOP$_1$. As a corollary, we obtain that if there is a theory of finite language which is non-simple NSOP$_1$, or which is NSOP$_2$ but has SOP$_1$, then there is a pure group theory with the same properties, respectively.

Discussion (0). Continue with ORCID to comment.

Pith tools