Archive for Mathematical Logic 59 (3-4):313-324 (2020)

Abstract
Let T be a simple L-theory and let \ be a reduct of T to a sublanguage \ of L. For variables x, we call an \-invariant set \\) in \ a universal transducer if for every formula \\in L^-\) and every a, $$\begin{aligned} \phi ^-\ L^-\text{-forks } \text{ over }\ \emptyset \ \text{ iff } \Gamma \wedge \phi ^-\ L\text{-forks } \text{ over }\ \emptyset. \end{aligned}$$We show that there is a greatest universal transducer \ and it is type-definable. In particular, the forking topology on \\) refines the forking topology on \\) for all y. Moreover, we describe the set of universal transducers in terms of certain topology on the Stone space and show that \ is the unique universal transducer that is \-type-definable with parameters. If \ is a theory with the wnfcp and T is the theory of its lovely pairs of models we show that \\) and give a more precise description of the set of universal transducers for the special case where \ has the nfcp.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
ISBN(s)
DOI 10.1007/s00153-019-00691-w
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,308
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Simple Theories.Byunghan Kim & Anand Pillay - 1996 - Annals of Pure and Applied Logic 88 (2):149-164.
Lovely Pairs of Models.Itay Ben-Yaacov, Anand Pillay & Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 122 (1-3):235-261.
On Analyzability in the Forking Topology for Simple Theories.Ziv Shami - 2006 - Annals of Pure and Applied Logic 142 (1):115-124.
On Uncountable Hypersimple Unidimensional Theories.Ziv Shami - 2014 - Archive for Mathematical Logic 53 (1-2):203-210.
On Countable Simple Unidimensional Theories.Anand Pillay - 2003 - Journal of Symbolic Logic 68 (4):1377-1384.

View all 8 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On Analyzability in the Forking Topology for Simple Theories.Ziv Shami - 2006 - Annals of Pure and Applied Logic 142 (1):115-124.
On Uncountable Hypersimple Unidimensional Theories.Ziv Shami - 2014 - Archive for Mathematical Logic 53 (1-2):203-210.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
The Stable Forking Conjecture and Generic Structures.Massoud Pourmahdian - 2003 - Archive for Mathematical Logic 42 (5):415-421.
Thorn-Forking as Local Forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):21-38.
A Geometric Introduction to Forking and Thorn-Forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):1-20.
Stable Forking and Imaginaries.Enrique Casanovas & Joris Potier - 2018 - Notre Dame Journal of Formal Logic 59 (4):497-502.
Forking and Dividing in NTP₂ Theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
Forking and Fundamental Order in Simple Theories.Daniel Lascar & Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):1155-1158.
Forking and Fundamental Order in Simple Theories.Daniel Lascar & Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):1155-1158.
Indiscernible Extraction and Morley Sequences.Sebastien Vasey - 2017 - Notre Dame Journal of Formal Logic 58 (1):127-132.
Geometry of Forking in Simple Theories.Assaf Peretz - 2006 - Journal of Symbolic Logic 71 (1):347 - 359.
On Omega-Categorical Simple Theories.Daniel Palacín - 2012 - Archive for Mathematical Logic 51 (7-8):709-717.
A Primer of Simple Theories.Rami Grossberg, José Iovino & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (6):541-580.

Analytics

Added to PP index
2019-08-30

Total views
3 ( #1,243,005 of 2,326,041 )

Recent downloads (6 months)
1 ( #650,227 of 2,326,041 )

How can I increase my downloads?

Downloads

My notes