Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955491139> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2955491139 abstract "In the paper we introduce a weak set theory $mathsf{H}_{<omega}$ . A formalization of arithmetic on finite von Neumann ordinals gives an embedding of arithmetical language into this theory. We show that $mathsf{H}_{<omega}$ proves a natural arithmetization of its own Hilbert-style consistency. Unlike some previous examples of theories proving their own consistency, $mathsf{H}_{<omega}$ appears to be sufficiently natural. The theory $mathsf{H}_{<omega}$ is infinitely axiomatizable and proves existence of all individual hereditarily finite sets, but at the same time all its finite subtheories have finite models. Therefore, our example avoids the strong version of Godel second incompleteness theorem (due to Pudlak) that asserts that no consistent a theory interpreting Robinson's arithmetic $mathsf{Q}$ proves its own consistency. To show that $mathsf{H}_{<omega}$ proves its own consistency we establish a conservation result connecting Kalmar elementary arithmetic $mathsf{EA}$ and $mathsf{H}_{<omega}$. We also consider the version of $mathsf{H}_{<omega}$ over higher order logic denoted $mathsf{H}^{omega}_{<omega}$. It has the same non-Godelian property as $mathsf{H}_{<omega}$ but happens to be more attractive from a technical point of view. In particular, we show that $mathsf{H}^{omega}_{<omega}$ proves a $Pi_1$ sentence $varphi$ of the predicate-only version of arithmetical language iff $mathsf{EA}$ proves that $varphi$ holds on the superexponential cut." @default.
- W2955491139 created "2019-07-12" @default.
- W2955491139 creator A5064019679 @default.
- W2955491139 date "2019-07-01" @default.
- W2955491139 modified "2023-09-27" @default.
- W2955491139 title "A weak set theory that proves its own consistency" @default.
- W2955491139 cites W1483396775 @default.
- W2955491139 cites W1494745377 @default.
- W2955491139 cites W1571003765 @default.
- W2955491139 cites W1975810242 @default.
- W2955491139 cites W2018618761 @default.
- W2955491139 cites W2028227692 @default.
- W2955491139 cites W2061699228 @default.
- W2955491139 cites W2071373355 @default.
- W2955491139 cites W2086098666 @default.
- W2955491139 cites W2114804254 @default.
- W2955491139 cites W2169685450 @default.
- W2955491139 cites W2279504399 @default.
- W2955491139 cites W2604077247 @default.
- W2955491139 hasPublicationYear "2019" @default.
- W2955491139 type Work @default.
- W2955491139 sameAs 2955491139 @default.
- W2955491139 citedByCount "1" @default.
- W2955491139 countsByYear W29554911392019 @default.
- W2955491139 crossrefType "posted-content" @default.
- W2955491139 hasAuthorship W2955491139A5064019679 @default.
- W2955491139 hasConcept C112343008 @default.
- W2955491139 hasConcept C114614502 @default.
- W2955491139 hasConcept C118615104 @default.
- W2955491139 hasConcept C121332964 @default.
- W2955491139 hasConcept C134306372 @default.
- W2955491139 hasConcept C154945302 @default.
- W2955491139 hasConcept C162392398 @default.
- W2955491139 hasConcept C180937797 @default.
- W2955491139 hasConcept C2779557605 @default.
- W2955491139 hasConcept C2781302003 @default.
- W2955491139 hasConcept C33923547 @default.
- W2955491139 hasConcept C41008148 @default.
- W2955491139 hasConcept C62520636 @default.
- W2955491139 hasConceptScore W2955491139C112343008 @default.
- W2955491139 hasConceptScore W2955491139C114614502 @default.
- W2955491139 hasConceptScore W2955491139C118615104 @default.
- W2955491139 hasConceptScore W2955491139C121332964 @default.
- W2955491139 hasConceptScore W2955491139C134306372 @default.
- W2955491139 hasConceptScore W2955491139C154945302 @default.
- W2955491139 hasConceptScore W2955491139C162392398 @default.
- W2955491139 hasConceptScore W2955491139C180937797 @default.
- W2955491139 hasConceptScore W2955491139C2779557605 @default.
- W2955491139 hasConceptScore W2955491139C2781302003 @default.
- W2955491139 hasConceptScore W2955491139C33923547 @default.
- W2955491139 hasConceptScore W2955491139C41008148 @default.
- W2955491139 hasConceptScore W2955491139C62520636 @default.
- W2955491139 hasLocation W29554911391 @default.
- W2955491139 hasOpenAccess W2955491139 @default.
- W2955491139 hasPrimaryLocation W29554911391 @default.
- W2955491139 hasRelatedWork W1485277748 @default.
- W2955491139 hasRelatedWork W1513501449 @default.
- W2955491139 hasRelatedWork W1514076924 @default.
- W2955491139 hasRelatedWork W1523374846 @default.
- W2955491139 hasRelatedWork W2027882097 @default.
- W2955491139 hasRelatedWork W2034048560 @default.
- W2955491139 hasRelatedWork W2045362720 @default.
- W2955491139 hasRelatedWork W2107232728 @default.
- W2955491139 hasRelatedWork W2156073407 @default.
- W2955491139 hasRelatedWork W2186289717 @default.
- W2955491139 hasRelatedWork W2214792639 @default.
- W2955491139 hasRelatedWork W2750112826 @default.
- W2955491139 hasRelatedWork W2887741385 @default.
- W2955491139 hasRelatedWork W2917349651 @default.
- W2955491139 hasRelatedWork W2920795773 @default.
- W2955491139 hasRelatedWork W2952984062 @default.
- W2955491139 hasRelatedWork W3048800963 @default.
- W2955491139 hasRelatedWork W3087652949 @default.
- W2955491139 hasRelatedWork W3101098781 @default.
- W2955491139 hasRelatedWork W3199052275 @default.
- W2955491139 isParatext "false" @default.
- W2955491139 isRetracted "false" @default.
- W2955491139 magId "2955491139" @default.
- W2955491139 workType "article" @default.