Hostname: page-component-7b7567c8c-tnzcf Total loading time: 0 Render date: 2026-11-15T08:09:24.650Z Has data issue: false hasContentIssue false

GENERIC STABILITY AND STABILITY

Published online by Cambridge University Press:  17 April 2014

HANS ADLER
Affiliation:
KURT GÖDEL RESEARCH CENTER FOR MATHEMATICAL LOGIC, HRINGER STRAßE 25, 1090 WIEN, AUSTRIA E-mail: johannes.aquila@googlemail.com
ENRIQUE CASANOVAS
Affiliation:
DEPARTAMENTO DE LÓGICA, HISTORIA Y FILOSOFÍA DE LA CIENCIA, UNIVERSIDAD DE BARCELONA, MONTALEGRE 6, 08001 BARCELONA, SPAIN E-mail: e.casanovas@ub.edu
ANAND PILLAY
Affiliation:
DEPARTMENT OF MATHEMATICS, UNIVERSITY OF NOTRE DAME, IN 46556, USA E-mail: a.pillay@leeds.ac.uk
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

We prove two results about generically stable types p inarbitrary theories. The first, on existence of strong germs, generalizes resultsfrom [2] on stably dominated types. Thesecond is an equivalence of forking and dividing, assuming generic stability ofp (m) for all m. Weuse the latter result to answer in full generality a question posed by Hassonand Onshuus: If P(x) εS(B) is stable and does not fork overA then prestrictionA is stable. (They hadsolved some special cases.)

Information

Type
Articles
Copyright
Copyright © Association for Symbolic Logic 2014