arnold beckmann's pages

Cobham Recursive Set Functions and Weak Set Theories

File: PDF-File

Author: Arnold Beckmann, Samuel R. Buss, Sy-David Friedman, Moritz Müller and Neil Thapen
Title: Cobham Recursive Set Functions and Weak Set Theories
Journal: Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore: Volume 33, 2017, pp. 55-116
Year: 2017
Pages: 62
DOI: 10.1142/9789813223523_0005

Abstract: This paper introduces bounded fragments of Kripke Platek set theory which characterise the Cobham Recursive Set Functions.

websites: Arnold Beckmann 2017-08-28 Valid HTML 4.01! Valid CSS!