Pith. sign in

REVIEW 1 cited by

Generic Stability Independence and Treeless theories

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 2305.01296 v2 pith:VN46OHIT submitted 2023-05-02 math.LO

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

We initiate a systematic study of \emph{generic stability independence} and introduce the class of \emph{treeless theories} in which this notion of independence is particularly well-behaved. We show that the class of treeless theories contains both binary theories and stable theories and give several applications of the theory of independence for treeless theories. As a corollary, we show that every binary NSOP$_{3}$ theory is simple.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Some applications of the real strict order property hierarchy

    math.LO 2026-06 unverdicted novelty 7.0 of 10

    Real-valued NSOP_r techniques yield that NSOP2subseteq NSOP_r for r>2, an approximate alternative between new real properties and NSOP_n collapse in NTP2, and a sharp SOP2-implies-SOP3 dichotomy for finitely forbidden...

Pith tools