Hochschulschrift

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

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch
Notes
Münster, Westfälische Wilhelms-Universität Münster, Diss., 2011

Classification
Mathematik

Event
Veröffentlichung
(where)
Münster
(who)
Universitäts- und Landesbibliothek der Westfälischen Wilhelms-Universität
(when)
2011
Creator
Contributor
Pohlers, Wolfram

URN
urn:nbn:de:hbz:6-44449504436
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:25 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Object type

  • Hochschulschrift

Associated

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

Time of origin

  • 2011

Other Objects (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

Related objects