Constructive function theory - PDFSEARCH.IO - Document Search Engine

Constructive function theory
Results: 27

#	Item
21	CONSTRUCTIVE DOMAIN THEORY AS A BRANCH OF INTUITIONISTIC POINTFREE TOPOLOGY Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2007-05-16 11:29:37 Abstraction Scott domain Domain theory Compact element Filter Function Sheaf Semilattice Image Mathematics Order theory Structure
22	CONSTRUCTIVE QUANTUM FIELD THEORY ARTHUR JAFFE Harvard University, Cambridge, MA 02138, USA Add to Reading List Source URL: www.arthurjaffe.com Language: English - Date: 2007-10-06 16:24:49 Mathematical physics Statistical mechanics Renormalization group Regularization Coupling constant Wightman axioms Gauge theory Hilbert space Wave function Physics Quantum field theory Quantum mechanics
23	Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics (Draft for a talk at Types’2011, version of July 15, 2011, with minor updates September 28, 2011) Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-10-07 04:22:12 Set theory Constructible universe Function Well-founded relation Transfinite induction Ordinal arithmetic Continuous function Ε₀ Surreal number Mathematics Mathematical logic Ordinal numbers
24	General Mathematics Vol. 15, No[removed]), 3–20 Professor Ph.D. Alexandru Lupa¸s Add to Reading List Source URL: www.emis.de Language: English - Date: 2007-12-03 04:37:37 Approximation theory Bernstein polynomial Constructive function theory Orders of approximation Integral Calculus Mathematical analysis Numerical analysis Mathematics
25	Constructive Set Theories and their Category-theoretic Models Alex Simpson∗ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-03-03 11:00:11 Model theory Constructive set theory Intuitionism Mathematical constructivism Constructivism Peano axioms First-order logic Function Interpretation Mathematical logic Mathematics Logic
26	bernstein.dvi Add to Reading List Source URL: mae.engr.ucdavis.edu Language: English - Date: 2012-03-03 16:39:31 Numerical analysis Approximation theory Sergei Natanovich Bernstein Bernstein polynomial Stone–Weierstrass theorem Constructive function theory Polynomial Bernstein Karl Weierstrass Mathematical analysis Mathematics Polynomials
27	PDF Document Add to Reading List Source URL: www.jaist.ac.jp Language: English - Date: 2010-09-15 04:17:35 Logic Axiom of choice Set theory Function Type theory Realizability Constructive set theory Constructivism Mathematical constructivism Mathematical logic Mathematics

UPDATE