Hochschulschrift

Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Münster, Westfälische Wilhelms-Universität Münster, Diss., 2011

Klassifikation
Mathematik

Ereignis
Veröffentlichung
(wo)
Münster
(wer)
Universitäts- und Landesbibliothek der Westfälischen Wilhelms-Universität
(wann)
2011
Urheber
Beteiligte Personen und Organisationen
Pohlers, Wolfram

URN
urn:nbn:de:hbz:6-44449504436
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:25 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Hochschulschrift

Beteiligte

  • Stegert, Jan-Carl
  • Pohlers, Wolfram
  • Universitäts- und Landesbibliothek der Westfälischen Wilhelms-Universität

Entstanden

  • 2011

Ähnliche Objekte (12)

General Proof Theory and Definitional Reflection : Notes, 2016

General Proof Theory and Definitional Reflection : Notes, 2016

Proof theory

Proof theory

Proof theory

Proof theory

Tree automata make ordinal theory easy

Tree automata make ordinal theory easy

Lukács and reflection theory

Journal article | Zeitschriftenartikel

Lukács and reflection theory

Lukács and reflection theory

Lukács and reflection theory

Computation and proof theory

Computation and proof theory

Proof theory : an introduction

Proof theory : an introduction

Proof theory : an introduction

Proof theory : an introduction

Ways of proof theory

Konferenzschrift | Kongress

Ways of proof theory

Reflection groups and invariant theory

Reflection groups and invariant theory

Proof theory and intuitionistic systems

Proof theory and intuitionistic systems

Verbundene Objekte