Results 1 to 10 of about 21,799 (256)
A Cartan-Eilenberg approach to Homotopical Algebra
, 2010 In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences.
Navarro, Vicenç (Navarro Aznar) +8 more
core +1 more source
Contractions of 2D 2nd Order Quantum Superintegrable Systems and the Askey Scheme for Hypergeometric Orthogonal Polynomials [PDF]
, 2013 We show explicitly that all 2nd order superintegrable systems in 2 dimensions are limiting cases of a single system: the generic 3-parameter potential on the 2-sphere, S9 in our listing.
Willard Miller Jr. +8 more
core +1 more source
On relationships between algebraic properties of groups and rings in some model-theoretic contexts [PDF]
The Journal of Symbolic Logic, 2011 AbstractWe study relationships between certain algebraic properties of groups and rings definable in a first order structure or *-closed in a compact G-space. As a consequence, we obtain a few structural results about ω-categorical rings as well as about small, nm-stable compact G-rings, and we also obtain surprising relationships between some ...
openaire +3 more sources
Probabilistic Programming Process Algebra
, 2014 Formal modelling languages such as process algebras are widespread and effective tools in computational modelling. However, handling data and uncertainty in a statistically meaningful way is an open problem in formal modelling, severely hampering the ...
Sanguinetti, Guido +7 more
core +1 more source
Some applications of a model theoretic fact to (semi-) algebraic geometry
Indagationes Mathematicae (Proceedings), 1982 Place extension theorems for fields and for ordered fields are used in connection with a model theoretic result to give simple proofs of the completeness of projective varieties, of a similar result in semi- algebraic geometry and of the finiteness theorem of semi-algebraic geometry.
openaire +2 more sources
A Verified Algebra for Linked Data
, 2011 A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links.
Ross Horne +3 more
core +1 more source
Measure-theoretic rigidity for Mumford curves
, 2012 One can describe isomorphism of two compact hyperbolic Riemann surfaces of the same genus by a measure-theoretic property: a chosen isomorphism of their fundamental groups corresponds to a homeomorphism on the boundary of the Poincaré disc that is ...
Sub Algebra,Geometry&Mathem. Logic begr. +6 more
core +1 more source
Some model-theoretic correspondences between dimension groups and AF algebras
Annals of Pure and Applied Logic, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
The preprojective algebra of a modulated graph
, 1980 Dlab V, Ringel CM. The preprojective algebra of a modulated graph. In: Dlab V, Gabriel P, eds. Representation Theory II. Proceedings of the Second International Conference on Representations of Algebras, Ottawa, Carleton University, August 13-25, 1979 ...
Dlab, Vlastimil +2 more
core +1 more source
Boundary Algebra: A Simple Notation for Boolean Algebra and the Truth Functors [PDF]
Boundary algebra [BA] is a simpler notation for Spencer-Brown’s (1969) primary algebra [pa], the Boolean algebra 2, and the truth functors. The primary arithmetic [PA] consists of the atoms ‘()’ and the blank page, concatenation, and enclosure between ‘(‘
Philip Meguire
core