CATEGORICITY AND INFINITARY LOGICS WILL BONEY AND SEBASTIEN VASEY Abstract. We point out a gap in Shelah’s proof of the following result: Claim 0.1. Let K be an abstract elementary class categorical in

Source URL: math.harvard.edu

GOOD FRAMES IN THE HART-SHELAH EXAMPLE WILL BONEY AND SEBASTIEN VASEY Abstract. For a fixed natural number n ≥ 1, the Hart-Shelah example is an abstract elementary class (AEC) with amalgamation that is categorical exac

Source URL: math.harvard.edu

COHOMOTOPY SETS OF 4-MANIFOLDS ROBION KIRBY, PAUL MELVIN AND PETER TEICHNER Abstract. Elementary geometric arguments are used to compute the group of homotopy classes of maps from a 4-manifold X to the 3-sphere, and to e

Source URL: people.mpim-bonn.mpg.de

• Topology
• Mathematics
• Differential topology
• Surgery theory
• Algebraic topology
• Homotopy theory
• Cohomology
• Cobordism
• Homotopy
• Diffeomorphism
• StiefelWhitney class
• Homology

CO-INCIDENCE PROBLEMS AND METHODS VIPUL NAIK Abstract. Proving concurrence of lines, collinearity of points and concyclicity of points are important class of problems in elementary geometry. In this article, we use an ab

Source URL: files.vipulnaik.com

• Geometry
• Mathematics
• Elementary geometry
• Projective geometry
• Circles
• Euclidean plane geometry
• Incidence geometry
• Collinearity
• Concyclic points
• Conic section
• Incidence
• Concurrent lines

Elementary 2-Group Character Codes Cunsheng Ding1 , David Kohel2 , and San Ling3 Abstract In this correspondence we describe a class of codes over GF (q), where q is a power of an odd prime. These codes are analogues of

Source URL: iml.univ-mrs.fr

• Coding theory
• Finite fields
• Error detection and correction
• Linear code
• ReedMuller code
• XTR
• Binomial coefficient

A Case for Behavior-Preserving Actions in Separation Logic David Costanzo and Zhong Shao Yale University Abstract. Separation Logic is a widely-used tool that allows for local

Source URL: flint.cs.yale.edu

• Model theory
• Logic in computer science
• Separation logic
• Substructural logic
• Structure
• Elementary class
• Substitution

Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK

Source URL: www.informatik.uni-bremen.de

• Algebra
• Information science
• Knowledge representation
• Technical communication
• Metalogic
• Ontology
• Module
• Structure
• Elementary class
• Mathematics
• Model theory
• Abstract algebra

ON A RESULT OF ARTIN AISE JOHAN DE JONG Let k be an algebraically closed field of characteristic p > 0. Let t be a parameter and set S = Spec(k[[t]]). Let f : X → S be a smooth proper morphism with generic fibre Xη an

Source URL: math.columbia.edu

• Algebra
• Homological algebra
• Algebraic geometry
• Crystalline cohomology
• Elementary class
• Structure
• Abstract algebra
• Model theory
• Mathematics

Fermat’s Little Theorem Tanya Khovanova November 1, 2010 Nothing produces such odd results as trying to get even. Class Discussion

Source URL: www.tanyakhovanova.com

• Integer sequences
• Parity
• Algebraic number theory
• Prime number
• Singly and doubly even
• Number
• Harvard–MIT Mathematics Tournament
• Integer
• Mathematics
• Abstract algebra
• Elementary number theory

Integers in Computers Tanya Khovanova March 25, 2013 A kyboard for sal: only on ky dosn’t work. Class Discussion

Source URL: www.tanyakhovanova.com

• Algebra
• Algebraic number theory
• Data types
• Ring theory
• Elementary number theory
• Integer
• −1
• Number
• 1000
• Abstract algebra
• Mathematics
• Computer arithmetic