Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912000131> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2912000131 abstract "We present a construction of a satisfaction class in an arbitrary countable recursively saturated models of first-order arithmetic. Our construction is fully classical, namely, it employs nothing more than the classical techniques of formal proof theory." @default.
- W2912000131 created "2019-02-21" @default.
- W2912000131 creator A5055661598 @default.
- W2912000131 date "2019-01-01" @default.
- W2912000131 modified "2023-09-27" @default.
- W2912000131 title "Satisfaction Classes via Cut Elimination" @default.
- W2912000131 cites W144045069 @default.
- W2912000131 cites W1566741929 @default.
- W2912000131 cites W1581341800 @default.
- W2912000131 cites W1966651244 @default.
- W2912000131 cites W1980789512 @default.
- W2912000131 cites W2002502277 @default.
- W2912000131 cites W2034362265 @default.
- W2912000131 cites W4239779295 @default.
- W2912000131 doi "https://doi.org/10.1007/978-3-662-58771-3_12" @default.
- W2912000131 hasPublicationYear "2019" @default.
- W2912000131 type Work @default.
- W2912000131 sameAs 2912000131 @default.
- W2912000131 citedByCount "1" @default.
- W2912000131 countsByYear W29120001312021 @default.
- W2912000131 crossrefType "book-chapter" @default.
- W2912000131 hasAuthorship W2912000131A5055661598 @default.
- W2912000131 hasConcept C10138342 @default.
- W2912000131 hasConcept C108710211 @default.
- W2912000131 hasConcept C110729354 @default.
- W2912000131 hasConcept C111472728 @default.
- W2912000131 hasConcept C11413529 @default.
- W2912000131 hasConcept C118615104 @default.
- W2912000131 hasConcept C136119220 @default.
- W2912000131 hasConcept C136815107 @default.
- W2912000131 hasConcept C138885662 @default.
- W2912000131 hasConcept C154945302 @default.
- W2912000131 hasConcept C162324750 @default.
- W2912000131 hasConcept C182306322 @default.
- W2912000131 hasConcept C199343813 @default.
- W2912000131 hasConcept C202444582 @default.
- W2912000131 hasConcept C2318724 @default.
- W2912000131 hasConcept C2524010 @default.
- W2912000131 hasConcept C2777212361 @default.
- W2912000131 hasConcept C2777686260 @default.
- W2912000131 hasConcept C33923547 @default.
- W2912000131 hasConcept C41008148 @default.
- W2912000131 hasConcept C71924100 @default.
- W2912000131 hasConcept C80444323 @default.
- W2912000131 hasConcept C94375191 @default.
- W2912000131 hasConceptScore W2912000131C10138342 @default.
- W2912000131 hasConceptScore W2912000131C108710211 @default.
- W2912000131 hasConceptScore W2912000131C110729354 @default.
- W2912000131 hasConceptScore W2912000131C111472728 @default.
- W2912000131 hasConceptScore W2912000131C11413529 @default.
- W2912000131 hasConceptScore W2912000131C118615104 @default.
- W2912000131 hasConceptScore W2912000131C136119220 @default.
- W2912000131 hasConceptScore W2912000131C136815107 @default.
- W2912000131 hasConceptScore W2912000131C138885662 @default.
- W2912000131 hasConceptScore W2912000131C154945302 @default.
- W2912000131 hasConceptScore W2912000131C162324750 @default.
- W2912000131 hasConceptScore W2912000131C182306322 @default.
- W2912000131 hasConceptScore W2912000131C199343813 @default.
- W2912000131 hasConceptScore W2912000131C202444582 @default.
- W2912000131 hasConceptScore W2912000131C2318724 @default.
- W2912000131 hasConceptScore W2912000131C2524010 @default.
- W2912000131 hasConceptScore W2912000131C2777212361 @default.
- W2912000131 hasConceptScore W2912000131C2777686260 @default.
- W2912000131 hasConceptScore W2912000131C33923547 @default.
- W2912000131 hasConceptScore W2912000131C41008148 @default.
- W2912000131 hasConceptScore W2912000131C71924100 @default.
- W2912000131 hasConceptScore W2912000131C80444323 @default.
- W2912000131 hasConceptScore W2912000131C94375191 @default.
- W2912000131 hasLocation W29120001311 @default.
- W2912000131 hasOpenAccess W2912000131 @default.
- W2912000131 hasPrimaryLocation W29120001311 @default.
- W2912000131 hasRelatedWork W1556025627 @default.
- W2912000131 hasRelatedWork W1603301172 @default.
- W2912000131 hasRelatedWork W1668012508 @default.
- W2912000131 hasRelatedWork W1857241714 @default.
- W2912000131 hasRelatedWork W1966414208 @default.
- W2912000131 hasRelatedWork W1976863752 @default.
- W2912000131 hasRelatedWork W1978888415 @default.
- W2912000131 hasRelatedWork W2002502277 @default.
- W2912000131 hasRelatedWork W2034004280 @default.
- W2912000131 hasRelatedWork W2093677637 @default.
- W2912000131 hasRelatedWork W2094961759 @default.
- W2912000131 hasRelatedWork W2121683501 @default.
- W2912000131 hasRelatedWork W2346610011 @default.
- W2912000131 hasRelatedWork W2403171661 @default.
- W2912000131 hasRelatedWork W2460611553 @default.
- W2912000131 hasRelatedWork W2549538997 @default.
- W2912000131 hasRelatedWork W2795238467 @default.
- W2912000131 hasRelatedWork W2963683868 @default.
- W2912000131 hasRelatedWork W2964172190 @default.
- W2912000131 hasRelatedWork W2964259436 @default.
- W2912000131 isParatext "false" @default.
- W2912000131 isRetracted "false" @default.
- W2912000131 magId "2912000131" @default.
- W2912000131 workType "book-chapter" @default.