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

MaRDI QIDQ2877792zbMATH OpenFDO

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)

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

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)