On the elementary theory of quadruples of vector spaces

Annals of Mathematical Logic 19 (3):243 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(80)90011-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,038

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Model-theory of vector-spaces over unspecified fields.David Pierce - 2009 - Archive for Mathematical Logic 48 (5):421-436.
Division rings whose vector spaces are pseudofinite.Vinicius Lopes & Lou van den Dries - 2010 - Journal of Symbolic Logic 75 (3):1087-1090.
Division rings whose vector spaces are pseudofinite.Lou van den Dries & Vinicius Cifú Lopes - 2010 - Journal of Symbolic Logic 75 (3):1087 - 1090.
Division rings whose vector spaces are pseudofinite.Lou Den Drievans & Vinicius Cifú Lopes - 2010 - Journal of Symbolic Logic 75 (3):1087-1090.
Some new results on decidability for elementary algebra and geometry.Robert M. Solovay, R. D. Arthan & John Harrison - 2012 - Annals of Pure and Applied Logic 163 (12):1765-1802.
Introductory notes on the mathematics needed for quantum theory.Rob Clifton - unknown
Elimination of quantifiers over vectors in some theories of vector spaces.Andrey A. Kuzichev - 1992 - Mathematical Logic Quarterly 38 (1):575-577.
Sperner spaces and first‐order logic.Andreas Blass & Victor Pambuccian - 2003 - Mathematical Logic Quarterly 49 (2):111-114.
Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces.Iraj Kalantari & Allen Retzlaff - 1977 - Journal of Symbolic Logic 42 (4):481-491.
Degree theory for VMO maps on metric spaces.Francesco Uguzzoni & Ermanno Lanconelli - 2002 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 1 (3):569-601.
Fusion over Sublanguages.Assaf Hasson & Martin Hils - 2006 - Journal of Symbolic Logic 71 (2):361 - 398.
The Bloch Gyrovector.Jing-Ling Chen & Abraham A. Ungar - 2002 - Foundations of Physics 32 (4):531-565.
From the Group SL(2, C) to Gyrogroups and Gyrovector Spaces and Hyperbolic Geometry.Jingling Chen & Abraham A. Ungar - 2001 - Foundations of Physics 31 (11):1611-1639.
On the existence of universal models.Mirna Džamonja & Saharon Shelah - 2004 - Archive for Mathematical Logic 43 (7):901-936.
The Hyperbolic Geometric Structure of the Density Matrix for Mixed State Qubits.Abraham A. Ungar - 2002 - Foundations of Physics 32 (11):1671-1699.

Analytics

Added to PP
2014-01-17

Downloads
9 (#1,255,090)

6 months
1 (#1,473,216)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An undecidability theorem for lattices over group rings.Carlo Toffalori - 1997 - Annals of Pure and Applied Logic 88 (2-3):241-262.
On pairs of free modules over a Dedekind domain.Saverio Cittadini & Carlo Toffalori - 2006 - Archive for Mathematical Logic 45 (1):75-95.

Add more citations

References found in this work

The elementary theory of abelian groups.Paul C. Eklof - 1972 - Annals of Mathematical Logic 4 (2):115.
Elementary Properties of Abelian Groups.W. Szmielew - 1959 - Journal of Symbolic Logic 24 (1):59-59.

Add more references