Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch

zbMATH Open1297.03005MaRDI QIDQ2877792FDOQ2877792

Authors:

Publication date: 25 August 2014

Published in: Tributes (Search for Journal in Brave)

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Metamathematics of constructive systems (03F50) Ordinal and cardinal numbers (03E10)

Cited In (3)

• Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
• Infinity in logic and computation. International conference, ILC 2007, Cape Town, South Africa, November 3--5, 2007. Revised selected papers
• Indestructibility properties of remarkable cardinals

This page was built for publication: Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch

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