Successor cardinal - PDFSEARCH.IO - Document Search Engine

Successor cardinal
Results: 4

#	Item
1	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Cardinal numbers Set theory Ordinal arithmetic Transfinite induction Constructible universe Forcing Aleph number Successor cardinal Normal function Mathematical logic Mathematics Ordinal numbers
2	Fr. Alban Butler Lives of the Saints \| St. Bonaventure (July 14) JULY XIV. ST. BONAVENTURE CARDINAL-BISHOP OF ALBANO, DOCTOR OF THE CHURCH A.DOf the youth of this greatest successor of St. Francis of Assisi nothi Add to Reading List Source URL: www.u.arizona.edu Language: English - Date: 2010-06-11 17:05:36 Christian mystics Franciscan spirituality Doctors of the Church Anglican saints Bonaventure Bernard of Besse Franciscan Alexander of Hales Thomas Aquinas Christianity Francis of Assisi Franciscans
3	Mechanizing Set Theory Cardinal Arithmetic and the Axiom of Choice Lawrence C. Paulson Computer Laboratory, University of Cambridge email: [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:46 Cardinal numbers Large cardinals Set theory Axiom of choice Zermelo–Fraenkel set theory Constructible universe First-order logic Mathematical proof Successor cardinal Mathematical logic Mathematics Logic
4	PDF Document Add to Reading List Source URL: www.ucl.ac.uk Language: English - Date: 2006-02-17 13:01:51 Large cardinals Cardinal numbers Ordinal numbers Cofinality Constructible universe Inaccessible cardinal Continuum hypothesis Successor cardinal Mahlo cardinal Mathematical logic Mathematics Set theory

UPDATE