<--- Back to Details
First PageDocument Content
Model theory / Algebraic structures / Mathematical structures / Field theory / First-order logic / Type / Structure / Universal algebra / John V. Tucker / Mathematics / Abstract algebra / Algebra
Date: 2007-04-14 14:30:54
Model theory
Algebraic structures
Mathematical structures
Field theory
First-order logic
Type
Structure
Universal algebra
John V. Tucker
Mathematics
Abstract algebra
Algebra

The Rational Numbers as an Abstract Data Type J. A. BERGSTRA University of Amsterdam, Informatics Institute, Amsterdam, The Netherlands AND J. V. TUCKER

Add to Reading List

Source URL: www-compsci.swan.ac.uk

Download Document from Source Website

File Size: 161,34 KB

Share Document on Facebook

Similar Documents

The Schur algebra is not spectral in B(`2). Romain Tessera∗ July 31, 2009 Abstract We give an example of an infinite matrix whose rows and columns

The Schur algebra is not spectral in B(`2). Romain Tessera∗ July 31, 2009 Abstract We give an example of an infinite matrix whose rows and columns

DocID: 1xVrQ - View Document

THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S

THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S

DocID: 1xV3t - View Document

Left inverses of matrices with polynomial decay. Romain Tessera∗ July 21, 2010 Abstract It is known that the algebra of Schur operators on `2 (namely operators

Left inverses of matrices with polynomial decay. Romain Tessera∗ July 21, 2010 Abstract It is known that the algebra of Schur operators on `2 (namely operators

DocID: 1xTkK - View Document

THE CALKIN ALGEBRA IS NOT COUNTABLY HOMOGENEOUS ILIJAS FARAH AND ILAN HIRSHBERG Abstract. We show that the Calkin algebra is not countably homogeneous, in the sense of continuous model theory. We furthermore show that th

THE CALKIN ALGEBRA IS NOT COUNTABLY HOMOGENEOUS ILIJAS FARAH AND ILAN HIRSHBERG Abstract. We show that the Calkin algebra is not countably homogeneous, in the sense of continuous model theory. We furthermore show that th

DocID: 1vnHK - View Document

ADDENDUM TO “ALL AUTOMORPHISMS OF THE CALKIN ALGEBRA ARE INNER” ILIJAS FARAH Abstract. The proof of my recent result that all automorphisms of the Calkin algebra are inner can be simplified by using a simple observat

ADDENDUM TO “ALL AUTOMORPHISMS OF THE CALKIN ALGEBRA ARE INNER” ILIJAS FARAH Abstract. The proof of my recent result that all automorphisms of the Calkin algebra are inner can be simplified by using a simple observat

DocID: 1vlGI - View Document