FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4280536433> ?p ?o ?g. }

• W4280536433 endingPage "779" @default.
• W4280536433 startingPage "738" @default.
• W4280536433 abstract "Abstract The current paper studies the formal properties of the Global Reflection Principle, to wit the assertion “All theorems of $mathrm {Th}$ are true,” where $mathrm {Th}$ is a theory in the language of arithmetic and the truth predicate satisfies the usual Tarskian inductive conditions for formulae in the language of arithmetic. We fix the gap in Kotlarski’s proof from [15], showing that the Global Reflection Principle for Peano Arithmetic is provable in the theory of compositional truth with bounded induction only ( $mathrm {CT}_0$ ). Furthermore, we extend the above result showing that $Sigma _1$ -uniform reflection over a theory of uniform Tarski biconditionals ( $mathrm {UTB}^-$ ) is provable in $mathrm {CT}_0$ , thus answering the question of Beklemishev and Pakhomov [2]. Finally, we introduce the notion of a prolongable satisfaction class and use it to study the structure of models of $mathrm {CT}_0$ . In particular, we provide a new model-theoretical characterization of theories of finite iterations of uniform reflection and present a new proof characterizing the arithmetical consequences of $mathrm {CT}_0$ ." @default.
• W4280536433 created "2022-05-22" @default.
• W4280536433 creator A5047226204 @default.
• W4280536433 date "2022-05-20" @default.
• W4280536433 modified "2023-09-25" @default.
• W4280536433 title "MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE" @default.
• W4280536433 cites W1572451808 @default.
• W4280536433 cites W1581341800 @default.
• W4280536433 cites W1988863058 @default.
• W4280536433 cites W2002502277 @default.
• W4280536433 cites W2004987829 @default.
• W4280536433 cites W2007555602 @default.
• W4280536433 cites W2041395883 @default.
• W4280536433 cites W2098060135 @default.
• W4280536433 cites W2159836218 @default.
• W4280536433 cites W2599472545 @default.
• W4280536433 cites W2773346421 @default.
• W4280536433 cites W2793763886 @default.
• W4280536433 cites W2963331508 @default.
• W4280536433 cites W2963814935 @default.
• W4280536433 cites W3119427767 @default.
• W4280536433 cites W4213077106 @default.
• W4280536433 cites W4226257708 @default.
• W4280536433 cites W4239779295 @default.
• W4280536433 cites W4302318230 @default.
• W4280536433 doi "https://doi.org/10.1017/jsl.2022.39" @default.
• W4280536433 hasPublicationYear "2022" @default.
• W4280536433 type Work @default.
• W4280536433 citedByCount "1" @default.
• W4280536433 countsByYear W42805364332022 @default.
• W4280536433 crossrefType "journal-article" @default.
• W4280536433 hasAuthorship W4280536433A5047226204 @default.
• W4280536433 hasBestOaLocation W42805364331 @default.
• W4280536433 hasConcept C101615488 @default.
• W4280536433 hasConcept C112343008 @default.
• W4280536433 hasConcept C118368358 @default.
• W4280536433 hasConcept C118615104 @default.
• W4280536433 hasConcept C133978748 @default.
• W4280536433 hasConcept C134306372 @default.
• W4280536433 hasConcept C140146324 @default.
• W4280536433 hasConcept C154945302 @default.
• W4280536433 hasConcept C180937797 @default.
• W4280536433 hasConcept C199343813 @default.
• W4280536433 hasConcept C199360897 @default.
• W4280536433 hasConcept C202444582 @default.
• W4280536433 hasConcept C2524010 @default.
• W4280536433 hasConcept C2777212361 @default.
• W4280536433 hasConcept C2777686260 @default.
• W4280536433 hasConcept C2781302003 @default.
• W4280536433 hasConcept C3017618536 @default.
• W4280536433 hasConcept C33923547 @default.
• W4280536433 hasConcept C34388435 @default.
• W4280536433 hasConcept C40422974 @default.
• W4280536433 hasConcept C41008148 @default.
• W4280536433 hasConcept C56739046 @default.
• W4280536433 hasConcept C65682993 @default.
• W4280536433 hasConcept C68710425 @default.
• W4280536433 hasConcept C71924100 @default.
• W4280536433 hasConcept C97489613 @default.
• W4280536433 hasConceptScore W4280536433C101615488 @default.
• W4280536433 hasConceptScore W4280536433C112343008 @default.
• W4280536433 hasConceptScore W4280536433C118368358 @default.
• W4280536433 hasConceptScore W4280536433C118615104 @default.
• W4280536433 hasConceptScore W4280536433C133978748 @default.
• W4280536433 hasConceptScore W4280536433C134306372 @default.
• W4280536433 hasConceptScore W4280536433C140146324 @default.
• W4280536433 hasConceptScore W4280536433C154945302 @default.
• W4280536433 hasConceptScore W4280536433C180937797 @default.
• W4280536433 hasConceptScore W4280536433C199343813 @default.
• W4280536433 hasConceptScore W4280536433C199360897 @default.
• W4280536433 hasConceptScore W4280536433C202444582 @default.
• W4280536433 hasConceptScore W4280536433C2524010 @default.
• W4280536433 hasConceptScore W4280536433C2777212361 @default.
• W4280536433 hasConceptScore W4280536433C2777686260 @default.
• W4280536433 hasConceptScore W4280536433C2781302003 @default.
• W4280536433 hasConceptScore W4280536433C3017618536 @default.
• W4280536433 hasConceptScore W4280536433C33923547 @default.
• W4280536433 hasConceptScore W4280536433C34388435 @default.
• W4280536433 hasConceptScore W4280536433C40422974 @default.
• W4280536433 hasConceptScore W4280536433C41008148 @default.
• W4280536433 hasConceptScore W4280536433C56739046 @default.
• W4280536433 hasConceptScore W4280536433C65682993 @default.
• W4280536433 hasConceptScore W4280536433C68710425 @default.
• W4280536433 hasConceptScore W4280536433C71924100 @default.
• W4280536433 hasConceptScore W4280536433C97489613 @default.
• W4280536433 hasIssue "2" @default.
• W4280536433 hasLocation W42805364331 @default.
• W4280536433 hasOpenAccess W4280536433 @default.
• W4280536433 hasPrimaryLocation W42805364331 @default.
• W4280536433 hasRelatedWork W1535251510 @default.
• W4280536433 hasRelatedWork W1747453711 @default.
• W4280536433 hasRelatedWork W1974816407 @default.
• W4280536433 hasRelatedWork W1986737842 @default.
• W4280536433 hasRelatedWork W2006207208 @default.
• W4280536433 hasRelatedWork W2284934992 @default.
• W4280536433 hasRelatedWork W2594881436 @default.
• W4280536433 hasRelatedWork W2773680893 @default.
• W4280536433 hasRelatedWork W4280536433 @default.

• next