Matches in SemOpenAlex for { <https://semopenalex.org/work/W2211239308> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2211239308 endingPage "220" @default.
- W2211239308 startingPage "207" @default.
- W2211239308 abstract "This chapter discusses inductive definitions and their closure ordinals. The ω denote the set of nonnegative integers which coincide with the ordinals less than ω. If ωω is the set of all functions of one number variable then subsets of the product space are called “pointsets.” The chapter provides an overview of the axiom of Dependent Choices that implies the axiom of Countable Choices (CC). The axiom of CC has to be used in order to prove that the axiom of Determinacy (AD) also implies CC. A point class is a class of pointsets, not necessarily all in the same product space. If a point class is a class of pointsets. The ordinal λ is a transit ordinal for point class iff there exists an A ⊆ ω." @default.
- W2211239308 created "2016-06-24" @default.
- W2211239308 creator A5032562524 @default.
- W2211239308 date "1974-01-01" @default.
- W2211239308 modified "2023-10-13" @default.
- W2211239308 title "Inductive Definitions and Their Closure Ordinals" @default.
- W2211239308 cites W1004699284 @default.
- W2211239308 cites W1979996376 @default.
- W2211239308 cites W1985995199 @default.
- W2211239308 cites W2038573095 @default.
- W2211239308 cites W883393071 @default.
- W2211239308 doi "https://doi.org/10.1016/s0049-237x(08)70589-5" @default.
- W2211239308 hasPublicationYear "1974" @default.
- W2211239308 type Work @default.
- W2211239308 sameAs 2211239308 @default.
- W2211239308 citedByCount "10" @default.
- W2211239308 countsByYear W22112393082016 @default.
- W2211239308 countsByYear W22112393082020 @default.
- W2211239308 countsByYear W22112393082021 @default.
- W2211239308 crossrefType "book-chapter" @default.
- W2211239308 hasAuthorship W2211239308A5032562524 @default.
- W2211239308 hasConcept C110729354 @default.
- W2211239308 hasConcept C111919701 @default.
- W2211239308 hasConcept C114614502 @default.
- W2211239308 hasConcept C118615104 @default.
- W2211239308 hasConcept C123222754 @default.
- W2211239308 hasConcept C134306372 @default.
- W2211239308 hasConcept C146834321 @default.
- W2211239308 hasConcept C151797676 @default.
- W2211239308 hasConcept C153046414 @default.
- W2211239308 hasConcept C154945302 @default.
- W2211239308 hasConcept C162324750 @default.
- W2211239308 hasConcept C167729594 @default.
- W2211239308 hasConcept C170088968 @default.
- W2211239308 hasConcept C177264268 @default.
- W2211239308 hasConcept C199360897 @default.
- W2211239308 hasConcept C2524010 @default.
- W2211239308 hasConcept C2777212361 @default.
- W2211239308 hasConcept C2778572836 @default.
- W2211239308 hasConcept C28719098 @default.
- W2211239308 hasConcept C33923547 @default.
- W2211239308 hasConcept C34447519 @default.
- W2211239308 hasConcept C41008148 @default.
- W2211239308 hasConcept C51460 @default.
- W2211239308 hasConcept C58468513 @default.
- W2211239308 hasConcept C65236422 @default.
- W2211239308 hasConcept C78550038 @default.
- W2211239308 hasConcept C90673727 @default.
- W2211239308 hasConceptScore W2211239308C110729354 @default.
- W2211239308 hasConceptScore W2211239308C111919701 @default.
- W2211239308 hasConceptScore W2211239308C114614502 @default.
- W2211239308 hasConceptScore W2211239308C118615104 @default.
- W2211239308 hasConceptScore W2211239308C123222754 @default.
- W2211239308 hasConceptScore W2211239308C134306372 @default.
- W2211239308 hasConceptScore W2211239308C146834321 @default.
- W2211239308 hasConceptScore W2211239308C151797676 @default.
- W2211239308 hasConceptScore W2211239308C153046414 @default.
- W2211239308 hasConceptScore W2211239308C154945302 @default.
- W2211239308 hasConceptScore W2211239308C162324750 @default.
- W2211239308 hasConceptScore W2211239308C167729594 @default.
- W2211239308 hasConceptScore W2211239308C170088968 @default.
- W2211239308 hasConceptScore W2211239308C177264268 @default.
- W2211239308 hasConceptScore W2211239308C199360897 @default.
- W2211239308 hasConceptScore W2211239308C2524010 @default.
- W2211239308 hasConceptScore W2211239308C2777212361 @default.
- W2211239308 hasConceptScore W2211239308C2778572836 @default.
- W2211239308 hasConceptScore W2211239308C28719098 @default.
- W2211239308 hasConceptScore W2211239308C33923547 @default.
- W2211239308 hasConceptScore W2211239308C34447519 @default.
- W2211239308 hasConceptScore W2211239308C41008148 @default.
- W2211239308 hasConceptScore W2211239308C51460 @default.
- W2211239308 hasConceptScore W2211239308C58468513 @default.
- W2211239308 hasConceptScore W2211239308C65236422 @default.
- W2211239308 hasConceptScore W2211239308C78550038 @default.
- W2211239308 hasConceptScore W2211239308C90673727 @default.
- W2211239308 hasLocation W22112393081 @default.
- W2211239308 hasOpenAccess W2211239308 @default.
- W2211239308 hasPrimaryLocation W22112393081 @default.
- W2211239308 hasRelatedWork W1504849543 @default.
- W2211239308 hasRelatedWork W1995120876 @default.
- W2211239308 hasRelatedWork W2350176099 @default.
- W2211239308 hasRelatedWork W2504558966 @default.
- W2211239308 hasRelatedWork W2792089084 @default.
- W2211239308 hasRelatedWork W2796622564 @default.
- W2211239308 hasRelatedWork W288388583 @default.
- W2211239308 hasRelatedWork W4285176438 @default.
- W2211239308 hasRelatedWork W4297873378 @default.
- W2211239308 hasRelatedWork W4226226997 @default.
- W2211239308 isParatext "false" @default.
- W2211239308 isRetracted "false" @default.
- W2211239308 magId "2211239308" @default.
- W2211239308 workType "book-chapter" @default.