Matches in SemOpenAlex for { <https://semopenalex.org/work/W2954990583> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2954990583 abstract "Sacks proved that every admissible countable ordinal is the first admissible ordinal relatively to a real. We give an algorithmic proof of this result for constructibly countable admissibles. Our study is completed by an algorithmic approach to a generalization of Sacks’ theorem due to Jensen, that finds a real relatively to which a countable sequence of admissibles, having a compatible structure, constitutes the sequence of the first admissibles. Our approach deeply involves infinite time Turing machines. We also present different considerations on the constructible ranks of the reals involved in coding ordinals." @default.
- W2954990583 created "2019-07-12" @default.
- W2954990583 creator A5035898774 @default.
- W2954990583 creator A5036088346 @default.
- W2954990583 date "2019-01-01" @default.
- W2954990583 modified "2023-09-27" @default.
- W2954990583 title "An algorithmic approach to characterizations of admissibles" @default.
- W2954990583 cites W1968792152 @default.
- W2954990583 cites W1973995508 @default.
- W2954990583 cites W1986191839 @default.
- W2954990583 cites W1987686945 @default.
- W2954990583 cites W2000335901 @default.
- W2954990583 cites W2029290382 @default.
- W2954990583 cites W2050766716 @default.
- W2954990583 cites W2055039610 @default.
- W2954990583 cites W2060434897 @default.
- W2954990583 cites W2064937274 @default.
- W2954990583 cites W2084042609 @default.
- W2954990583 cites W2085361497 @default.
- W2954990583 cites W2090869850 @default.
- W2954990583 cites W2122092051 @default.
- W2954990583 cites W2130207420 @default.
- W2954990583 cites W2134322756 @default.
- W2954990583 cites W2145743904 @default.
- W2954990583 cites W2571490773 @default.
- W2954990583 cites W2613051759 @default.
- W2954990583 cites W2613561457 @default.
- W2954990583 cites W3051718 @default.
- W2954990583 cites W4213299914 @default.
- W2954990583 cites W4235312496 @default.
- W2954990583 cites W4237564543 @default.
- W2954990583 cites W4247372698 @default.
- W2954990583 cites W4255491203 @default.
- W2954990583 cites W958029651 @default.
- W2954990583 cites W970278832 @default.
- W2954990583 cites W971726242 @default.
- W2954990583 doi "https://doi.org/10.1007/978-3-030-22996-2_16" @default.
- W2954990583 hasPublicationYear "2019" @default.
- W2954990583 type Work @default.
- W2954990583 sameAs 2954990583 @default.
- W2954990583 citedByCount "0" @default.
- W2954990583 crossrefType "book-chapter" @default.
- W2954990583 hasAuthorship W2954990583A5035898774 @default.
- W2954990583 hasAuthorship W2954990583A5036088346 @default.
- W2954990583 hasConcept C110729354 @default.
- W2954990583 hasConcept C114614502 @default.
- W2954990583 hasConcept C118615104 @default.
- W2954990583 hasConcept C134306372 @default.
- W2954990583 hasConcept C177148314 @default.
- W2954990583 hasConcept C2778112365 @default.
- W2954990583 hasConcept C33923547 @default.
- W2954990583 hasConcept C41008148 @default.
- W2954990583 hasConcept C54355233 @default.
- W2954990583 hasConcept C86803240 @default.
- W2954990583 hasConceptScore W2954990583C110729354 @default.
- W2954990583 hasConceptScore W2954990583C114614502 @default.
- W2954990583 hasConceptScore W2954990583C118615104 @default.
- W2954990583 hasConceptScore W2954990583C134306372 @default.
- W2954990583 hasConceptScore W2954990583C177148314 @default.
- W2954990583 hasConceptScore W2954990583C2778112365 @default.
- W2954990583 hasConceptScore W2954990583C33923547 @default.
- W2954990583 hasConceptScore W2954990583C41008148 @default.
- W2954990583 hasConceptScore W2954990583C54355233 @default.
- W2954990583 hasConceptScore W2954990583C86803240 @default.
- W2954990583 hasLocation W29549905831 @default.
- W2954990583 hasOpenAccess W2954990583 @default.
- W2954990583 hasPrimaryLocation W29549905831 @default.
- W2954990583 hasRelatedWork W1490569688 @default.
- W2954990583 hasRelatedWork W1524077760 @default.
- W2954990583 hasRelatedWork W1594572982 @default.
- W2954990583 hasRelatedWork W1606946808 @default.
- W2954990583 hasRelatedWork W2055469518 @default.
- W2954990583 hasRelatedWork W2086359902 @default.
- W2954990583 hasRelatedWork W2507886780 @default.
- W2954990583 hasRelatedWork W2623318328 @default.
- W2954990583 hasRelatedWork W2007750284 @default.
- W2954990583 hasRelatedWork W219106498 @default.
- W2954990583 isParatext "false" @default.
- W2954990583 isRetracted "false" @default.
- W2954990583 magId "2954990583" @default.
- W2954990583 workType "book-chapter" @default.