Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
291	INJECTIVES Contents 1. Introduction 2. Baer’s argument for modules 3. G-modules Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:43 Category theory Injective module Injective object Sheaf Grothendieck topology Injective hull Adjoint functors Module Gluing axiom Abstract algebra Homological algebra Algebra
292	SHEAVES ON SPACES Contents 1. Introduction 2. Basic notions 3. Presheaves Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:27 Topology Sheaf Gluing axiom Stalk Grothendieck topology Constant sheaf Functor Initial and terminal objects Presheaf Category theory Abstract algebra Sheaf theory
293	SITES AND SHEAVES Contents. Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:29 Sheaf theory Functors Algebraic geometry Homological algebra Sheaf Gluing axiom Grothendieck topology Functor Topos Category theory Abstract algebra Mathematics
294	Questions Answered. In Theory. http://cstheory.stackexchange.com∗ Perhaps you’re a computer scientist wondering how much the Axiom of Choice matters to the theorems you study and prove[21]. Perhaps you’re a mathema Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2010-11-05 18:41:12 Complexity classes Community websites Mathematical optimization Conjectures P versus NP problem Structural complexity theory Stack Exchange Network NP-complete NP Theoretical computer science Computational complexity theory Applied mathematics
295	HYPERCOVERINGS Contents 1. Introduction 2. Hypercoverings 3. Acyclicity Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-22 10:42:40 Algebraic topology Homological algebra Functors Sheaf theory Sheaf Grothendieck topology Gluing axiom Functor Initial and terminal objects Abstract algebra Category theory Mathematics
296	MODULES ON SITES Contents. Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:44 Sheaf theory Sheaf Gluing axiom Grothendieck topology Topos Stalk Functor Initial and terminal objects Ringed space Category theory Abstract algebra Topology
297	Do the Integers Exist? The Unknowability of Arithmetic Consistency JACK T. SCHWARTZ Courant Institute It is an article of faith for most mathematicians that Peano’s axioms for arithmetic are consistent, perhaps becaus Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2005-12-01 07:11:01 Axiom Mathematical proof Foundations of mathematics Peano axioms Kurt Gödel Contradiction Zermelo–Fraenkel set theory Theorem Gottlob Frege Logic Mathematics Mathematical logic
298	Automatic Construction of Inference-Supporting Knowledge Bases Peter Clark, Niranjan Balasubramanian, Sumithra Bhakthavatsalam, Kevin Humphreys, Jesse Kinkead, Ashish Sabharwal, Oyvind Tafjord Allen Institute for AI, 215 Add to Reading List Source URL: allenai.org Language: English Reasoning Branches of philosophy Formal systems Programming paradigms Inference Logical consequence Logic programming Axiom Epistemology Logic Philosophy Science
299	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
300	Webis at TREC 2014: Web, Session, and Contextual Suggestion Tracks Matthias Hagen Steve Göring Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2015-02-09 16:44:35 Information Natural language processing Software Axiom Relevance feedback Query expansion Information retrieval Science Formal systems

UPDATE