Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
751	New York Journal of Mathematics New York J. Math[removed]–133. Add to Reading List Source URL: nyjm.albany.edu Language: English - Date: 2000-07-20 11:59:36 Constructible number Euclidean plane geometry Compass and straightedge constructions Huzita–Hatori axioms Constructible universe Angle trisection Circle Mathematical fallacy Axiom Mathematics Geometry Algebra
752	557 Doc. Math. J. DMV Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:55:31 Lebesgue measure Structural stability Homoclinic orbit Invariant measure Valentin Afraimovich Measure-preserving dynamical system Absolute continuity Support Axiom A Mathematical analysis Dynamical systems Attractor
753	Explicit Logics of Knowledge and Conservativity Melvin Fitting Lehman College, CUNY, 250 Bedford Park Boulevard West, Bronx, NY[removed] Add to Reading List Source URL: isaim2008.unl.edu Language: English - Date: 2010-08-24 11:06:50 Modal logic Fuzzy logic Philosophical logic Non-classical logic Axiom BL Epistemic modal logic S Constructive set theory Logic Mathematical logic Mathematics
754	Voevodsky’s Univalence Axiom in Homotopy Type Theory Add to Reading List Source URL: e-math.ams.org Language: English - Date: 2013-09-09 12:55:06 Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Algebraic topology Homotopy category Homotopy theory Topology Mathematics
755	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
756	Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010 Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2013-04-24 07:33:10 Determinacy Woodin cardinal Zermelo–Fraenkel set theory Constructible universe Axiom of projective determinacy Core model Critical point Von Neumann universe S Mathematical logic Set theory Large cardinals
757	The Well-Ordering Theorem one of the Greatest Mathematical Controversies of All Time Recall that the set of natural numbers with the order < is well-ordered. In general, a Add to Reading List Source URL: math.uchicago.edu Language: English - Date: 2011-10-20 18:46:28 Z notation Set theory Axiom of choice Well-ordering theorem Well-order Ernst Zermelo Real number Axiom S Mathematical logic Mathematics Logic
758	Negative consistent axioms can be postulated without loss of canonicity Thierry Coquand, Nils Anders Danielsson, Mart´ın H¨ Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-19 03:17:32 Set theory Z notation Type theory Axiom Mathematical constructivism Model theory Mathematical proof S Intuitionistic type theory Mathematical logic Logic Mathematics
759	182 d-8 Add to Reading List Source URL: e-books.enigma.uran.ru Language: English - Date: 2009-11-20 18:26:54 Lindelöf space Second-countable space Separable space Metrization theorem Axiom of countability Countably compact space Paracompact space Lower limit topology Normal space Topology General topology Topological spaces
760	SPASS-XDB goes Mathematical David Stanovsk´ y1 , Martin Suda2 , and Geoff Sutcliffe3 Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-01-12 07:27:42 Automated theorem proving Logic in computer science Formal methods Mathematical logic Axiom Automated reasoning SPASS Geoff Sutcliffe Mathematical proof Mathematics Theoretical computer science Mathematical software

UPDATE