z-logo
Premium
Generic trivializations of geometric theories
Author(s) -
Berenstein Alexander,
Vassiliev Evgueni
Publication year - 2014
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201300030
Subject(s) - mathematics , nip , converse , rank (graph theory) , simplicity , stability (learning theory) , pure mathematics , discrete mathematics , combinatorics , geometry , computer science , philosophy , epistemology , machine learning , programming language
We study the theory T * of the structure induced by parameter free formulas on a “dense” algebraically independent subset of a model of a geometric theory T . We show that while being a trivial geometric theory, T * inherits most of the model theoretic complexity of T related to stability, simplicity, rosiness, the NIP and the NTP 2 . In particular, we show that T is strongly minimal, supersimple of SU‐rank 1, has the NIP or the NTP 2 exactly when T * has these properties. We show that if T is superrosy of thorn rank 1, then so is T * , and that the converse holds if T satisfies acl = dcl.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom