Matches in SemOpenAlex for { <https://semopenalex.org/work/W4205373669> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W4205373669 endingPage "41" @default.
- W4205373669 startingPage "34" @default.
- W4205373669 abstract "Publisher SummaryThis chapter introduces the notion of an admissible set. By a formula of set theory, we shall mean a formula in the first order logic with identity and the binary relation symbol ɛ. A Σ-formula is a formula of set theory built up from atomic formulas and their negations using the above four operations, and (∃x). The next smallest admissible set is the set L(α) of all sets constructible before the first non-recursive ordinal α. The set R(w) is the smallest admissible set. The negation of a Σ -formula is logically equivalent to a π-formula. The negation of a π -formula is logically equivalent to a Σ-formula." @default.
- W4205373669 created "2022-01-25" @default.
- W4205373669 date "1971-01-01" @default.
- W4205373669 modified "2023-09-23" @default.
- W4205373669 title "8 Admissible sets" @default.
- W4205373669 doi "https://doi.org/10.1016/s0049-237x(08)70688-8" @default.
- W4205373669 hasPublicationYear "1971" @default.
- W4205373669 type Work @default.
- W4205373669 citedByCount "0" @default.
- W4205373669 crossrefType "book-chapter" @default.
- W4205373669 hasConcept C118615104 @default.
- W4205373669 hasConcept C121332964 @default.
- W4205373669 hasConcept C134400042 @default.
- W4205373669 hasConcept C136119220 @default.
- W4205373669 hasConcept C177264268 @default.
- W4205373669 hasConcept C185529760 @default.
- W4205373669 hasConcept C199360897 @default.
- W4205373669 hasConcept C202444582 @default.
- W4205373669 hasConcept C2185349 @default.
- W4205373669 hasConcept C24890656 @default.
- W4205373669 hasConcept C2778355321 @default.
- W4205373669 hasConcept C33923547 @default.
- W4205373669 hasConcept C41008148 @default.
- W4205373669 hasConcept C65180967 @default.
- W4205373669 hasConceptScore W4205373669C118615104 @default.
- W4205373669 hasConceptScore W4205373669C121332964 @default.
- W4205373669 hasConceptScore W4205373669C134400042 @default.
- W4205373669 hasConceptScore W4205373669C136119220 @default.
- W4205373669 hasConceptScore W4205373669C177264268 @default.
- W4205373669 hasConceptScore W4205373669C185529760 @default.
- W4205373669 hasConceptScore W4205373669C199360897 @default.
- W4205373669 hasConceptScore W4205373669C202444582 @default.
- W4205373669 hasConceptScore W4205373669C2185349 @default.
- W4205373669 hasConceptScore W4205373669C24890656 @default.
- W4205373669 hasConceptScore W4205373669C2778355321 @default.
- W4205373669 hasConceptScore W4205373669C33923547 @default.
- W4205373669 hasConceptScore W4205373669C41008148 @default.
- W4205373669 hasConceptScore W4205373669C65180967 @default.
- W4205373669 hasLocation W42053736691 @default.
- W4205373669 hasOpenAccess W4205373669 @default.
- W4205373669 hasPrimaryLocation W42053736691 @default.
- W4205373669 hasRelatedWork W1551292822 @default.
- W4205373669 hasRelatedWork W2020480168 @default.
- W4205373669 hasRelatedWork W2022128273 @default.
- W4205373669 hasRelatedWork W2037211046 @default.
- W4205373669 hasRelatedWork W2045088928 @default.
- W4205373669 hasRelatedWork W2053187230 @default.
- W4205373669 hasRelatedWork W2053551520 @default.
- W4205373669 hasRelatedWork W4293082126 @default.
- W4205373669 hasRelatedWork W4297797069 @default.
- W4205373669 hasRelatedWork W63408870 @default.
- W4205373669 isParatext "false" @default.
- W4205373669 isRetracted "false" @default.
- W4205373669 workType "book-chapter" @default.