Mutual Interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality

Zlatan Damnjanovic

REVIEW

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

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 1707.03531 v1 pith:KCPBXS4U submitted 2017-07-12 math.LO

Mutual Interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality

Zlatan Damnjanovic This is my paper

classification math.LO

keywords theoryadjunctivearithmeticextensionalityinterpretabilitymutualrobinsonconcatenation

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

0 comments

read the original abstract

An elementary rheory of concatenation is introduced and used to establish mutual interpretability of Robinson arithmetic, Minimal Predicative Set Theory, the quantifier-free part of Kirby's finitary set theory, and Adjunctive Set Theory, with or without extensionality.

Mutual Interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality

discussion (0)