Elimination of quantifiers over vectors in some theories of vector spaces

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):575-577 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19920380155

Links

PhilArchive



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

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

Elimination of quantifiers over vectors in some theories of vector spaces.Andrey A. Kuzichev - 1992 - Mathematical Logic Quarterly 38 (1):575-577.
The Bloch Gyrovector.Jing-Ling Chen & Abraham A. Ungar - 2002 - Foundations of Physics 32 (4):531-565.
Definitions and units in mechanics.J. Gibson Winans - 1976 - Foundations of Physics 6 (2):209-219.
Division rings whose vector spaces are pseudofinite.Lou Den Drievans & Vinicius Cifú Lopes - 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.
Vectors on Curved Space.Peter Forrest - 2009 - Dialectica 63 (4):491-501.
Degrees of convex dependence in recursively enumerable vector spaces.Thomas A. Nevins - 1993 - Annals of Pure and Applied Logic 60 (1):31-47.
Positive Model Theory and Amalgamations.Mohammed Belkasmi - 2014 - Notre Dame Journal of Formal Logic 55 (2):205-230.
Linear independence without choice.Douglas Bridges, Fred Richman & Peter Schuster - 1999 - Annals of Pure and Applied Logic 101 (1):95-102.
Model-theory of vector-spaces over unspecified fields.David Pierce - 2009 - Archive for Mathematical Logic 48 (5):421-436.
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.
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.
Disposition‐manifestations and Reference‐frames.Alastair Wilson - 2009 - Dialectica 63 (4):591-601.
Mathematical Vectors and Physical Vectors.Ingvar Johansson - 2009 - Dialectica 63 (4):433-447.
Vector spaces and binary quantifiers.Michał Krynicki, Alistair Lachlan & Jouko Väänänen - 1984 - Notre Dame Journal of Formal Logic 25 (1):72-78.

Analytics

Added to PP
2016-02-04

Downloads
26 (#625,442)

6 months
2 (#1,241,799)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Pseudofinite structures and simplicity.Darío García, Dugald Macpherson & Charles Steinhorn - 2015 - Journal of Mathematical Logic 15 (1):1550002.
Model-theory of vector-spaces over unspecified fields.David Pierce - 2009 - Archive for Mathematical Logic 48 (5):421-436.

Add more citations

References found in this work

No references found.

Add more references