Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
661	Axiomatic Method and Category Theory \| Mathematical Asso... http://www.maa.org/publications/maa-reviews/axiomatic-met... Axiomatic Method and Category Theory Andrei Rodin Add to Reading List Source URL: philomatica.org Language: English - Date: 2014-02-13 10:28:29 Mathematical logic Philosophy of mathematics Axiomatic system Category theory Geometry Foundations of mathematics David Hilbert Axiom Algebra Mathematics Formal systems Logic
662	Voevodsky’s Univalence Axiom in homotopy type theory ´ Steve Awodey, Alvaro Pelayo and Michael A. Warren Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Abstract algebra Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Out Homotopy theory Topology Mathematics
663	1934-1 "INFORMAL" PART OF PRINCIPIA 127 Add to Reading List Source URL: www.hist-analytic.com Language: English - Date: 2011-07-30 20:40:22 Principia Mathematica Science Axiom Mathematical proof Mathematics Mathematical logic Logic
664	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
665	A SHEAF THEORETIC APPROACH TO MEASURE THEORY by Matthew Jackson B.Sc. (Hons), University of Canterbury, 1996 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Sheaf theory General topology Homological algebra Adjoint functors Sheaf Topos Gluing axiom Category Grothendieck topology Mathematics Category theory Abstract algebra
666	0zg CHAPTER THE PR OB LE M Add to Reading List Source URL: www.hist-analytic.com Language: English - Date: 2011-07-30 20:46:34 Axiology Philosophy of mathematics Axiom Modal logic Hyperreal number Logic Mathematics Abstraction
667	Possession as Linear Knowledge Frank Pfenning [with Deepak Garg, Henry DeYoung, and Michael Ashley-Rollman] Department of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-07-15 09:34:10 Mathematics Non-classical logic Artificial intelligence Epistemic modal logic Modal logic Epistemology Authorization Linear logic Axiom Logic Mathematical logic Branches of philosophy
668	Axiom Properties & Development Inc. APPLICATION TO RENT Each prospective adult occupant MUST complete a separate application and each must pay a $30 processing fee. Add to Reading List Source URL: www.axiompd.com Language: English - Date: 2013-03-14 21:01:16 Property Private law Contract law Renting Business law Lease Leasing Eviction Tenant screening Law Real estate Real property law
669	Locally Free Sheaves Patrick Morandi Algebra Seminar, Spring 2002 In these talks we will discuss several important examples of locally free sheaves and see the connection between locally free sheaves and finitely generat Add to Reading List Source URL: sierra.nmsu.edu Language: English - Date: 2002-04-24 17:14:28 Sheaf theory Homological algebra Algebraic topology Scheme theory Algebraic geometry Sheaf Proj construction Stalk Gluing axiom Abstract algebra Topology Algebra
670	Sheaf Cohomology In this note we give the background needed to de…ne sheaf cohomology. In particular, we prove the following two facts. First, the category Ab(X) of sheaves on a topological space X has enough injectiv Add to Reading List Source URL: sierra.nmsu.edu Language: English - Date: 2004-08-10 18:12:14 Topology Homological algebra Algebraic geometry Functors Algebraic topology Sheaf Gluing axiom Stalk Direct image functor Abstract algebra Category theory Sheaf theory

UPDATE