Sökning: onr:"swepub:oai:gup.ub.gu.se/251548" >
Unifying the model ...
Unifying the model theory of first-order and second-order arithmetic via WKL*_0
-
- Enayat, Ali, 1959 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science
-
Wong, Tin Lok (författare)
-
(creator_code:org_t)
- Elsevier BV, 2017
- 2017
- Engelska.
-
Ingår i: Annals of Pure and Applied Logic. - : Elsevier BV. - 0168-0072. ; 30:6, s. 1247-1283
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://gup.ub.gu.se...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- We develop machinery to make the Arithmetized Completeness Theorem more effective in the study of many models of IΔ0+BΣ1+exp, including all countable ones, by passing on to the conservative extension View the MathML source of IΔ0+BΣ1+exp. Our detailed study of the model theory of View the MathML source leads to the simplification and improvement of many results in the model theory of Peano arithmetic and its fragments pertaining to the construction of various types of end extensions and initial segments.
Ämnesord
- NATURVETENSKAP -- Matematik (hsv//swe)
- NATURAL SCIENCES -- Mathematics (hsv//eng)
- NATURVETENSKAP -- Matematik -- Algebra och logik (hsv//swe)
- NATURAL SCIENCES -- Mathematics -- Algebra and Logic (hsv//eng)
- HUMANIORA -- Filosofi, etik och religion -- Filosofi (hsv//swe)
- HUMANITIES -- Philosophy, Ethics and Religion -- Philosophy (hsv//eng)
Nyckelord
- Nonstandard models
- first order arithmetic
- second order arithmetic
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas