[图书][B] A guide to NIP theories

P Simon - 2015 - books.google.com
The study of NIP theories has received much attention from model theorists in the last
decade, fuelled by applications to o-minimal structures and valued fields. This book, the first …

Strongly dependent theories

S Shelah - Israel Journal of Mathematics, 2014 - Springer
We further investigate the class of models of a strongly dependent (first order complete)
theory T, continuing [Sh: 715],[Sh: 783] and related works. Those are properties (= classes) …

[图书][B] Simplicity theory

B Kim - 2013 - books.google.com
Model theory, a major branch of mathematical logic, plays a key role connecting logic and
other areas of mathematics such as algebra, geometry, analysis, and combinatorics …

A geometric introduction to forking and thorn-forking

H Adler - Journal of Mathematical Logic, 2009 - World Scientific
A ternary relation between subsets of the big model of a complete first-order theory T is
called an independence relation if it satisfies a certain set of axioms. The primary example is …

Structures having o-minimal open core

A Dolich, C Miller, C Steinhorn - Transactions of the American Mathematical …, 2010 - ams.org
The open core of an expansion of a dense linear order is its reduct, in the sense of
definability, generated by the collection of all of its open definable sets. In this paper …

[PDF][PDF] An introduction to theories without the independence property

H Adler - Archive for Mathematical Logic, 2008 - mathematik.uni-freiburg.de
Introduction to theories without the independence property Page 1 Introduction to theories
without the independence property Hans Adler∗ 4th June 2008 Abstract We present an updated …

On dp-minimality, strong dependence and weight

A Onshuus, A Usvyatsov - The Journal of Symbolic Logic, 2011 - cambridge.org
ON DP-MINIMALITY, STRONG DEPENDENCE AND WEIGHT §1. Introduction and
preliminaries. 1.1. Introduction. The original goal of this Page 1 THE JOURNAL OF …

On lovely pairs of geometric structures

A Berenstein, E Vassiliev - Annals of pure and applied logic, 2010 - Elsevier
We study the theory of lovely pairs of geometric structures, in particular o-minimal structures.
We use the pairs to isolate a class of geometric structures called weakly locally modular …

Conant-independence and generalized free amalgamation

S Mutchnik - arXiv preprint arXiv:2210.07527, 2022 - arxiv.org
We initiate the study of a generalization of Kim-independence, Conant-independence,
based on the" strong Kim-dividing" of Kaplan, Ramsey and Shelah. We introduce an axiom …

Characterizing rosy theories

C Ealy, A Onshuus - The Journal of Symbolic Logic, 2007 - cambridge.org
We examine several conditions, either the existence of a rank or a particular property of þ-
forking that suggest the existence of a well-behaved independence relation, and determine …