scientific article
From MaRDI portal
Publication:3464661
zbMath1329.03046MaRDI QIDQ3464661
Publication date: 27 January 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Foundations of classical theories (including reverse mathematics) (03B30) Applications of computability and recursion theory (03D80) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (3)
Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem ⋮ COMPUTABILITY IN UNCOUNTABLE BINARY TREES ⋮ Pincherle's theorem in reverse mathematics and computability theory
This page was built for publication:
