Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Reflection Principles, Generic Large Cardinals, and the Continuum Problem Kapitel lesen Erstes Kapitel lesen

2021 | OriginalPaper | Buchkapitel

Rosser Provability and the Second Incompleteness Theorem

verfasst von : Taishi Kurahashi

Erschienen in: Advances in Mathematical Logic

Verlag: Springer Nature Singapore

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This paper is a continuation of Arai’s paper on derivability conditions for Rosser provability predicates. We investigate the limitations of the second incompleteness theorem by constructing three different Rosser provability predicates satisfying several derivability conditions.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Interpolation Properties for Sacchetti’s Logics
Nächstes Kapitel On Takeuti’s Early View of the Concept of Set
Fußnoten
1
Introducing this schematic consistency statement \(\mathsf{Con}_{\mathrm{Pr}_T}^S\) was proposed by the referee.
 
2
This means that \(T \nvdash \mathsf{Con}_{\mathrm{Pr}_T}(\varphi )\) for some formula \(\varphi \).
 
3
This is pointed out by the referee.
 
Literatur
1.
Arai, T.: Derivability conditions on Rosser’s provability predicates. Notre Dame J. Formal Logic 31(4), 487–497 (1990)MathSciNetMATH
2.
Bernardi, C., Montagna, F.: Equivalence relations induced by extensional formulae: classification by means of a new fixed point property. Fundam. Math. 124(3), 221–233 (1984)MathSciNetMATH
3.
4.
Feferman, S.: Arithmetization of metamathematics in a general setting. Fundam. Math. 49, 35–92 (1960)MathSciNetMATH
5.
Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. (in German). Monatshefte für Mathematik und Physik 38(1), 173–198 (1931). English translation in Kurt Gödel, Collected Works, Vol. 1 (pp. 145–195)
6.
7.
Hájek, P., Pudlák, P.: Metamathematics of First-Order Arithmetic. Perspectives in Mathematical Logic, Springer, Berlin (1993)
8.
Hilbert, D., Bernays, P.: Grundlagen der Mathematik, vol. II. Springer, Berlin (1939)MATH
9.
Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge, London (1996)MATH
10.
Jeroslow, R.G.: Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem. J. Symb. Logic 38(3), 359–367 (1973)MATH
11.
Kikuchi, M., Kurahashi, T.: Universal Rosser predicates. J. Symb. Logic 82(1), 292–302 (2017)MathSciNetMATH
12.
Kreisel, G.: Ordinal logics and the characterization of informal concepts of proof. In: Proceedings of International Congress of Mathematicians 1958, pp. 289–299. Cambridge University Press, New York (1960)
13.
Kreisel, G.: Mathematical logic. In: Lectures in Modern Mathematics, vol. 3, pp. 95–195. Wiley, New York (1965)
14.
Kreisel, G.: A survey of proof theory II. In: J.E. Fenstad, (ed.), Proceedings of the Second Scandinavian Logic Symposium. Studies in Logic and the Foundations of Mathematics, vol. 63, pp. 109–170. North Holland (1971)
15.
Kreisel, G., Takeuti, G.: Formally self-referential propositions for cut free classical analysis and related systems. Dissertationes Mathematicae (Rozprawy Matematyczne) 118 (1974)
16.
Kurahashi, T.: Rosser provability and normal modal logics. Studia Logica. 108(3), 597–617 (2020)
17.
Kurahashi, T.: Henkin sentences and local reflection principles for Rosser provability. Ann. Pure Appl. Logic 167(2), 73–94 (2016)MathSciNetMATH
18.
Kurahashi, T.: A note on derivability conditions. In: Preparation. J. Symb. Logic 85(3), 1224–1253 (2020)
19.
Lindström, P.: Aspects of Incompleteness. Lecture Notes in Logic, vol. 10, 2nd edn. AK Peters (2003)
20.
Martin Hugo Löb: Solution of a problem of Leon Henkin. J. Symb. Logic 20(2), 115–118 (1955)
21.
Montagna, F.: On the formulas of Peano arithmetic which are provably closed under modus ponens. Bollettino dell’Unione Matematica Italiana 16(B5), 196–211 (1979)MathSciNetMATH
22.
Mostowski, A.: Thirty years of foundational studies: lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930–1964. Acta Philosophica Fennica 17, 1–180 (1965)MathSciNet
23.
Rautenberg, W.: A Concise Introduction to Mathematical Logic, 3rd edn. Universitext. Springer, New York (2010)MATH
24.
John Barkley Rosser: Extensions of some theorems of Gödel and Church. J. Symb. Logic 1(3), 87–91 (1936)MATH
25.
Vladimir Yurievich Shavrukov: On Rosser’s provability predicate. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 37(4), 317–330 (1991)MathSciNetMATH
Metadaten
Titel
Rosser Provability and the Second Incompleteness Theorem
verfasst von
Taishi Kurahashi
Copyright-Jahr
2021
Verlag
Springer Nature Singapore
Buch
Advances in Mathematical Logic

Print ISBN: 978-981-16-4172-5

Electronic ISBN: 978-981-16-4173-2

Copyright-Jahr: 2021

DOI
https://doi.org/10.1007/978-981-16-4173-2_4

Premium Partner

    Bildnachweise