Negative-existentially complete structures and definability in free extensions

Journal of Symbolic Logic 41 (1):95-108 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Free ordered algebraic structures towards proof theory.Andreja Prijatelj - 2001 - Journal of Symbolic Logic 66 (2):597-608.
Definability of types, and pairs of o-minimal structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
Partly Free Semantics for Some Anderson-Like Ontological Proofs.Mirosław Szatkowski - 2011 - Journal of Logic, Language and Information 20 (4):475-512.
A hierarchy of maps between compacta.Paul Bankston - 1999 - Journal of Symbolic Logic 64 (4):1628-1644.
A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Existentially complete torsion-free nilpotent groups.D. Saracino - 1978 - Journal of Symbolic Logic 43 (1):126-134.

Analytics

Added to PP
2009-01-28

Downloads
17 (#875,159)

6 months
4 (#799,256)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Existentially Closed Closure Algebras.Philip Scowcroft - 2020 - Notre Dame Journal of Formal Logic 61 (4):623-661.

Add more citations

References found in this work

Model-completions and modules.P. Eklof - 1971 - Annals of Mathematical Logic 2 (3):251.

Add more references