QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 25 JanuaryDaya) Show that, up to isomorphism, there is a unique group of order 15.

Source URL: www.math.harvard.edu

CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES SHIN HATTORI Abstract. Let p > 2 be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated BarsottiTate group of level n, heigh

Source URL: www2.math.kyushu-u.ac.jp

• Algebra
• Abstract algebra
• Mathematics
• Group theory
• Divisor
• Morphism of schemes
• Vector bundle
• Sheaf
• Order
• Algebraic geometry
• Isomorphism theorem

The homomorphism order Constrained homomorphisms Locally constrained homomorphism orders Constrained homomorphism orders Jan Hubiˇcka

Source URL: www.ucw.cz

• Morphisms
• Mathematics
• Homomorphism
• Graph homomorphism
• Core
• Isomorphism
• Duality
• Homomorphic equivalence
• Module homomorphism

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 25 JanuaryDaya) Show that, up to isomorphism, there is a unique group of order 15.

Source URL: math.harvard.edu

The Complexity of Order Type Isomorphism implementation of the predicate (e.g. solving geoGreg Aloupis1 John Iacono2 Stefan Langerman3 2 Stefanie Wuhrer4 ¨ ur Ozkan ¨ Ozg¨ Abstract The order type of a point set in Rd

Source URL: www-cs.engr.ccny.cuny.edu

Electronic Notes in Theoretical Computer Science 44 No[removed]URL: http://www.elsevier.nl/locate/entcs/volume44.html 14 pages When is a function a fold or an unfold? Jeremy Gibbons a , Graham Hutton b , and Thorsten A

Source URL: www.cs.nott.ac.uk

• Higher-order functions
• Category theory
• Isomorphism theorems
• Fold
• Recursion
• Morphisms
• Anamorphism
• Map
• Function composition
• Mathematics
• Abstract algebra
• Declarative programming

ENUMERATION OF STEINER TRIPLE SYSTEMS WITH SUBSYSTEMS PETTERI KASKI, PATRIC R. J. ÖSTERGÅRD, AND ALEXANDRU POPA A Steiner triple system of order v , an STS(v ), is a set of 3-element subsets, called blocks, of a v -ele

Source URL: users.tkk.fi

• Morphisms
• Design of experiments
• Design theory
• Steiner system
• Isomorphism
• Degree
• End
• Graph
• Order
• Mathematics
• Combinatorics
• Graph theory

Global Supervenience and Identity across Times and Worlds∗ Theodore Sider Philosophy and Phenomenological Research[removed]): 913–937

Source URL: tedsider.org

• Physicalism
• Ontology
• Supervenience
• Jaegwon Kim
• Identity of indiscernibles
• First-order logic
• Possible world
• Isomorphism
• Equivalence of categories
• Metaphysics
• Philosophy
• Mathematics

Planar Graph Growth Constants Steven Finch August 25, 2004 A graph of order n consists of a set of n vertices (points) together with a set of edges (unordered pairs of distinct points). Note that loops and multiple paral

Source URL: www.people.fas.harvard.edu

• Neighbourhood
• Outerplanar graph
• Graph isomorphism
• Graph
• Topological graph theory
• Path decomposition
• Dual graph
• Graph theory
• Planar graphs
• Graph operations

Finite Model Theory and Graph Isomorphism. I. Anuj Dawar

Source URL: www.cl.cam.ac.uk

• Model theory
• Mathematical structures
• Finite model theory
• Algebraic structures
• FO
• Second-order logic
• First-order logic
• Graph
• Structure
• Mathematics
• Logic
• Mathematical logic