Open Research Index

Scott-Karp analysis without sentences

Andreas Brunner, Charles Morgan, Darllan Concieção Pinto

arXivarxiv/2602.07646Feb 7, 2026math.LOscore 0

Scott and Karp gave an analysis which provides a level-by-level equivalence between global similarity between two structures and local commonality in terms of sharing particular invariants. Scott and Karp's local invariants were certain infinitary formulae. We give a more abstract version of the local side of Scott-Karp analysis which avoids the use of infinitary languages. We show the resulting hierarchies are still provide desired equivalences in the classical setting. Moreover, the abstract nature of our analysis, as we show, makes it suitable to provide local level-by-level equivalents…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2602.07646
curl -X POST /api/v1/records/arxiv/2602.07646/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.07646/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'