Transfinite induction - PDFSEARCH.IO - Document Search Engine

Transfinite induction
Results: 15

#	Item
1	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Ordinal numbers Mathematics Abstraction Cardinal numbers Set theory Wellfoundedness Infinity Ordinal arithmetic Transfinite induction Constructible universe Aleph number
2	A Revenge-Immune Solution to the Semantic Paradoxes Hartry Field∗ August 29, 2002 Abstract Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Mathematical logic Mathematics Ordinal numbers Philosophy of mathematics Constructible universe Transfinite induction Generalised Whitehead product Ordinal arithmetic
3	Intuitionistic Sets and Ordinals Paul Taylor 1993 Abstract Transitive extensional well founded relations provide an intuitionistic notion of ordinals Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:19 Ordinal numbers Set theory Mathematical logic Recursion Wellfoundedness Constructible universe Well-founded relation Transfinite induction Transitive set Burali-Forti paradox Equality Implementation of mathematics in set theory
4	VOL. 50, 1963 MATHEMATICS: P. J. COHEN 1143 Add to Reading List Source URL: tobymeadows.files.wordpress.com Language: English - Date: 2010-06-14 22:03:08 Forcing Ordinal number Constructible universe Function Transfinite induction Zermelo–Fraenkel set theory Continuous function Axiom of choice Axiom schema of replacement Mathematical logic Mathematics Set theory
5	SET THEORY Contents 1. Introduction 2. Everything is a set 3. Classes Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:24 Set theory Cardinal numbers Cofinality Order theory Large cardinals Transfinite induction Constructible universe Cardinality Grothendieck topology Mathematical logic Mathematics Ordinal numbers
6	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
7	Subspaces of pseudoradial spaces Martin Sleziak October 25, 2005 Abstract We prove that every topological space (T0 -space, T1 -space) can be embedded in a pseudoradial space (in a pseudoradial T0 -space, T1 -space). Add to Reading List Source URL: thales.doa.fmph.uniba.sk Language: English Ordinal number Sequential space Net Subnet Disjoint union Product topology Cofiniteness Topological space Transfinite induction Topology General topology Coherent topology
8	A Revenge-Immune Solution to the Semantic Paradoxes Hartry Field∗ August 29, 2002 Abstract Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Constructible universe Set theory Transfinite induction Proof theory Ordinal arithmetic Symbol Mathematical logic Mathematics Ordinal numbers
9	Hierarchies Ontological and Ideological Øystein Linnebo Birkbeck, University of London [removed] Agust´ın Rayo Massachusetts Institute of Technology Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2013-07-31 14:39:50 Ordinal numbers Model theory Predicate logic Semantics Formal methods Limit ordinal Type theory Transfinite induction Ordinal notation Mathematical logic Logic Mathematics
10	March 10, 2003 Errata (comments; ﬁx-up of typos and errors) to Krzysztof Ciesielski, Set Theory for the Working Mathematician, London Math Society Student Texts 39, Cambridge University Press, [removed]ni means page n li Add to Reading List Source URL: www.math.wvu.edu Language: English - Date: 2003-03-10 14:09:13 Continuous function General topology Ordinal numbers Forcing Functional analysis Transfinite induction Locally convex topological vector space Mathematics Mathematical logic Constructible universe