Theorems - PDFSEARCH.IO - Document Search Engine

Theorems
Results: 880

#	Item
81	263 Doc. Math. J. DMV Higher Index Theorems and the Boundary Map in Cyclic Cohomology Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-15 07:16:00 Algebra Abstract algebra Mathematics Homological algebra Cyclic homology Cohomology Joachim Cuntz Hochschild homology Homology Sheaf De Rham cohomology Singular homology
82	Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Mathematical logic Mathematics Wellfoundedness Set theory Ordinal numbers Constructible universe Proof theory CurryHoward correspondence Net
83	FUNDAMENTAL THEOREMS OF VON NEUMANN ALGEBRAS G.K. ELEFTHERAKIS 1. Functional calculus Let H be a Hilbert space. A bounded operator T on H is a linear map Add to Reading List Source URL: sot2012.pns.aegean.gr Language: English - Date: 2012-07-31 04:59:24 Operator theory Spectral theory Functional analysis Mathematical analysis Algebra Contraction Spectrum Hilbert space Decomposition of spectrum Essential spectrum
84	641 Documenta Math. Refinement of Tate’s Discriminant Bound and Non-Existence Theorems for Mod p Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2003-12-22 16:28:43 Abstract algebra Algebra Class field theory Mathematics Conjectures Artin L-function Generalized Riemann hypothesis Representation theory Conductor Representation theory of Lie groups Zonal spherical function
85	Witt Vectors and a Question of Rudnick and Waxman Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2016-06-29 15:04:19 Algebra Mathematics Ring Ring theory Cohomology Finite groups Sylow theorems
86	Free Theorems and “Real” Languages Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Universal algebra Constructible universe Type theory CurryHoward correspondence
87	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
88	641 Documenta Math. Refinement of Tate’s Discriminant Bound and Non-Existence Theorems for Mod p Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-22 16:28:43 Abstract algebra Algebra Class field theory Mathematics Conjectures Artin L-function Generalized Riemann hypothesis Representation theory Conductor Representation theory of Lie groups Zonal spherical function
89	A Case for Incomplete Markets∗ Lawrence E. Blume† Timothy Cogley‡ Thomas J. Sargent¶ Add to Reading List Source URL: www.tomsargent.com Language: English - Date: 2015-06-10 20:55:55 Welfare economics Mathematical analysis Economics Mathematics Sigma-algebra Pareto efficiency Social welfare function Fundamental theorems of welfare economics Model theory Pareto
90	Uniform Glivenko-Cantelli Theorems and Concentration of Measure in the Mathematical Modelling of Learning Martin Anthony Department of Mathematics London School of Economics Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2003-09-22 14:02:41 Mathematical analysis Mathematics Analysis Probability theory Empirical process Measure theory GlivenkoCantelli theorem Law of large numbers Empirical measure Sigma-algebra Support Central limit theorem

UPDATE