Matches in SemOpenAlex for { <https://semopenalex.org/work/W1576539916> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1576539916 endingPage "92" @default.
- W1576539916 startingPage "39" @default.
- W1576539916 abstract "This paper deals with a proof theory for a theory T 3 of Π 3 -reflecting ordinals using the system O ( Π 3 ) of ordinal diagrams in Arai (J. Symbolic Logic 65 (2000) 1375). This is a sequel to the previous one (Ann. Pure Appl. Logic 122 (2003) 1) in which a theory for recursively Mahlo ordinals is analyzed proof-theoretically." @default.
- W1576539916 created "2016-06-24" @default.
- W1576539916 creator A5079419222 @default.
- W1576539916 date "2004-10-01" @default.
- W1576539916 modified "2023-10-16" @default.
- W1576539916 title "Proof theory for theories of ordinals II: Π3-reflection" @default.
- W1576539916 cites W1604936433 @default.
- W1576539916 cites W1985231476 @default.
- W1576539916 cites W2033008594 @default.
- W1576539916 cites W2093232417 @default.
- W1576539916 doi "https://doi.org/10.1016/j.apal.2004.01.001" @default.
- W1576539916 hasPublicationYear "2004" @default.
- W1576539916 type Work @default.
- W1576539916 sameAs 1576539916 @default.
- W1576539916 citedByCount "29" @default.
- W1576539916 countsByYear W15765399162012 @default.
- W1576539916 countsByYear W15765399162013 @default.
- W1576539916 countsByYear W15765399162014 @default.
- W1576539916 countsByYear W15765399162015 @default.
- W1576539916 countsByYear W15765399162016 @default.
- W1576539916 countsByYear W15765399162017 @default.
- W1576539916 countsByYear W15765399162021 @default.
- W1576539916 countsByYear W15765399162022 @default.
- W1576539916 crossrefType "journal-article" @default.
- W1576539916 hasAuthorship W1576539916A5079419222 @default.
- W1576539916 hasBestOaLocation W15765399161 @default.
- W1576539916 hasConcept C108710211 @default.
- W1576539916 hasConcept C11413529 @default.
- W1576539916 hasConcept C118615104 @default.
- W1576539916 hasConcept C135754263 @default.
- W1576539916 hasConcept C136119220 @default.
- W1576539916 hasConcept C195653647 @default.
- W1576539916 hasConcept C199343813 @default.
- W1576539916 hasConcept C199360897 @default.
- W1576539916 hasConcept C202444582 @default.
- W1576539916 hasConcept C2318724 @default.
- W1576539916 hasConcept C2524010 @default.
- W1576539916 hasConcept C2777686260 @default.
- W1576539916 hasConcept C33923547 @default.
- W1576539916 hasConcept C41008148 @default.
- W1576539916 hasConcept C47030870 @default.
- W1576539916 hasConcept C47884741 @default.
- W1576539916 hasConcept C65682993 @default.
- W1576539916 hasConcept C71924100 @default.
- W1576539916 hasConceptScore W1576539916C108710211 @default.
- W1576539916 hasConceptScore W1576539916C11413529 @default.
- W1576539916 hasConceptScore W1576539916C118615104 @default.
- W1576539916 hasConceptScore W1576539916C135754263 @default.
- W1576539916 hasConceptScore W1576539916C136119220 @default.
- W1576539916 hasConceptScore W1576539916C195653647 @default.
- W1576539916 hasConceptScore W1576539916C199343813 @default.
- W1576539916 hasConceptScore W1576539916C199360897 @default.
- W1576539916 hasConceptScore W1576539916C202444582 @default.
- W1576539916 hasConceptScore W1576539916C2318724 @default.
- W1576539916 hasConceptScore W1576539916C2524010 @default.
- W1576539916 hasConceptScore W1576539916C2777686260 @default.
- W1576539916 hasConceptScore W1576539916C33923547 @default.
- W1576539916 hasConceptScore W1576539916C41008148 @default.
- W1576539916 hasConceptScore W1576539916C47030870 @default.
- W1576539916 hasConceptScore W1576539916C47884741 @default.
- W1576539916 hasConceptScore W1576539916C65682993 @default.
- W1576539916 hasConceptScore W1576539916C71924100 @default.
- W1576539916 hasIssue "1-3" @default.
- W1576539916 hasLocation W15765399161 @default.
- W1576539916 hasOpenAccess W1576539916 @default.
- W1576539916 hasPrimaryLocation W15765399161 @default.
- W1576539916 hasRelatedWork W1490847896 @default.
- W1576539916 hasRelatedWork W1492332250 @default.
- W1576539916 hasRelatedWork W2025600695 @default.
- W1576539916 hasRelatedWork W2068595239 @default.
- W1576539916 hasRelatedWork W2139455935 @default.
- W1576539916 hasRelatedWork W2218619901 @default.
- W1576539916 hasRelatedWork W2461509449 @default.
- W1576539916 hasRelatedWork W2963580724 @default.
- W1576539916 hasRelatedWork W189467078 @default.
- W1576539916 hasRelatedWork W2119682046 @default.
- W1576539916 hasVolume "129" @default.
- W1576539916 isParatext "false" @default.
- W1576539916 isRetracted "false" @default.
- W1576539916 magId "1576539916" @default.
- W1576539916 workType "article" @default.