A modular ordinal analysis of metapredicative subsystems of second order arithmetic

Probst, Dieter (2017). A modular ordinal analysis of metapredicative subsystems of second order arithmetic. (Habilitation, Institute of Computer Science, Philosophisch-naturwissenschaftliche Fakultät, Universität Bern)

[img]
Preview
Text
pro17.pdf - Published Version
Available under License BORIS Standard License.

Download (1MB) | Preview

Item Type:

Thesis (Habilitation)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)

UniBE Contributor:

Probst, Dieter

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

Language:

English

Submitter:

Lukas Jaun

Date Deposited:

10 Jan 2018 09:57

Last Modified:

10 Jan 2018 09:57

BORIS DOI:

10.7892/boris.108693

URI:

https://boris.unibe.ch/id/eprint/108693

Actions (login required)

Edit item Edit item
Provide Feedback