Matches in SemOpenAlex for { <https://semopenalex.org/work/W1586572048> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1586572048 abstract "It is well-known that IΣ1 is ΙΙ2-conservative over PRA. This factis often referred to as Parsons’ theorem. In this paper we provide twoproofs of the theorem. One is proof-theoretic and easily formalizable.The other proof is model-theoretic. The main ingredient of the secondproof is a characterization of IΣ1 in terms of provable closure underthe iteration operation on functions." @default.
- W1586572048 created "2016-06-24" @default.
- W1586572048 creator A5086500294 @default.
- W1586572048 date "2002-11-01" @default.
- W1586572048 modified "2023-09-26" @default.
- W1586572048 title "Two proofs of Parsons' Theorem" @default.
- W1586572048 cites W1493890316 @default.
- W1586572048 cites W1556453281 @default.
- W1586572048 cites W1572451808 @default.
- W1586572048 cites W1601654835 @default.
- W1586572048 cites W1975810242 @default.
- W1586572048 cites W1989844562 @default.
- W1586572048 cites W2014082347 @default.
- W1586572048 cites W2070938200 @default.
- W1586572048 cites W2074448200 @default.
- W1586572048 cites W2076792546 @default.
- W1586572048 cites W2094244132 @default.
- W1586572048 cites W2105505307 @default.
- W1586572048 cites W2128026324 @default.
- W1586572048 cites W3039529476 @default.
- W1586572048 cites W9698083 @default.
- W1586572048 hasPublicationYear "2002" @default.
- W1586572048 type Work @default.
- W1586572048 sameAs 1586572048 @default.
- W1586572048 citedByCount "0" @default.
- W1586572048 crossrefType "journal-article" @default.
- W1586572048 hasAuthorship W1586572048A5086500294 @default.
- W1586572048 hasConcept C108710211 @default.
- W1586572048 hasConcept C118615104 @default.
- W1586572048 hasConcept C135754263 @default.
- W1586572048 hasConcept C136119220 @default.
- W1586572048 hasConcept C146834321 @default.
- W1586572048 hasConcept C171250308 @default.
- W1586572048 hasConcept C171636804 @default.
- W1586572048 hasConcept C17566778 @default.
- W1586572048 hasConcept C17744445 @default.
- W1586572048 hasConcept C192562407 @default.
- W1586572048 hasConcept C194886279 @default.
- W1586572048 hasConcept C199343813 @default.
- W1586572048 hasConcept C199539241 @default.
- W1586572048 hasConcept C202444582 @default.
- W1586572048 hasConcept C2524010 @default.
- W1586572048 hasConcept C2777686260 @default.
- W1586572048 hasConcept C2780841128 @default.
- W1586572048 hasConcept C33923547 @default.
- W1586572048 hasConcept C45962547 @default.
- W1586572048 hasConcept C71924100 @default.
- W1586572048 hasConceptScore W1586572048C108710211 @default.
- W1586572048 hasConceptScore W1586572048C118615104 @default.
- W1586572048 hasConceptScore W1586572048C135754263 @default.
- W1586572048 hasConceptScore W1586572048C136119220 @default.
- W1586572048 hasConceptScore W1586572048C146834321 @default.
- W1586572048 hasConceptScore W1586572048C171250308 @default.
- W1586572048 hasConceptScore W1586572048C171636804 @default.
- W1586572048 hasConceptScore W1586572048C17566778 @default.
- W1586572048 hasConceptScore W1586572048C17744445 @default.
- W1586572048 hasConceptScore W1586572048C192562407 @default.
- W1586572048 hasConceptScore W1586572048C194886279 @default.
- W1586572048 hasConceptScore W1586572048C199343813 @default.
- W1586572048 hasConceptScore W1586572048C199539241 @default.
- W1586572048 hasConceptScore W1586572048C202444582 @default.
- W1586572048 hasConceptScore W1586572048C2524010 @default.
- W1586572048 hasConceptScore W1586572048C2777686260 @default.
- W1586572048 hasConceptScore W1586572048C2780841128 @default.
- W1586572048 hasConceptScore W1586572048C33923547 @default.
- W1586572048 hasConceptScore W1586572048C45962547 @default.
- W1586572048 hasConceptScore W1586572048C71924100 @default.
- W1586572048 hasLocation W15865720481 @default.
- W1586572048 hasOpenAccess W1586572048 @default.
- W1586572048 hasPrimaryLocation W15865720481 @default.
- W1586572048 hasRelatedWork W1582485900 @default.
- W1586572048 hasRelatedWork W1600661924 @default.
- W1586572048 hasRelatedWork W1619982369 @default.
- W1586572048 hasRelatedWork W2010055185 @default.
- W1586572048 hasRelatedWork W2069207426 @default.
- W1586572048 hasRelatedWork W2112754349 @default.
- W1586572048 hasRelatedWork W2124788466 @default.
- W1586572048 hasRelatedWork W2218619901 @default.
- W1586572048 hasRelatedWork W2277411487 @default.
- W1586572048 hasRelatedWork W2461509449 @default.
- W1586572048 hasRelatedWork W2471400301 @default.
- W1586572048 hasRelatedWork W2744665143 @default.
- W1586572048 hasRelatedWork W2889144857 @default.
- W1586572048 hasRelatedWork W2899382568 @default.
- W1586572048 hasRelatedWork W2920875117 @default.
- W1586572048 hasRelatedWork W2955479224 @default.
- W1586572048 hasRelatedWork W2963109403 @default.
- W1586572048 hasRelatedWork W2968442564 @default.
- W1586572048 hasRelatedWork W2981852497 @default.
- W1586572048 hasRelatedWork W3046630346 @default.
- W1586572048 hasVolume "217" @default.
- W1586572048 isParatext "false" @default.
- W1586572048 isRetracted "false" @default.
- W1586572048 magId "1586572048" @default.
- W1586572048 workType "article" @default.