arXiv Analytics

Sign in

arXiv:2402.09458 [math.LO]AbstractReferencesReviewsResources

Relative consistency of Set Matrix Theory with ZF

Marcoen J. T. F. Cabbolet

Published 2024-02-07Version 1

Set Matrix Theory (SMT) has been introduced in Log. Anal. 225: 59-82 (2014) as a generalization of ZF, in which matrices constructed from sets are treated as urelements, that is, as objects that are not sets but that can be elements of sets. Here we prove that SMT is relatively consistent with ZF.

Comments: 5 pages; to appear in Logique et Analyse
Journal: Logique et Analyse 262: 73-81 (2023)
Categories: math.LO, cs.LO
Subjects: 03F25, 03E65
Related articles: Most relevant | Search more
arXiv:2212.13627 [math.LO] (Published 2022-12-27)
Forcing with Urelements
arXiv:math/0007025 [math.LO] (Published 2000-07-05, updated 2000-07-11)
A note on an alleged proof of the relative consistency of P=NP with PA
arXiv:math/0009077 [math.LO] (Published 2000-09-07)
The relative consistency of g<cf(Sym(omega))

Links

Toolbox