- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On the completenes principle: A study of provability in heyting's arithmetic and extensions
Annals of Mathematical Logic 22 (3):263-295 (1982)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Closed fragments of provability logics of constructive theories.Albert Visser - 2008 - Journal of Symbolic Logic 73 (3):1081-1096.
On first-order theories with provability operator.Sergei Artëmov & Franco Montagna - 1994 - Journal of Symbolic Logic 59 (4):1139-1153.
Intermediate Logics and the de Jongh property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
Predicate Logics of Constructive Arithmetical Theories.Albert Visser - 2006 - Journal of Symbolic Logic 71 (4):1311 - 1326.
On the structure of kripke models of heyting arithmetic.Zoran Marković - 1993 - Mathematical Logic Quarterly 39 (1):531-538.
Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
On cofinal extensions of models of arithmetic.Henryk Kotlarski - 1983 - Journal of Symbolic Logic 48 (2):253-262.
Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic.Albert Visser - 2006 - Notre Dame Journal of Formal Logic 47 (3):299-309.
Interpolation and implicit definability in extensions of the provability logic.Larisa Maksimova - 2008 - Logic and Logical Philosophy 17 (1-2):129-142.
The logic of first order intuitionistic type theory with weak sigma- elimination.M. D. G. Swaen - 1991 - Journal of Symbolic Logic 56 (2):467-483.
Note on extensions of Heyting's arithmetic by adding the “creative subject”.Victor N. Krivtsov - 1999 - Archive for Mathematical Logic 38 (3):145-152.
Undecidability and intuitionistic incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
Independence results for weak systems of intuitionistic arithmetic.Morteza Moniri - 2003 - Mathematical Logic Quarterly 49 (3):250.
Provably recursive functions of constructive and relatively constructive theories.Morteza Moniri - 2010 - Archive for Mathematical Logic 49 (3):291-300.
Analytics
Added to PP
2014-01-17
Downloads
33 (#470,805)
6 months
15 (#159,278)
2014-01-17
Downloads
33 (#470,805)
6 months
15 (#159,278)
Historical graph of downloads
Author's Profile
Citations of this work
Provability logic and the completeness principle.Albert Visser & Jetze Zoethout - 2019 - Annals of Pure and Applied Logic 170 (6):718-753.
Substitutions of Σ10-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic.Albert Visser - 2002 - Annals of Pure and Applied Logic 114 (1-3):227-271.
The Σ1-provability logic of HA.Mohammad Ardeshir & Mojtaba Mojtahedi - 2018 - Annals of Pure and Applied Logic 169 (10):997-1043.
Intermediate Logics and the de Jongh property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
References found in this work
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of Mathematical Logic. North-Holland. pp. 821 -- 865.
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.
A propositional logic with explicit fixed points.Albert Visser - 1981 - Studia Logica 40 (2):155 - 175.
Review of Robert M. Solovay's Provability Interpretations of Modal Logic.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-hc2g5 uwo