Gra¸bczewski - Woodin cardinal - Document - PDFSEARCH.IO

First Page	Meta Content
	Gra¸bczewski & Paulson Mechanizing Set Theory Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice Add to Reading List Document Date: 2003-04-29 07:49:46 Open Document File Size: 25,77 KB Share Result on Facebook City Torun / / Company ESPRIT / Computer Laboratory / / Facility Cambridge University / Copernicus University / / Organization Cambridge University / Copernicus University / / Person Sara Kalvala / Jacob Frost / / Position Paulson Mechanizing Set Theory The Generic Proof Assistant / / ProgrammingLanguage Prolog / C / / Technology dom / / SocialTag Ordinal numbers Set theory Cardinal number Constructible universe Ordinal arithmetic Transfinite induction Mahlo cardinal Woodin cardinal Mathematical logic Large cardinals

Gra¸bczewski & Paulson Mechanizing Set Theory Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of ChoiceAdd to Reading List