Matches in SemOpenAlex for { <https://semopenalex.org/work/W48228802> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W48228802 abstract "We study the proof theoretic strength of the 1-separation axiom scheme. We show that 1-separation lies strictly in between the 1-comprehension and 1- choice axiom schemes over RCA0. In this paper we analyze the strength of a particular subsystem of second order arithmetic. The topic is closely related to the program of Reverse Mathematics, which is the area of logic that studies the question of which subsystems of second order arithmetic are sucient and necessary to prove theorems in classical mathematics. ((Sim99) is the standard reference for the subject.) A lot of work has been done on this program in the last couple of decades. We study the following natural axiom scheme of second order arithmetic that we call 1 1 -separation:" @default.
- W48228802 created "2016-06-24" @default.
- W48228802 creator A5008155376 @default.
- W48228802 date "2007-01-01" @default.
- W48228802 modified "2023-09-27" @default.
- W48228802 title "ON THE PI-ONE-ONE SEPARATION PRINCIPLE" @default.
- W48228802 cites W1513955923 @default.
- W48228802 cites W1556453281 @default.
- W48228802 cites W1982821787 @default.
- W48228802 cites W2067474877 @default.
- W48228802 cites W2080426944 @default.
- W48228802 cites W2081624356 @default.
- W48228802 cites W2329685449 @default.
- W48228802 cites W2736186402 @default.
- W48228802 hasPublicationYear "2007" @default.
- W48228802 type Work @default.
- W48228802 sameAs 48228802 @default.
- W48228802 citedByCount "0" @default.
- W48228802 crossrefType "journal-article" @default.
- W48228802 hasAuthorship W48228802A5008155376 @default.
- W48228802 hasConcept C105795698 @default.
- W48228802 hasConcept C118615104 @default.
- W48228802 hasConcept C127753061 @default.
- W48228802 hasConcept C134306372 @default.
- W48228802 hasConcept C136119220 @default.
- W48228802 hasConcept C167729594 @default.
- W48228802 hasConcept C184264201 @default.
- W48228802 hasConcept C199343813 @default.
- W48228802 hasConcept C202444582 @default.
- W48228802 hasConcept C2524010 @default.
- W48228802 hasConcept C2776061190 @default.
- W48228802 hasConcept C2777686260 @default.
- W48228802 hasConcept C33923547 @default.
- W48228802 hasConcept C65148605 @default.
- W48228802 hasConcept C71924100 @default.
- W48228802 hasConcept C77618280 @default.
- W48228802 hasConcept C94375191 @default.
- W48228802 hasConcept C97489613 @default.
- W48228802 hasConceptScore W48228802C105795698 @default.
- W48228802 hasConceptScore W48228802C118615104 @default.
- W48228802 hasConceptScore W48228802C127753061 @default.
- W48228802 hasConceptScore W48228802C134306372 @default.
- W48228802 hasConceptScore W48228802C136119220 @default.
- W48228802 hasConceptScore W48228802C167729594 @default.
- W48228802 hasConceptScore W48228802C184264201 @default.
- W48228802 hasConceptScore W48228802C199343813 @default.
- W48228802 hasConceptScore W48228802C202444582 @default.
- W48228802 hasConceptScore W48228802C2524010 @default.
- W48228802 hasConceptScore W48228802C2776061190 @default.
- W48228802 hasConceptScore W48228802C2777686260 @default.
- W48228802 hasConceptScore W48228802C33923547 @default.
- W48228802 hasConceptScore W48228802C65148605 @default.
- W48228802 hasConceptScore W48228802C71924100 @default.
- W48228802 hasConceptScore W48228802C77618280 @default.
- W48228802 hasConceptScore W48228802C94375191 @default.
- W48228802 hasConceptScore W48228802C97489613 @default.
- W48228802 hasLocation W482288021 @default.
- W48228802 hasOpenAccess W48228802 @default.
- W48228802 hasPrimaryLocation W482288021 @default.
- W48228802 hasRelatedWork W1446225236 @default.
- W48228802 hasRelatedWork W1516486485 @default.
- W48228802 hasRelatedWork W1519627853 @default.
- W48228802 hasRelatedWork W1605178040 @default.
- W48228802 hasRelatedWork W1764393916 @default.
- W48228802 hasRelatedWork W1870005713 @default.
- W48228802 hasRelatedWork W1889888010 @default.
- W48228802 hasRelatedWork W1997901456 @default.
- W48228802 hasRelatedWork W2013154396 @default.
- W48228802 hasRelatedWork W2024311864 @default.
- W48228802 hasRelatedWork W2123718183 @default.
- W48228802 hasRelatedWork W2172019237 @default.
- W48228802 hasRelatedWork W2175687065 @default.
- W48228802 hasRelatedWork W2229132677 @default.
- W48228802 hasRelatedWork W2374581741 @default.
- W48228802 hasRelatedWork W2403168421 @default.
- W48228802 hasRelatedWork W2461509449 @default.
- W48228802 hasRelatedWork W2489683794 @default.
- W48228802 hasRelatedWork W3084806275 @default.
- W48228802 hasRelatedWork W56026579 @default.
- W48228802 isParatext "false" @default.
- W48228802 isRetracted "false" @default.
- W48228802 magId "48228802" @default.
- W48228802 workType "article" @default.