Matches in SemOpenAlex for { <https://semopenalex.org/work/W2124089925> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2124089925 abstract "These are some minor notes and observations related to a paper by Cholak, Jockusch, and Slaman [3]. In particular, if T1 and T2 are theories in the language of second-order arithmetic and T2 is 1 conservative over T1, it is not necessarily the case that every countable model of T1 is an !-submodel of a countable model of T2; this answers a question posed in [3]. On the other hand, for n 1, every countable !-model of I n (resp. B n+1) is an !-submodel of a countable model of WKL0 + I n (resp. WKL0 + B n+1)." @default.
- W2124089925 created "2016-06-24" @default.
- W2124089925 creator A5003483051 @default.
- W2124089925 date "2002-01-01" @default.
- W2124089925 modified "2023-09-27" @default.
- W2124089925 title "Notes on II-conservativity, w-submodels, and the Collection Schema" @default.
- W2124089925 cites W13300039 @default.
- W2124089925 cites W1556453281 @default.
- W2124089925 cites W1572451808 @default.
- W2124089925 cites W2038447110 @default.
- W2124089925 cites W2102450922 @default.
- W2124089925 cites W2139227798 @default.
- W2124089925 cites W2148962283 @default.
- W2124089925 hasPublicationYear "2002" @default.
- W2124089925 type Work @default.
- W2124089925 sameAs 2124089925 @default.
- W2124089925 citedByCount "0" @default.
- W2124089925 crossrefType "journal-article" @default.
- W2124089925 hasAuthorship W2124089925A5003483051 @default.
- W2124089925 hasConcept C110729354 @default.
- W2124089925 hasConcept C118615104 @default.
- W2124089925 hasConcept C119857082 @default.
- W2124089925 hasConcept C33923547 @default.
- W2124089925 hasConcept C41008148 @default.
- W2124089925 hasConcept C52146309 @default.
- W2124089925 hasConceptScore W2124089925C110729354 @default.
- W2124089925 hasConceptScore W2124089925C118615104 @default.
- W2124089925 hasConceptScore W2124089925C119857082 @default.
- W2124089925 hasConceptScore W2124089925C33923547 @default.
- W2124089925 hasConceptScore W2124089925C41008148 @default.
- W2124089925 hasConceptScore W2124089925C52146309 @default.
- W2124089925 hasLocation W21240899251 @default.
- W2124089925 hasOpenAccess W2124089925 @default.
- W2124089925 hasPrimaryLocation W21240899251 @default.
- W2124089925 hasRelatedWork W1674034315 @default.
- W2124089925 hasRelatedWork W1974868602 @default.
- W2124089925 hasRelatedWork W1982607517 @default.
- W2124089925 hasRelatedWork W1999654795 @default.
- W2124089925 hasRelatedWork W2000335901 @default.
- W2124089925 hasRelatedWork W2005184534 @default.
- W2124089925 hasRelatedWork W2014367173 @default.
- W2124089925 hasRelatedWork W2018051556 @default.
- W2124089925 hasRelatedWork W2069609554 @default.
- W2124089925 hasRelatedWork W2071752345 @default.
- W2124089925 hasRelatedWork W2110075639 @default.
- W2124089925 hasRelatedWork W2120803978 @default.
- W2124089925 hasRelatedWork W2129834404 @default.
- W2124089925 hasRelatedWork W2140984628 @default.
- W2124089925 hasRelatedWork W2160804094 @default.
- W2124089925 hasRelatedWork W2161549472 @default.
- W2124089925 hasRelatedWork W2162295839 @default.
- W2124089925 hasRelatedWork W3137685835 @default.
- W2124089925 hasRelatedWork W3148236663 @default.
- W2124089925 hasRelatedWork W189279264 @default.
- W2124089925 isParatext "false" @default.
- W2124089925 isRetracted "false" @default.
- W2124089925 magId "2124089925" @default.
- W2124089925 workType "article" @default.