Forking in Simple Unstable Theories

From MaRDI portal
Publication:4716690

DOI10.1112/S0024610798005985zbMath0922.03048OpenAlexW2013728166MaRDI QIDQ4716690

Byunghan Kim

Publication date: 12 December 1996

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/s0024610798005985




Related Items (49)

Simple homogeneous modelsInternality and interpretable automorphism groups in simple theoriesOn dp-minimality, strong dependence and weightLovely pairs of models: the non first order caseA note on weak dividingModel theory of finite fields and pseudo-finite fieldsSimple theoriesOn Kim-independenceConsistent amalgamation for þ-forkingInvariant measures in simple and in small theoriesA dichotomy for \(D\)-rank 1 types in simple theoriesTRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIESA note on the non‐forking‐instances topologyLovely pairs of modelsKim-independence in positive logicOn uncountable hypersimple unidimensional theoriesStable domination and weightOn Jonsson stability and some of its generalizationsForking and Dividing in NTP2 theoriesA note on stationarity of types over models in simple theoriesMore on tree propertiesUnnamed ItemHYPERDEFINABLE GROUPS IN SIMPLE THEORIESThe Prospects for Mathematical Logic in the Twenty-First CenturyOn non-forking spectraContinuity of SU-rank in unidimensional supersimple theoriesGeneralized amalgamation and \(n\)-simplicityDiscouraging results for ultraimaginary independence theoryForking in short and tame abstract elementary classesA GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKINGTHORN-FORKING AS LOCAL FORKINGA supersimple nonlow theory\(n\)-simple theoriesThe geometry of 1-based minimal typesSimple-like independence relations in abstract elementary classesCompactness and Independence in Non First Order FrameworksIndependence in Model TheoryGroup configurations and germs in simple theories10th Asian Logic ConferenceSIMPLICITY IN COMPACT ABSTRACT THEORIES2005 Annual Meeting of the Association for Symbolic LogicOn PAC and bounded substructures of a stable structureGeneric structures and simple theoriesThe number of types in simple theoriesStrongly determined typesIndependence logic and abstract independence relationsGeneric pairs of SU-rank 1 structuresSupersimple theoriesProperties of forking in ω-free pseudo-algebraically closed fields




This page was built for publication: Forking in Simple Unstable Theories