scientific article; zbMATH DE number 1420839

zbMath0949.03037MaRDI QIDQ4944907

S. Barry Cooper

Publication date: 3 December 2000

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

zbMATH Keywords

rigiditydefinabilitybi-interpretability conjecture

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Other degrees and reducibilities in computability and recursion theory (03D30)

This page was built for publication: