scientific article; zbMATH DE number 7183905

zbMath1432.03123MaRDI QIDQ5222086

Alan R. Woods

Publication date: 30 March 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) First-order arithmetic and fragments (03F30) Collected or selected works; reprintings or translations of classics (01A75) Models of arithmetic and set theory (03C62) Recursive functions and relations, subrecursive hierarchies (03D20) Model theory (number-theoretic aspects) (11U09)

Related Items (2)

Bounded finite set theory ⋮ DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES

This page was built for publication: