COBHAM RECURSIVE SET FUNCTIONS AND WEAK SET THEORIES

DOI10.1142/9789813223523_0005zbMath1448.03029OpenAlexW2560447809MaRDI QIDQ5137317

Moritz Müller, Neil Thapen, Arnold Beckmann, Sy-David Friedman, Samuel R. Buss

Publication date: 2 December 2020

Published in: Sets and Computations (Search for Journal in Brave)

Full work available at URL: https://cronfa.swan.ac.uk/Record/cronfa30495

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Nonclassical and second-order set theories (03E70) Recursive functions and relations, subrecursive hierarchies (03D20) Higher-type and set recursion theory (03D65)

Related Items (1)

Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017

This page was built for publication: COBHAM RECURSIVE SET FUNCTIONS AND WEAK SET THEORIES