2000 character limit reached
Relative consistency of Set Matrix Theory with ZF
Published 7 Feb 2024 in math.LO and cs.LO | (2402.09458v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.