scientific article
From MaRDI portal
Publication:2734834
zbMath0992.03003MaRDI QIDQ2734834
Publication date: 26 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) First-order arithmetic and fragments (03F30) Axiomatics of classical set theory and its fragments (03E30) Recursive functions and relations, subrecursive hierarchies (03D20) Basic properties of first-order languages and structures (03C07)
Related Items (7)
NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES ⋮ Diagonalization in double frames ⋮ Empiricism, probability, and knowledge of arithmetic: a preliminary defense ⋮ Regressive functions on pairs ⋮ A PARAMETRIC, RESOURCE-BOUNDED GENERALIZATION OF LÖB’S THEOREM, AND A ROBUST COOPERATION CRITERION FOR OPEN-SOURCE GAME THEORY ⋮ The Ontological Innocence of Schematic Logic ⋮ The Inverse of Ackermann Function is Computable in Linear Time
This page was built for publication:
