next article in this issue  |
Preview first page |
Document Details : Title: Relative Consistency of Set Matrix Theory with ZF Author(s): CABBOLET, Marcoen J.T.F. Journal: Logique et Analyse Volume: 262 Date: 2023 Pages: 73-81 DOI: 10.2143/LEA.262.0.3293613 Abstract : 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. |
|
