Theorems - PDFSEARCH.IO - Document Search Engine

Theorems
Results: 880

#	Item
151	AUTOMORPHISMS OF FUSION SYSTEMS OF FINITE SIMPLE GROUPS OF LIE TYPE CARLES BROTO, JESPER M. MØLLER, AND BOB OLIVER Abstract. For a finite group G of Lie type and a prime p, we compare the automorphism groups of the fusi Add to Reading List Source URL: www.math.univ-paris13.fr Language: English - Date: 2016-01-18 09:42:56 Algebra Abstract algebra Group theory Finite groups Sylow theorems P-group Group extension Automorphism Abelian group PSL Center Group of Lie type
152	Exact k-wise intersection theorems Tibor Szab´o ∗ V. H. Vu Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2008-09-03 14:36:01
153	Chapter 10 Trade and the Environment Key Questions • What are the classical theorems of international trade and the implications of extending them to environmental resources? Add to Reading List Source URL: www.uio.no Language: English
154	T HE HIERARCHIES M ATHIAS - LIKE FORCING Controlling iterated jumps of Ramsey-type theorems Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-09-20 15:03:06 Computability theory Low
155	Memoirs on Diﬀerential Equations and Mathematical Physics Volume 67, 2016, 1–129 Alexander Lomtatidze THEOREMS ON DIFFERENTIAL INEQUALITIES Add to Reading List Source URL: rmi.tsu.ge Language: English - Date: 2016-03-07 04:01:57
156	ON THE LOGICAL STRENGTHS OF PARTIAL SOLUTIONS TO MATHEMATICAL PROBLEMS LAURENT BIENVENU, LUDOVIC PATEY, AND PAUL SHAFER ABSTRACT. We use the framework of reverse mathematics to address the question of, given a mathematic Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-08-13 12:44:18 Computability theory Logic Proof theory Mathematics Mathematical logic Reverse mathematics Model theory Philosophy of mathematics Symbol Fixed-point theorems Primitive recursive functional Generalised Whitehead product
157	Craig Interpolation Theorems and Database Applications Balder ten Cate! LogicBlox & UC Santa Cruz! ! Add to Reading List Source URL: logic.berkeley.edu. Language: English - Date: 2014-11-09 02:27:37
158	GAP Package — COHOMOLO by Derek Holt Add to Reading List Source URL: www.gap-system.org Language: English - Date: 2016-06-10 09:36:56 Algebra Abstract algebra Mathematics Group theory Homological algebra Symmetry Schur multiplier Cohomology Sylow theorems Presentation of a group Sheaf Group
159	Combinatorial Reciprocity Theorems An Invitation To Enumerative Geometric Combinatorics Matthias Beck & Raman Sanyal v Add to Reading List Source URL: math.sfsu.edu Language: English - Date: 2015-07-12 20:44:57
160	Completeness Theorems and λ-calculus Thierry Coquand Apr. 23, 2005 Completeness Theorems and λ-calculus Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-09 09:06:07

UPDATE