Pith. sign in

REVIEW 2 cited by

On what I do not understand (and have something to say), model theory

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 math/9910158 v1 pith:QGNCXQND submitted 1999-10-28 math.LO

classification math.LO
keywords sometimesdiscussionproblemstheorywhatmodelotherreferences
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

This is a non-standard paper, containing some problems, mainly in model theory, which I have, in various degrees, been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems are presented with a discussion of how I have tried to solve them, and sometimes with failed tries, anecdote and opinion. So the discussion is quite personal, in other words, egocentric and somewhat accidental. As we discuss many problems, history and side references are erratic, usually kept at a minimum ("See..." means: see the references there and possibly the paper itself). The base were lectures in Rutgers Fall '97 and reflect my knowledge then. The other half, math.LO/9906113, concentrating on set theory, is in print, but the two halves are independent. We thank A. Blass, G. Cherlin and R. Grossberg for some corrections.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

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...

  2. On the notion of a patterning property in model theory

    math.LO 2026-06 unverdicted novelty 7.0 of 10

    Authors prove SOP_n is straightly definable and poset definable for n >= 4, completing the straight definability classification of classical model-theoretic properties, and show that implications between positively st...

Pith tools