scientific article; zbMATH DE number 5037238
From MaRDI portal
Publication:5477995
zbMath1100.03003MaRDI QIDQ5477995
Publication date: 29 June 2006
Full work available at URL: http://www.ams.org/notices/200604/fea-davis.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Undecidability and degrees of sets of sentences (03D35) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Axiomatics of classical set theory and its fragments (03E30) Computability and recursion theory (03D99)
Related Items (1)
This page was built for publication:
