A generalized model companion for a theory of partially ordered fields

Journal of Symbolic Logic 44 (4):643-652 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273301

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,063

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

The model theory of ordered differential fields.Michael F. Singer - 1978 - Journal of Symbolic Logic 43 (1):82-91.
Review: G. Y. Sher, Partially-Ordered (Branching) Generalized Quantifiers: A General Definition. [REVIEW]Dag Westerstahl - 1998 - Journal of Symbolic Logic 63 (4):1614-1615.
Sher G. Y.. Partially-ordered generalized quantifiers: a general definition. Journal of philosophical logic, vol. 26 , pp. 1–43. [REVIEW]Dag Westerståhl - 1998 - Journal of Symbolic Logic 63 (4):1614-1615.
The model theory of m‐ordered differential fields.Cédric Rivière - 2006 - Mathematical Logic Quarterly 52 (4):331-339.
Partially Ordered Sets and Symbolic Logic.K. Chandrasekharan - 1946 - Journal of Symbolic Logic 11 (3):100-101.
The Model Completion of the Theory of All Partially Ordered Sets.G. E. Puninskij - 1989 - Mathematical Logic Quarterly 35 (6):481-481.
Decidability and finite axiomatizability of theories of ℵ0-categorical partially ordered sets.James H. Schmerl - 1981 - Journal of Symbolic Logic 46 (1):101 - 120.
The model companion of differential fields with free operators.Omar León Sánchez & Rahim Moosa - 2016 - Journal of Symbolic Logic 81 (2):493-509.
Partially ordered interpretations.Nobuyoshi Motohashi - 1977 - Journal of Symbolic Logic 42 (1):83-93.

Analytics

Added to PP
2009-01-28

Downloads
207 (#120,465)

6 months
11 (#322,218)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Completing theories by forcing.J. Barwise - 1970 - Annals of Mathematical Logic 2 (2):119.

Add more references