scientific article; zbMATH DE number 7228887

MaRDI QIDQ3305196zbMATH OpenFDO

Authors David Fernández-Duque

Publication date 6 August 2020

Full work available at URL https://miscelaneamatematica.org/welcome/default/download/tbl_articulos.pdf2.bf87bc112b3a77c5.353630342e706466.pdf

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Cites work

• scientific article; zbMATH DE number 2123258 (Why is no real title available?)
• scientific article; zbMATH DE number 3212886 (Why is no real title available?)
• scientific article; zbMATH DE number 3099243 (Why is no real title available?)
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Provability algebras and proof-theoretic ordinals. I
• Systems of predicative analysis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305196)