Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
671	Rend. Sem. Mat. Univ. Pol. Torino Vol. 61, [removed]D.A. Martin A SIMPLE PROOF THAT DETERMINACY IMPLIES LEBESGUE MEASURABILITY Add to Reading List Source URL: www.emis.de Language: English - Date: 2005-03-20 10:08:42 Descriptive set theory Axiom of projective determinacy Axiom of determinacy Axiom of choice L Θ Measure Universally measurable set Mathematical logic Set theory Determinacy
672	Looking Ahead ? ?? Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2013-05-11 14:08:31 Automated theorem proving Formal methods Formal systems Reasoning system Automated reasoning Mathematical logic Axiom Theorem Formal proof Logic Reasoning Logical syntax
673	A BSTRACT. We describe a construction of a moduli space of solenoid functions for the C 1C -conjugacy classes of hyperbolic dynamical systems f on surfaces with hyperbolic basic sets f . We explain that if the holonomie Add to Reading List Source URL: www.numerical-yoga-guru-rupnathji.net46.net Language: English - Date: 2013-02-20 06:17:41 Mathematical analysis Diffeomorphism Anosov diffeomorphism Stable manifold Hyperbolic set Hyperbolic partial differential equation Axiom A Structural stability Dynamical systems Topology Mathematics
674	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: us.metamath.org Language: English - Date: 2014-05-21 18:58:43 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics
675	PDF Document Add to Reading List Source URL: www.super-scientist-guru-rupnathji.netau.net Language: English - Date: 2013-01-22 04:56:23 Z notation Set theory Zermelo–Fraenkel set theory Axiom of choice Axiom Large cardinal S Philosophy of mathematics Cardinal number Mathematical logic Logic Mathematics
676	Voevodsky’s Univalence Axiom in Homotopy Type Theory Steve Awodey, Álvaro Pelayo, and Michael A. Warren T Add to Reading List Source URL: www.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
677	Microsoft Word - dealing_with_polar_predicates_copyedited&formatted_v03.doc Add to Reading List Source URL: www.jesp.org Language: English - Date: 2010-08-03 22:18:00 Philosophy of science Scientific method Philosophical logic Political philosophy Truth Veracity Theory Axiom Meta-ethics Science Philosophy Ethology
678	New Stock Option Rules for Early Stage Companies Dr. Stanley Jay Feldman, Axiom Valuation Solutions Ken Appleby, Foley & Lardner Jack Malley, First Jensen Group Add to Reading List Source URL: www.axiomvaluation.com Language: English - Date: 2012-03-26 14:04:39 Financial markets Financial accounting Valuation Financial economics Foley & Lardner Mark-to-market accounting Fair value Finance Business Accountancy
679	By Axiom Valuation Solutions Authors Stanley Jay Feldman, Ph.D. Chairman and Chief Valuation Officer Add to Reading List Source URL: www.axiomvaluation.com Language: English - Date: 2012-06-06 10:31:53 Corporate finance Financial accounting Financial markets Fundamental analysis Valuation Enterprise value Capital structure Fair value Derivative Finance Business Financial economics
680	New Stock Option Rules for Early Stage Companies Dr. Stanley Jay Feldman, Axiom Valuation Solutions Ken Appleby, Foley & Lardner Jack Malley, First Jensen Group Add to Reading List Source URL: www.axiomvaluation.com Language: English - Date: 2012-03-26 14:04:40 Options Corporate finance Generally Accepted Accounting Principles Equity securities Mathematical finance Valuation Enterprise value Fair value Real options valuation Finance Financial economics Business

UPDATE