Stable theories with a new predicate

&
Journal of Symbolic Logic 66 (3):1127-1140 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2695097

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

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

Enrique Casanovas. Simple theories and hyperimaginaries. Lecture Notes in Logic, vol. 39. ASL and Cambridge University Press, Cambridge, 2011, 184 pp. [REVIEW]Bradd Hart - 2012 - Bulletin of Symbolic Logic 18 (3):405-406.
Gisela Ahlbrandt and Martin Ziegler. Quasi finitely axiomatizable totally categorical theories. Annals of pure and applied logic, vol. 30 , pp. 63–82. - Ehud Hrushovski. Totally categorical structures. Transactions of the American Mathematical Society, vol. 313 , pp. 131–159. [REVIEW]B. Zil'ber - 1993 - Journal of Symbolic Logic 58 (2):713-714.
Semi-Equational Theories.Artem Chernikov & Alex Mennen - forthcoming - Journal of Symbolic Logic:1-32.
Local Homogeneity.Bektur Baizhanov & John T. Baldwin - 2004 - Journal of Symbolic Logic 69 (4):1243 - 1260.
Ziegler Martin. Einige unentscheidbare Körpertheorien. Logic and algorithmic, An international symposium held in honour of Ernst Specker, Monographic no. 30, L'Enseignement Mathématique, Université de Genève, Geneva 1982, pp. 381–392. , pp. 269–280.). [REVIEW]Walter Baur - 1985 - Journal of Symbolic Logic 50 (2):552-552.
Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols.S. C. Kleene, W. Craig & R. L. Vaught - 1971 - Journal of Symbolic Logic 36 (2):334-335.
Decidability of some intuitionistic predicate theories.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (3):579-587.
Dependence logic in pregeometries and ω-stable theories.Gianluca Paolini & Jouko Väänänen - 2016 - Journal of Symbolic Logic 81 (1):32-55.
Kueker's conjecture for stable theories.Ehud Hrushovski - 1989 - Journal of Symbolic Logic 54 (1):207-220.
On generically stable types in dependent theories.Alexander Usvyatsov - 2009 - Journal of Symbolic Logic 74 (1):216-250.

Analytics

Added to PP
2009-01-28

Downloads
255 (#107,877)

6 months
4 (#864,415)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Superstable Expansions of Free Abelian Groups.Daniel Palacín & Rizos Sklinos - 2018 - Notre Dame Journal of Formal Logic 59 (2):157-169.
Dense codense predicates and the NTP 2.Alexander Berenstein & Hyeung-Joon Kim - 2016 - Mathematical Logic Quarterly 62 (1-2):16-24.
On expansions of.Quentin Lambotte & Françoise Point - 2020 - Annals of Pure and Applied Logic 171 (8):102809.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references