Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017481539> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2017481539 abstract "Axioms in set theory typically have the form $forall z exists yforall x(x in y leftrightarrow F x z )$, where $F$ is a relation which links $x$ with $z$ in some way. In this paper we introduce a particular linkage relation $L$ and a single axiom based on $L$ from which all the axioms of $mathrm{Z}$ (Zermelo set theory) can be derived as theorems. The single axiom is presented both in informal and formal versions. This calls for some discussion of pertinent features of formal and informal axiomatic method and some discussion of pertinent features of the system $mathrm{S}$ of set theory to be erected on the single axiom. $mathrm{S}$ is shown to be somewhat stronger than $mathrm{Z}$, but much weaker than $mathrm{ZF}$ (Zermelo-Fraenkel set theory)." @default.
- W2017481539 created "2016-06-24" @default.
- W2017481539 creator A5050812623 @default.
- W2017481539 date "2000-04-01" @default.
- W2017481539 modified "2023-09-27" @default.
- W2017481539 title "A Single Axiom for Set Theory" @default.
- W2017481539 cites W2198388243 @default.
- W2017481539 cites W333470958 @default.
- W2017481539 cites W4252288159 @default.
- W2017481539 doi "https://doi.org/10.1305/ndjfl/1038234609" @default.
- W2017481539 hasPublicationYear "2000" @default.
- W2017481539 type Work @default.
- W2017481539 sameAs 2017481539 @default.
- W2017481539 citedByCount "2" @default.
- W2017481539 countsByYear W20174815392014 @default.
- W2017481539 countsByYear W20174815392018 @default.
- W2017481539 crossrefType "journal-article" @default.
- W2017481539 hasAuthorship W2017481539A5050812623 @default.
- W2017481539 hasBestOaLocation W20174815391 @default.
- W2017481539 hasConcept C118615104 @default.
- W2017481539 hasConcept C124101348 @default.
- W2017481539 hasConcept C151797676 @default.
- W2017481539 hasConcept C153046414 @default.
- W2017481539 hasConcept C167729594 @default.
- W2017481539 hasConcept C177264268 @default.
- W2017481539 hasConcept C199360897 @default.
- W2017481539 hasConcept C2524010 @default.
- W2017481539 hasConcept C25343380 @default.
- W2017481539 hasConcept C33923547 @default.
- W2017481539 hasConcept C41008148 @default.
- W2017481539 hasConcept C51460 @default.
- W2017481539 hasConcept C556429856 @default.
- W2017481539 hasConcept C78550038 @default.
- W2017481539 hasConceptScore W2017481539C118615104 @default.
- W2017481539 hasConceptScore W2017481539C124101348 @default.
- W2017481539 hasConceptScore W2017481539C151797676 @default.
- W2017481539 hasConceptScore W2017481539C153046414 @default.
- W2017481539 hasConceptScore W2017481539C167729594 @default.
- W2017481539 hasConceptScore W2017481539C177264268 @default.
- W2017481539 hasConceptScore W2017481539C199360897 @default.
- W2017481539 hasConceptScore W2017481539C2524010 @default.
- W2017481539 hasConceptScore W2017481539C25343380 @default.
- W2017481539 hasConceptScore W2017481539C33923547 @default.
- W2017481539 hasConceptScore W2017481539C41008148 @default.
- W2017481539 hasConceptScore W2017481539C51460 @default.
- W2017481539 hasConceptScore W2017481539C556429856 @default.
- W2017481539 hasConceptScore W2017481539C78550038 @default.
- W2017481539 hasIssue "2" @default.
- W2017481539 hasLocation W20174815391 @default.
- W2017481539 hasOpenAccess W2017481539 @default.
- W2017481539 hasPrimaryLocation W20174815391 @default.
- W2017481539 hasRelatedWork W102859336 @default.
- W2017481539 hasRelatedWork W1977107423 @default.
- W2017481539 hasRelatedWork W1993159501 @default.
- W2017481539 hasRelatedWork W2016661762 @default.
- W2017481539 hasRelatedWork W2114683125 @default.
- W2017481539 hasRelatedWork W2350176099 @default.
- W2017481539 hasRelatedWork W2370299878 @default.
- W2017481539 hasRelatedWork W3049692502 @default.
- W2017481539 hasRelatedWork W423103167 @default.
- W2017481539 hasRelatedWork W4252275301 @default.
- W2017481539 hasVolume "41" @default.
- W2017481539 isParatext "false" @default.
- W2017481539 isRetracted "false" @default.
- W2017481539 magId "2017481539" @default.
- W2017481539 workType "article" @default.