Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952583353> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2952583353 abstract "Gurevich and Shelah have shown that Peano Arithmetic cannot be interpreted in the monadic second-order theory of short chains (hence, in the monadic second-order theory of the real line). We show here that it is consistent that there is no interpretation even in the monadic second-order theory of all chains." @default.
- W2952583353 created "2019-06-27" @default.
- W2952583353 creator A5024923217 @default.
- W2952583353 creator A5058233899 @default.
- W2952583353 date "1993-08-15" @default.
- W2952583353 modified "2023-09-27" @default.
- W2952583353 title "Peano Arithmetic may not be interpretable in the monadic theory of orders" @default.
- W2952583353 cites W1981741900 @default.
- W2952583353 cites W2062792526 @default.
- W2952583353 cites W2127214181 @default.
- W2952583353 hasPublicationYear "1993" @default.
- W2952583353 type Work @default.
- W2952583353 sameAs 2952583353 @default.
- W2952583353 citedByCount "2" @default.
- W2952583353 crossrefType "posted-content" @default.
- W2952583353 hasAuthorship W2952583353A5024923217 @default.
- W2952583353 hasAuthorship W2952583353A5058233899 @default.
- W2952583353 hasConcept C10138342 @default.
- W2952583353 hasConcept C102993220 @default.
- W2952583353 hasConcept C118615104 @default.
- W2952583353 hasConcept C124656256 @default.
- W2952583353 hasConcept C134306372 @default.
- W2952583353 hasConcept C136119220 @default.
- W2952583353 hasConcept C154945302 @default.
- W2952583353 hasConcept C162324750 @default.
- W2952583353 hasConcept C169896238 @default.
- W2952583353 hasConcept C182306322 @default.
- W2952583353 hasConcept C199360897 @default.
- W2952583353 hasConcept C202444582 @default.
- W2952583353 hasConcept C33135215 @default.
- W2952583353 hasConcept C33923547 @default.
- W2952583353 hasConcept C41008148 @default.
- W2952583353 hasConcept C527412718 @default.
- W2952583353 hasConcept C65148605 @default.
- W2952583353 hasConcept C97489613 @default.
- W2952583353 hasConceptScore W2952583353C10138342 @default.
- W2952583353 hasConceptScore W2952583353C102993220 @default.
- W2952583353 hasConceptScore W2952583353C118615104 @default.
- W2952583353 hasConceptScore W2952583353C124656256 @default.
- W2952583353 hasConceptScore W2952583353C134306372 @default.
- W2952583353 hasConceptScore W2952583353C136119220 @default.
- W2952583353 hasConceptScore W2952583353C154945302 @default.
- W2952583353 hasConceptScore W2952583353C162324750 @default.
- W2952583353 hasConceptScore W2952583353C169896238 @default.
- W2952583353 hasConceptScore W2952583353C182306322 @default.
- W2952583353 hasConceptScore W2952583353C199360897 @default.
- W2952583353 hasConceptScore W2952583353C202444582 @default.
- W2952583353 hasConceptScore W2952583353C33135215 @default.
- W2952583353 hasConceptScore W2952583353C33923547 @default.
- W2952583353 hasConceptScore W2952583353C41008148 @default.
- W2952583353 hasConceptScore W2952583353C527412718 @default.
- W2952583353 hasConceptScore W2952583353C65148605 @default.
- W2952583353 hasConceptScore W2952583353C97489613 @default.
- W2952583353 hasLocation W29525833531 @default.
- W2952583353 hasOpenAccess W2952583353 @default.
- W2952583353 hasPrimaryLocation W29525833531 @default.
- W2952583353 hasRelatedWork W1049919373 @default.
- W2952583353 hasRelatedWork W1496394707 @default.
- W2952583353 hasRelatedWork W1510368107 @default.
- W2952583353 hasRelatedWork W1530541530 @default.
- W2952583353 hasRelatedWork W1536829117 @default.
- W2952583353 hasRelatedWork W1888128996 @default.
- W2952583353 hasRelatedWork W1902289782 @default.
- W2952583353 hasRelatedWork W2062403215 @default.
- W2952583353 hasRelatedWork W2062792526 @default.
- W2952583353 hasRelatedWork W2094354112 @default.
- W2952583353 hasRelatedWork W2106500118 @default.
- W2952583353 hasRelatedWork W2109525690 @default.
- W2952583353 hasRelatedWork W2122146934 @default.
- W2952583353 hasRelatedWork W2149818057 @default.
- W2952583353 hasRelatedWork W2156066381 @default.
- W2952583353 hasRelatedWork W2337076876 @default.
- W2952583353 hasRelatedWork W2781524456 @default.
- W2952583353 hasRelatedWork W3018757538 @default.
- W2952583353 hasRelatedWork W302185782 @default.
- W2952583353 hasRelatedWork W3038336498 @default.
- W2952583353 isParatext "false" @default.
- W2952583353 isRetracted "false" @default.
- W2952583353 magId "2952583353" @default.
- W2952583353 workType "article" @default.