Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/rosser-and-mostowski-sentences-kkjBQyZBEO
References (19)
-
C. Bernardi, F. Montagna (1984)
Equivalence relations induced by extensional formulae: classification by means of a new fixed point propertyFundamenta Mathematicae, 124
-
T. Carlson (1986)
Modal logics with several operators and provability interpretationsIsrael Journal of Mathematics, 54
-
A. Visser (1984)
The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmeticJournal of Philosophical Logic, 13
-
J. Shepherdson (1960)
Representability of recursively enumerable sets in formal systemsArch. F. Math. Logik, 5
-
Dick Jongh, F. Montagna (1987)
Generic generalized Rosser fixed pointsStudia Logica, 46
-
G. Sambin (1976)
An effective fixed-point theorem in intuitionistic diagonalizable algebrasStudia Logica, 35
-
G. Boolos, C. Smorynski (1985)
Self-Reference and Modal Logic -
G. Boolos (1979)
The unprovability of consistency -
R. Solovay (1976)
Provability interpretations of modal logicIsrael Journal of Mathematics, 25
-
A. Mostowski (1961)
A generalization of the incompleteness theoremFundamenta Mathematicae, 49
-
D. Guaspari, R. Solovay (1979)
Rosser sentencesAnn. Math. Logic, 16
-
F. Montagna (1979)
On the diagonalizable algebra of Peano ArithmeticBoll. Unione Mat. Ital. V. Ser., B 16
-
C. Bernardi, F. Montagna (1984)
Equivalence relations induced by extensional formulaeFundam. Math., CXXIV
-
B. Rosser (1936)
Extensions of some theorems of Gödel and ChurchJournal of Symbolic Logic, 1
-
J. Shepherdson (1961)
Representability of recursively enumerable sets in formal theoriesArchiv für mathematische Logik und Grundlagenforschung, 5
-
D. Guaspari (1983)
Sentences implying their own provabilityJournal of Symbolic Logic, 48
-
C. Smorynski (1989)
Modal Logic and Self-ReferenceJournal of Symbolic Logic, 54
-
Dick Jongh (1987)
A simplification of a completeness proof of Guaspari and SolovayStudia Logica, 46
-
C. Smorynski (1984)
Handbook of philosophical logic II
- Publisher
- Springer Journals
- Copyright
- Copyright © 1988 by Springer-Verlag
- Subject
- Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
- ISSN
- 0933-5846
- eISSN
- 1432-0665
- DOI
- 10.1007/BF01620761
- Publisher site
- See Article on Publisher Site
Abstract
Journal
Archive for Mathematical Logic – Springer Journals
Published: Apr 19, 2005