Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
651	Borel Determinacy of Concurrent Games Julian Gutierrez1 and Glynn Winskel2 1 2 University of Oxford, Computer Science Department, Oxford, UK. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-06-12 12:46:12 Determinacy Descriptive set theory Probability theory Borel determinacy theorem Sigma-algebra Borel set Duality Wadge hierarchy Axiom of determinacy Mathematical logic Set theory Mathematics
652	Functional Programming and Specification Lecture Note 2, 8 March 2011 Specifying functions in Extended ML The Extended ML (EML) specification language is ML with minimal extensions for specifying Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-08 05:37:30 Quantification Predicate logic Z notation Prenex normal form Universal quantification Type theory Axiom Extended ML S Mathematical logic Logic Mathematics
653	On the axiomatics of resource allocation: Interpreting the consistency principle William Thomson Working Paper No. 573 September 2012 Add to Reading List Source URL: rcer.econ.rochester.edu Language: English - Date: 2012-09-12 18:27:19 Mathematics Abstraction Axiomatic system Contradiction Axiom Logic Formal systems Mathematical logic
654	A Hybrid Logical Framework Jason Reed CMU-CS[removed]September 17, 2009 Add to Reading List Source URL: jcreed.org Language: English - Date: 2009-10-03 17:03:32 Logical consequence Philosophical logic Formal systems Metalogic Logical framework Linear logic Axiom Soundness Inference Logic Deduction Proof theory
655	Modelling Hyperbolic Geometry Robert D. Borgersen [removed] Supervisor: Dr. William Kocay February 14, 2005 Add to Reading List Source URL: robertborgersen.info Language: English - Date: 2008-10-06 13:34:40 Hyperbolic geometry Absolute geometry Parallel Euclidean geometry Axiom Line Triangle Elliptic geometry Dehn planes Geometry Elementary geometry Non-Euclidean geometry
656	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
657	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
658	Objectivity, Objecthood and Genetic Axiomatic Methods in Modern Categorical Mathematics In 1934 Hilbert and Beranys distinguished between their novel notion of formal axiomatic method, which later became standard, and a Add to Reading List Source URL: philomatica.org Language: English - Date: 2014-01-07 11:48:55 Mathematical logic Philosophy of mathematics Axiomatic system David Hilbert Foundations of mathematics Axiom Mathematical analysis Certainty Geometry Mathematics Formal systems Logic
659	Axiomatic Set Theory: Problem sheet[removed]a) Assuming ZF (ie. ZF∗ +Foundation) prove that the following two definitions of “ordinal” are equivalent: (i) An ordinal is a transitive set well-ordered by ∈. (ii) An o Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2010-02-03 12:15:01 Ordinal numbers Axioms of set theory Z notation Constructible universe Ordinal arithmetic Axiom of regularity S Hartogs number Reflection principle Mathematical logic Mathematics Set theory
660	MATH CIRCLE - SET THEORY WEEKS 5-7 SAM LICHTENSTEIN It’s been a few weeks since I put notes online. Sorry for the delay! Let me try to reconstruct some of what was covered in the class since Week 5. The necessity of ax Add to Reading List Source URL: www.themathcircle.org Language: English - Date: 2007-12-08 22:06:11 Set theory Z notation Function Constructible universe Axiom S Naive set theory Principia Mathematica Mathematical logic Mathematics Logic

UPDATE