Axiom schema of replacement - PDFSEARCH.IO - Document Search Engine

Axiom schema of replacement
Results: 16

#	Item
1	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
2	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
3	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
4	COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 8 Discrete Mathematics (MPF) (a) Let #X denote the cardinality of a set X. Define a unary predicate P for which the statement Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:43 Mathematical analysis Bijection injection and surjection Equivalence relation Function Bijection Power set Injective function Filter Axiom schema of replacement Mathematics Functions and mappings Mathematical logic
5	Axiomatic Set Theory: Problem sheet[removed]Prove that ∀α, β ∈ On, (i) Vα ∩ On = α, and (ii) if α ∈ Vβ , then Vα ∈ Vβ . 2. Complete the proof of L´evy’s Reflection Principle. 3. A club is, by definiti Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2009-02-02 11:27:23 Set theory Ordinal number Axiom schema of replacement Reflection principle Forcing Model theory Mathematical logic Mathematics Constructible universe
6	Functional Programming and Specification Lecture Note 5, 15 March 2011 Proving that a structure meets its specification The problem of verifying that a structure without substructures satisfies its specification is just Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-15 06:23:49 Z notation Constructible universe Axiom S Universal quantification Axioms of set theory Axiom schema of replacement First-order logic Mathematical logic Logic Mathematics
7	The Bulletin of Symbolic Logic Volume 13, Number 3, Sept[removed]RELATING FIRST-ORDER SET THEORIES AND ELEMENTARY TOPOSES Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Model theory Z notation Predicate logic Sheaf theory Topos Axiom schema of replacement Constructive set theory First-order logic Zermelo–Fraenkel set theory Mathematical logic Logic Mathematics
8	The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-10-29 08:25:04 Ordinal numbers Constructible universe Axiom schema of replacement Absoluteness Zermelo–Fraenkel set theory Normal function Forcing Boolean-valued model Mathematical logic Mathematics Set theory
9	Relating first-order set theories, toposes and categories of classes Steve Awodey Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-04-30 07:46:02 Model theory Predicate logic Z notation Sheaf theory Topos Categorical logic Axiom schema of replacement Sheaf Constructive set theory Mathematical logic Mathematics Logic
10	Universes in Toposes Thomas STREICHER Fachbereich 4 Mathematik, TU Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-03-25 13:03:23 Axioms of set theory Z notation Sheaf theory Topos Axiom schema of replacement Zermelo–Fraenkel set theory Grothendieck universe Universe Sheaf Mathematical logic Mathematics Set theory