Matches in SemOpenAlex for { <https://semopenalex.org/work/W986072349> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W986072349 endingPage "223" @default.
- W986072349 startingPage "201" @default.
- W986072349 abstract "This chapter describes a formal system for intuitionistic analysis and the intuitive justification of this system. The system discussed is called “Choice Sequence” (CS). CS contains numerical variables, two kinds of variables for constructive functions, and variables for choice sequences. The subsystem of CS obtained by restricting the language, axioms, and the rules of CS to expressions not involving variables for choice sequences is called IDK, because the main feature of the subsystem is an inductive definition of a class of constructive functions called K. The formal work on the system CS was started by Kreisel (which was privately circulated only) and was recently improved and rounded off to a certain extent by a joint effort of Kreisel and the author." @default.
- W986072349 created "2016-06-24" @default.
- W986072349 creator A5058660834 @default.
- W986072349 date "1968-01-01" @default.
- W986072349 modified "2023-09-23" @default.
- W986072349 title "The Theory of Choice Sequences" @default.
- W986072349 cites W1220155927 @default.
- W986072349 cites W1966245774 @default.
- W986072349 cites W1977324591 @default.
- W986072349 cites W2027756991 @default.
- W986072349 cites W2132936486 @default.
- W986072349 cites W2320156170 @default.
- W986072349 cites W2335408379 @default.
- W986072349 cites W2487781182 @default.
- W986072349 cites W2747971893 @default.
- W986072349 cites W2977904728 @default.
- W986072349 cites W2104312161 @default.
- W986072349 doi "https://doi.org/10.1016/s0049-237x(08)71196-0" @default.
- W986072349 hasPublicationYear "1968" @default.
- W986072349 type Work @default.
- W986072349 sameAs 986072349 @default.
- W986072349 citedByCount "16" @default.
- W986072349 countsByYear W9860723492016 @default.
- W986072349 countsByYear W9860723492020 @default.
- W986072349 crossrefType "book-chapter" @default.
- W986072349 hasAuthorship W986072349A5058660834 @default.
- W986072349 hasConcept C118615104 @default.
- W986072349 hasConcept C136119220 @default.
- W986072349 hasConcept C138885662 @default.
- W986072349 hasConcept C154945302 @default.
- W986072349 hasConcept C167729594 @default.
- W986072349 hasConcept C199360897 @default.
- W986072349 hasConcept C202444582 @default.
- W986072349 hasConcept C2524010 @default.
- W986072349 hasConcept C2776401178 @default.
- W986072349 hasConcept C2777212361 @default.
- W986072349 hasConcept C2778112365 @default.
- W986072349 hasConcept C2778701210 @default.
- W986072349 hasConcept C33923547 @default.
- W986072349 hasConcept C41008148 @default.
- W986072349 hasConcept C41895202 @default.
- W986072349 hasConcept C54355233 @default.
- W986072349 hasConcept C80444323 @default.
- W986072349 hasConcept C86803240 @default.
- W986072349 hasConcept C98045186 @default.
- W986072349 hasConceptScore W986072349C118615104 @default.
- W986072349 hasConceptScore W986072349C136119220 @default.
- W986072349 hasConceptScore W986072349C138885662 @default.
- W986072349 hasConceptScore W986072349C154945302 @default.
- W986072349 hasConceptScore W986072349C167729594 @default.
- W986072349 hasConceptScore W986072349C199360897 @default.
- W986072349 hasConceptScore W986072349C202444582 @default.
- W986072349 hasConceptScore W986072349C2524010 @default.
- W986072349 hasConceptScore W986072349C2776401178 @default.
- W986072349 hasConceptScore W986072349C2777212361 @default.
- W986072349 hasConceptScore W986072349C2778112365 @default.
- W986072349 hasConceptScore W986072349C2778701210 @default.
- W986072349 hasConceptScore W986072349C33923547 @default.
- W986072349 hasConceptScore W986072349C41008148 @default.
- W986072349 hasConceptScore W986072349C41895202 @default.
- W986072349 hasConceptScore W986072349C54355233 @default.
- W986072349 hasConceptScore W986072349C80444323 @default.
- W986072349 hasConceptScore W986072349C86803240 @default.
- W986072349 hasConceptScore W986072349C98045186 @default.
- W986072349 hasLocation W9860723491 @default.
- W986072349 hasOpenAccess W986072349 @default.
- W986072349 hasPrimaryLocation W9860723491 @default.
- W986072349 hasRelatedWork W1220155927 @default.
- W986072349 hasRelatedWork W1252928236 @default.
- W986072349 hasRelatedWork W138853701 @default.
- W986072349 hasRelatedWork W1513919859 @default.
- W986072349 hasRelatedWork W1577927442 @default.
- W986072349 hasRelatedWork W1589408343 @default.
- W986072349 hasRelatedWork W185600849 @default.
- W986072349 hasRelatedWork W1966245774 @default.
- W986072349 hasRelatedWork W1971434716 @default.
- W986072349 hasRelatedWork W1978256094 @default.
- W986072349 hasRelatedWork W1980847044 @default.
- W986072349 hasRelatedWork W1996516260 @default.
- W986072349 hasRelatedWork W2024276657 @default.
- W986072349 hasRelatedWork W2089960623 @default.
- W986072349 hasRelatedWork W2416636714 @default.
- W986072349 hasRelatedWork W2497338484 @default.
- W986072349 hasRelatedWork W2587147656 @default.
- W986072349 hasRelatedWork W2951626687 @default.
- W986072349 hasRelatedWork W354202743 @default.
- W986072349 hasRelatedWork W2104312161 @default.
- W986072349 isParatext "false" @default.
- W986072349 isRetracted "false" @default.
- W986072349 magId "986072349" @default.
- W986072349 workType "book-chapter" @default.