Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297225791> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4297225791 endingPage "73" @default.
- W4297225791 startingPage "22" @default.
- W4297225791 abstract "Abstract Following the finitist’s rejection of the complete totality of the natural numbers, a finitist language allows only propositional connectives and bounded quantifiers in the formula-construction but not unbounded quantifiers. This is opposed to the currently standard framework, a first-order language. We conduct axiomatic studies on the notion of truth in the framework of finitist arithmetic in which at least smash function $#$ is available. We propose finitist variants of Tarski ramified truth theories up to rank $omega $ , of Kripke–Feferman truth theory and of Friedman–Sheard truth theory, and show that all of these have the same strength as the finitist arithmetic of one higher level along Grzegorczyk hierarchy. On the other hand, we also show that adding Burgess-style groundedness schema, adjusted to the finitist setting, makes Kripke–Feferman truth theory as strong as primitive recursive arithmetic. Meanwhile, we obtain some basic results on finitist theories of (full and hat) inductive definitions and on the second order axiom of hat inductive definitions for positive operators." @default.
- W4297225791 created "2022-09-28" @default.
- W4297225791 creator A5000997987 @default.
- W4297225791 creator A5025772307 @default.
- W4297225791 date "2022-09-26" @default.
- W4297225791 modified "2023-10-16" @default.
- W4297225791 title "FINITIST AXIOMATIC TRUTH" @default.
- W4297225791 cites W1970376600 @default.
- W4297225791 cites W2002594958 @default.
- W4297225791 cites W2004519519 @default.
- W4297225791 cites W2047077113 @default.
- W4297225791 cites W2052199430 @default.
- W4297225791 cites W2111411333 @default.
- W4297225791 cites W2114374802 @default.
- W4297225791 cites W2143083142 @default.
- W4297225791 cites W2251843765 @default.
- W4297225791 cites W2599472545 @default.
- W4297225791 cites W2730578143 @default.
- W4297225791 cites W2749587859 @default.
- W4297225791 cites W2895863840 @default.
- W4297225791 cites W2913433379 @default.
- W4297225791 cites W2967091698 @default.
- W4297225791 cites W2986863241 @default.
- W4297225791 cites W3048693164 @default.
- W4297225791 cites W3120965290 @default.
- W4297225791 cites W3207679140 @default.
- W4297225791 cites W4232166111 @default.
- W4297225791 cites W4302318230 @default.
- W4297225791 doi "https://doi.org/10.1017/jsl.2022.65" @default.
- W4297225791 hasPublicationYear "2022" @default.
- W4297225791 type Work @default.
- W4297225791 citedByCount "0" @default.
- W4297225791 crossrefType "journal-article" @default.
- W4297225791 hasAuthorship W4297225791A5000997987 @default.
- W4297225791 hasAuthorship W4297225791A5025772307 @default.
- W4297225791 hasConcept C118615104 @default.
- W4297225791 hasConcept C119857082 @default.
- W4297225791 hasConcept C136119220 @default.
- W4297225791 hasConcept C167729594 @default.
- W4297225791 hasConcept C202444582 @default.
- W4297225791 hasConcept C2524010 @default.
- W4297225791 hasConcept C33923547 @default.
- W4297225791 hasConcept C37754750 @default.
- W4297225791 hasConcept C41008148 @default.
- W4297225791 hasConcept C52146309 @default.
- W4297225791 hasConcept C69562738 @default.
- W4297225791 hasConcept C97489613 @default.
- W4297225791 hasConcept C9986523 @default.
- W4297225791 hasConceptScore W4297225791C118615104 @default.
- W4297225791 hasConceptScore W4297225791C119857082 @default.
- W4297225791 hasConceptScore W4297225791C136119220 @default.
- W4297225791 hasConceptScore W4297225791C167729594 @default.
- W4297225791 hasConceptScore W4297225791C202444582 @default.
- W4297225791 hasConceptScore W4297225791C2524010 @default.
- W4297225791 hasConceptScore W4297225791C33923547 @default.
- W4297225791 hasConceptScore W4297225791C37754750 @default.
- W4297225791 hasConceptScore W4297225791C41008148 @default.
- W4297225791 hasConceptScore W4297225791C52146309 @default.
- W4297225791 hasConceptScore W4297225791C69562738 @default.
- W4297225791 hasConceptScore W4297225791C97489613 @default.
- W4297225791 hasConceptScore W4297225791C9986523 @default.
- W4297225791 hasIssue "1" @default.
- W4297225791 hasLocation W42972257911 @default.
- W4297225791 hasOpenAccess W4297225791 @default.
- W4297225791 hasPrimaryLocation W42972257911 @default.
- W4297225791 hasRelatedWork W1832019514 @default.
- W4297225791 hasRelatedWork W197391499 @default.
- W4297225791 hasRelatedWork W2327264622 @default.
- W4297225791 hasRelatedWork W3099960354 @default.
- W4297225791 hasRelatedWork W4207000027 @default.
- W4297225791 hasRelatedWork W4239934161 @default.
- W4297225791 hasRelatedWork W4297225791 @default.
- W4297225791 hasRelatedWork W2105084963 @default.
- W4297225791 hasRelatedWork W2483498089 @default.
- W4297225791 hasRelatedWork W2489512914 @default.
- W4297225791 hasVolume "88" @default.
- W4297225791 isParatext "false" @default.
- W4297225791 isRetracted "false" @default.
- W4297225791 workType "article" @default.