Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100428008> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3100428008 endingPage "212" @default.
- W3100428008 startingPage "208" @default.
- W3100428008 abstract "We show that if (M,E,E') satisfies the first order Zermelo-Fraenkel axioms of set theory when the membership relation is E and also when the membership relation is E', and in both cases the formulas are allowed to contain both E and E', then (M,E) and (M,E') are isomorphic, and the isomorphism is definable in (M,E,E'). This extends Zermelo's 1930 theorem about second order ZFC." @default.
- W3100428008 created "2020-11-23" @default.
- W3100428008 creator A5067128079 @default.
- W3100428008 date "2019-03-06" @default.
- W3100428008 modified "2023-09-24" @default.
- W3100428008 title "AN EXTENSION OF A THEOREM OF ZERMELO" @default.
- W3100428008 cites W943508897 @default.
- W3100428008 doi "https://doi.org/10.1017/bsl.2019.15" @default.
- W3100428008 hasPublicationYear "2019" @default.
- W3100428008 type Work @default.
- W3100428008 sameAs 3100428008 @default.
- W3100428008 citedByCount "5" @default.
- W3100428008 countsByYear W31004280082020 @default.
- W3100428008 countsByYear W31004280082021 @default.
- W3100428008 crossrefType "journal-article" @default.
- W3100428008 hasAuthorship W3100428008A5067128079 @default.
- W3100428008 hasBestOaLocation W31004280082 @default.
- W3100428008 hasConcept C10138342 @default.
- W3100428008 hasConcept C114614502 @default.
- W3100428008 hasConcept C115624301 @default.
- W3100428008 hasConcept C118615104 @default.
- W3100428008 hasConcept C151797676 @default.
- W3100428008 hasConcept C153046414 @default.
- W3100428008 hasConcept C162324750 @default.
- W3100428008 hasConcept C167729594 @default.
- W3100428008 hasConcept C177264268 @default.
- W3100428008 hasConcept C182306322 @default.
- W3100428008 hasConcept C185592680 @default.
- W3100428008 hasConcept C199360897 @default.
- W3100428008 hasConcept C202444582 @default.
- W3100428008 hasConcept C203436722 @default.
- W3100428008 hasConcept C2524010 @default.
- W3100428008 hasConcept C25343380 @default.
- W3100428008 hasConcept C2778029271 @default.
- W3100428008 hasConcept C33923547 @default.
- W3100428008 hasConcept C41008148 @default.
- W3100428008 hasConcept C77088390 @default.
- W3100428008 hasConcept C8010536 @default.
- W3100428008 hasConceptScore W3100428008C10138342 @default.
- W3100428008 hasConceptScore W3100428008C114614502 @default.
- W3100428008 hasConceptScore W3100428008C115624301 @default.
- W3100428008 hasConceptScore W3100428008C118615104 @default.
- W3100428008 hasConceptScore W3100428008C151797676 @default.
- W3100428008 hasConceptScore W3100428008C153046414 @default.
- W3100428008 hasConceptScore W3100428008C162324750 @default.
- W3100428008 hasConceptScore W3100428008C167729594 @default.
- W3100428008 hasConceptScore W3100428008C177264268 @default.
- W3100428008 hasConceptScore W3100428008C182306322 @default.
- W3100428008 hasConceptScore W3100428008C185592680 @default.
- W3100428008 hasConceptScore W3100428008C199360897 @default.
- W3100428008 hasConceptScore W3100428008C202444582 @default.
- W3100428008 hasConceptScore W3100428008C203436722 @default.
- W3100428008 hasConceptScore W3100428008C2524010 @default.
- W3100428008 hasConceptScore W3100428008C25343380 @default.
- W3100428008 hasConceptScore W3100428008C2778029271 @default.
- W3100428008 hasConceptScore W3100428008C33923547 @default.
- W3100428008 hasConceptScore W3100428008C41008148 @default.
- W3100428008 hasConceptScore W3100428008C77088390 @default.
- W3100428008 hasConceptScore W3100428008C8010536 @default.
- W3100428008 hasIssue "2" @default.
- W3100428008 hasLocation W31004280081 @default.
- W3100428008 hasLocation W31004280082 @default.
- W3100428008 hasLocation W31004280083 @default.
- W3100428008 hasLocation W31004280084 @default.
- W3100428008 hasOpenAccess W3100428008 @default.
- W3100428008 hasPrimaryLocation W31004280081 @default.
- W3100428008 hasRelatedWork W102647493 @default.
- W3100428008 hasRelatedWork W141387592 @default.
- W3100428008 hasRelatedWork W1972112806 @default.
- W3100428008 hasRelatedWork W1979597349 @default.
- W3100428008 hasRelatedWork W2017481539 @default.
- W3100428008 hasRelatedWork W2100578503 @default.
- W3100428008 hasRelatedWork W2157276982 @default.
- W3100428008 hasRelatedWork W2167154330 @default.
- W3100428008 hasRelatedWork W3185555210 @default.
- W3100428008 hasRelatedWork W3215056321 @default.
- W3100428008 hasVolume "25" @default.
- W3100428008 isParatext "false" @default.
- W3100428008 isRetracted "false" @default.
- W3100428008 magId "3100428008" @default.
- W3100428008 workType "article" @default.