Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238059114> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4238059114 endingPage "198" @default.
- W4238059114 startingPage "188" @default.
- W4238059114 abstract "Monotone inductive definitions occur frequently throughout mathematical logic. The set of formulas in a given language and the set of consequences of a given axiom system are examples of (monotone) inductively defined sets. The class of Borel subsets of the continuum can be given by a monotone inductive definition. Kleene's inductive definition of recursion in a higher type functional (see [6]) is fundamental to modern recursion theory; we make use of it in §2. Inductive definitions over the natural numbers have been studied extensively, beginning with Spector [11]. We list some of the results of that study in §1 for comparison with our new results on inductive definitions over the continuum. Note that for our purposes the continuum is identified with the Baire space ω ω. It is possible to obtain simple inductive definitions over the continuum by introducing real parameters into inductive definitions over N —as in the definition of recursion in [5]. This is itself an interesting concept and is discussed further in [4]. These parametric inductive definitions, however, are in general weaker than the unrestricted set of inductive definitions, as is indicated below. In this paper we outline, for several classes of monotone inductive definitions over the continuum, solutions to the following characterization problems: (1) What is the class of sets which may be given by such inductive definitions ? (2) What is the class of ordinals which are the lengths of such inductive definitions ? These questions are made more precise below. Most of the results of this paper were announced in [2]." @default.
- W4238059114 created "2022-05-12" @default.
- W4238059114 creator A5057979748 @default.
- W4238059114 date "1976-03-01" @default.
- W4238059114 modified "2023-09-27" @default.
- W4238059114 title "Monotone inductive definitions over the continuum" @default.
- W4238059114 cites W1977654535 @default.
- W4238059114 doi "https://doi.org/10.2307/2272958" @default.
- W4238059114 hasPublicationYear "1976" @default.
- W4238059114 type Work @default.
- W4238059114 citedByCount "5" @default.
- W4238059114 crossrefType "journal-article" @default.
- W4238059114 hasAuthorship W4238059114A5057979748 @default.
- W4238059114 hasConcept C105795698 @default.
- W4238059114 hasConcept C11413529 @default.
- W4238059114 hasConcept C118615104 @default.
- W4238059114 hasConcept C134306372 @default.
- W4238059114 hasConcept C154945302 @default.
- W4238059114 hasConcept C167729594 @default.
- W4238059114 hasConcept C168773036 @default.
- W4238059114 hasConcept C177264268 @default.
- W4238059114 hasConcept C199360897 @default.
- W4238059114 hasConcept C202444582 @default.
- W4238059114 hasConcept C21563000 @default.
- W4238059114 hasConcept C2524010 @default.
- W4238059114 hasConcept C2777212361 @default.
- W4238059114 hasConcept C2834757 @default.
- W4238059114 hasConcept C33923547 @default.
- W4238059114 hasConcept C41008148 @default.
- W4238059114 hasConcept C96488702 @default.
- W4238059114 hasConceptScore W4238059114C105795698 @default.
- W4238059114 hasConceptScore W4238059114C11413529 @default.
- W4238059114 hasConceptScore W4238059114C118615104 @default.
- W4238059114 hasConceptScore W4238059114C134306372 @default.
- W4238059114 hasConceptScore W4238059114C154945302 @default.
- W4238059114 hasConceptScore W4238059114C167729594 @default.
- W4238059114 hasConceptScore W4238059114C168773036 @default.
- W4238059114 hasConceptScore W4238059114C177264268 @default.
- W4238059114 hasConceptScore W4238059114C199360897 @default.
- W4238059114 hasConceptScore W4238059114C202444582 @default.
- W4238059114 hasConceptScore W4238059114C21563000 @default.
- W4238059114 hasConceptScore W4238059114C2524010 @default.
- W4238059114 hasConceptScore W4238059114C2777212361 @default.
- W4238059114 hasConceptScore W4238059114C2834757 @default.
- W4238059114 hasConceptScore W4238059114C33923547 @default.
- W4238059114 hasConceptScore W4238059114C41008148 @default.
- W4238059114 hasConceptScore W4238059114C96488702 @default.
- W4238059114 hasIssue "1" @default.
- W4238059114 hasLocation W42380591141 @default.
- W4238059114 hasOpenAccess W4238059114 @default.
- W4238059114 hasPrimaryLocation W42380591141 @default.
- W4238059114 hasRelatedWork W1573461898 @default.
- W4238059114 hasRelatedWork W1822635159 @default.
- W4238059114 hasRelatedWork W1997766503 @default.
- W4238059114 hasRelatedWork W2007735529 @default.
- W4238059114 hasRelatedWork W2122472424 @default.
- W4238059114 hasRelatedWork W2467005568 @default.
- W4238059114 hasRelatedWork W3122821614 @default.
- W4238059114 hasRelatedWork W4238059114 @default.
- W4238059114 hasRelatedWork W4255384700 @default.
- W4238059114 hasRelatedWork W4320840643 @default.
- W4238059114 hasVolume "41" @default.
- W4238059114 isParatext "false" @default.
- W4238059114 isRetracted "false" @default.
- W4238059114 workType "article" @default.