Matches in SemOpenAlex for { <https://semopenalex.org/work/W2967682787> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2967682787 endingPage "112" @default.
- W2967682787 startingPage "85" @default.
- W2967682787 abstract "In this article, we analyse the ontological import of adding classes to set theories. We assume that this increment is well represented by going from ZF system to NBG. We thus consider the standard techniques of reducing one system to the other. Novak proved that from a model of ZF we can build a model of NBG (and vice versa), while Shoenfield have shown that from a proof in NBG of a set-sentence we can generate a proof in ZF of the same formula. We argue that the first makes use of a too strong metatheory. Although meaningful, this symmetrical reduction does not equate the ontological content of the theories. The strong metatheory levels the two theories. Moreover, we will modernize Shoenfield’s proof, emphasizing its relation to Herbrand’s theorem and that it can only be seen as a partial type of reduction. In contrast with symmetrical reductions, we believe that asymmetrical relations are powerful tools for comparing ontological content. In virtue of this, we prove that there is no interpretation of NBG in ZF, while NBG trivially interprets ZF. This challenges the standard view that the two systems have the same ontological content." @default.
- W2967682787 created "2019-08-22" @default.
- W2967682787 creator A5021086344 @default.
- W2967682787 creator A5058326973 @default.
- W2967682787 date "2019-04-01" @default.
- W2967682787 modified "2023-10-15" @default.
- W2967682787 title "The Ontological Import of Adding Proper Classes" @default.
- W2967682787 cites W2106735727 @default.
- W2967682787 cites W2140635086 @default.
- W2967682787 doi "https://doi.org/10.1590/0100-6045.2019.v42n2.rf" @default.
- W2967682787 hasPublicationYear "2019" @default.
- W2967682787 type Work @default.
- W2967682787 sameAs 2967682787 @default.
- W2967682787 citedByCount "2" @default.
- W2967682787 countsByYear W29676827872020 @default.
- W2967682787 countsByYear W29676827872023 @default.
- W2967682787 crossrefType "journal-article" @default.
- W2967682787 hasAuthorship W2967682787A5021086344 @default.
- W2967682787 hasAuthorship W2967682787A5058326973 @default.
- W2967682787 hasBestOaLocation W29676827871 @default.
- W2967682787 hasConcept C111335779 @default.
- W2967682787 hasConcept C111472728 @default.
- W2967682787 hasConcept C134306372 @default.
- W2967682787 hasConcept C138885662 @default.
- W2967682787 hasConcept C154945302 @default.
- W2967682787 hasConcept C177264268 @default.
- W2967682787 hasConcept C18903297 @default.
- W2967682787 hasConcept C199360897 @default.
- W2967682787 hasConcept C202444582 @default.
- W2967682787 hasConcept C2524010 @default.
- W2967682787 hasConcept C25343380 @default.
- W2967682787 hasConcept C2777239683 @default.
- W2967682787 hasConcept C2777299769 @default.
- W2967682787 hasConcept C2777530160 @default.
- W2967682787 hasConcept C2778152352 @default.
- W2967682787 hasConcept C33923547 @default.
- W2967682787 hasConcept C39387531 @default.
- W2967682787 hasConcept C41008148 @default.
- W2967682787 hasConcept C527412718 @default.
- W2967682787 hasConcept C77088390 @default.
- W2967682787 hasConcept C86803240 @default.
- W2967682787 hasConceptScore W2967682787C111335779 @default.
- W2967682787 hasConceptScore W2967682787C111472728 @default.
- W2967682787 hasConceptScore W2967682787C134306372 @default.
- W2967682787 hasConceptScore W2967682787C138885662 @default.
- W2967682787 hasConceptScore W2967682787C154945302 @default.
- W2967682787 hasConceptScore W2967682787C177264268 @default.
- W2967682787 hasConceptScore W2967682787C18903297 @default.
- W2967682787 hasConceptScore W2967682787C199360897 @default.
- W2967682787 hasConceptScore W2967682787C202444582 @default.
- W2967682787 hasConceptScore W2967682787C2524010 @default.
- W2967682787 hasConceptScore W2967682787C25343380 @default.
- W2967682787 hasConceptScore W2967682787C2777239683 @default.
- W2967682787 hasConceptScore W2967682787C2777299769 @default.
- W2967682787 hasConceptScore W2967682787C2777530160 @default.
- W2967682787 hasConceptScore W2967682787C2778152352 @default.
- W2967682787 hasConceptScore W2967682787C33923547 @default.
- W2967682787 hasConceptScore W2967682787C39387531 @default.
- W2967682787 hasConceptScore W2967682787C41008148 @default.
- W2967682787 hasConceptScore W2967682787C527412718 @default.
- W2967682787 hasConceptScore W2967682787C77088390 @default.
- W2967682787 hasConceptScore W2967682787C86803240 @default.
- W2967682787 hasIssue "2" @default.
- W2967682787 hasLocation W29676827871 @default.
- W2967682787 hasLocation W29676827872 @default.
- W2967682787 hasLocation W29676827873 @default.
- W2967682787 hasOpenAccess W2967682787 @default.
- W2967682787 hasPrimaryLocation W29676827871 @default.
- W2967682787 hasRelatedWork W1756852158 @default.
- W2967682787 hasRelatedWork W1995210049 @default.
- W2967682787 hasRelatedWork W2020092927 @default.
- W2967682787 hasRelatedWork W2322423074 @default.
- W2967682787 hasRelatedWork W2566728714 @default.
- W2967682787 hasRelatedWork W2750284450 @default.
- W2967682787 hasRelatedWork W3122371259 @default.
- W2967682787 hasRelatedWork W4247547597 @default.
- W2967682787 hasRelatedWork W4283022912 @default.
- W2967682787 hasRelatedWork W4283029737 @default.
- W2967682787 hasVolume "42" @default.
- W2967682787 isParatext "false" @default.
- W2967682787 isRetracted "false" @default.
- W2967682787 magId "2967682787" @default.
- W2967682787 workType "article" @default.