scientific article; zbMATH DE number 6843350

zbMath1386.03002MaRDI QIDQ4604263

Benedict Eastaugh

Publication date: 23 February 2018

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

zbMATH Keywords

undecidabilitytruthdecidabilityset theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25) History of mathematical logic and foundations (03-03)

This page was built for publication: