Diagonalization in double frames

DOI10.1007/S11787-010-0012-3zbMath1255.03042OpenAlexW2134947481MaRDI QIDQ1931343

Andrzej Wiśniewski, Jerzy Pogonowski

Publication date: 25 January 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-010-0012-3

zbMATH Keywords

diagonalizationincompletenessdouble frames

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80)

Cites Work

• Classical recursion theory. The theory of functions and sets of natural numbers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Diagonalization in double frames