| 2023-09 |
Transitivity, Lowness, And Ranks In Nsop Theories |
Journal of Symbolic Logic
|
| 2023-01 |
Automorphism groups over a hyperimaginary |
JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN
|
| 2022-02 |
Independence over arbitrary sets in NSOP1 theories |
ANNALS OF PURE AND APPLIED LOGIC
|
| 2021-09 |
WEAK CANONICAL BASES IN NSOP1 THEORIES |
JOURNAL OF SYMBOLIC LOGIC
|
| 2021-06 |
The relativized Lascar groups, type-amalgamation, and algebraicity |
JOURNAL OF SYMBOLIC LOGIC
|
| 2020-06 |
More on tree properties |
FUNDAMENTA MATHEMATICAE
|
| 2020-04 |
Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories |
FUNDAMENTA MATHEMATICAE
|
| 2019-09 |
On the number of countable models of a countable NSOP1 theory without weight ω |
JOURNAL OF SYMBOLIC LOGIC
|
| 2017-12 |
The Lascar groups and the first homology groups in model theory |
ANNALS OF PURE AND APPLIED LOGIC
|
| 2017-09 |
Homology groups of types in stable theories and the Hurewicz correspondence |
ANNALS OF PURE AND APPLIED LOGIC
|
| 2016-08 |
On the n-uniqueness of types in rosy theories |
Archive for Mathematical Logic
|
| 2016-07 |
The 1st homology group in model theory as a quotient group of the Lascar group |
RIMS Koyuroku(數理解析硏究所 講究錄)
|
| 2015-06 |
Type-amalgamation properties and polygroupoids in stable theories |
JOURNAL OF MATHEMATICAL LOGIC
|
| 2015-03 |
A CLASSIFICATION OF 2-CHAINS HAVING 1-SHELL BOUNDARIES IN ROSY THEORIES |
JOURNAL OF SYMBOLIC LOGIC
|
| 2014-02 |
Tree indiscernibilities, revisited |
ARCHIVE FOR MATHEMATICAL LOGIC
|
| 2013-12 |
Homology groups of types in model theory and the computation of H2(p) |
JOURNAL OF SYMBOLIC LOGIC
|
| 2013-07 |
The Lascar group and the strong types of hyperimaginaries |
Notre Dame Journal of Formal Logic
|
| 2013-01 |
Amalgamation functors and boundary properties in simple theories |
ISRAEL JOURNAL OF MATHEMATICS
|
| 2011-09 |
Notions around tree property 1 |
ANNALS OF PURE AND APPLIED LOGIC
|
| 2010-10 |
Amalgamation, the boundary property, and homology |
RIMS Koyuroku(數理解析硏究所 講究錄)
|
| 2010-03 |
RECOVERING THE HYPERDEFINABLE GROUP ACTION IN THE GROUP CONFIGURATION THEOREM |
Journal Of Symbolic Logic
|
| 2008-09 |
Generalized amalgamation and n-simplicity |
Annals Of Pure And Applied Logic
|
| 2007-12 |
Stable definability and generic relations |
JOURNAL OF SYMBOLIC LOGIC
|
| 2007-05 |
The group configuration theorem and its applications |
RIMS Koyuroku(數理解析硏究所 講究錄)
|
| 2007-01 |
A note on weak dividing |
ARCHIVE FOR MATHEMATICAL LOGIC
|
| 2006-12 |
Constructing the hyperdefinable group from the group configuration |
JOURNAL OF MATHEMATICAL LOGIC
|
| 2004-07 |
Nonfinite axiomatizability |
RIMS Koyuroku(數理解析硏究所 講究錄)
|
| 2003-12 |
신학과 수학에서의 진리와 믿음:사영결정 공리의 신학적 함의 |
신학사상
|
| 2003-03 |
The geometry of 1-based minimal types |
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY
|
| 2001-06 |
Simplicity and stability in there |
JOURNAL OF SYMBOLIC LOGIC
|
| 2001-01 |
Around stable forking |
FUNDAMENTA MATHEMATICAE
|
| 2000-03 |
Coordinatisation and canonical bases in simple theories |
JOURNAL OF SYMBOLIC LOGIC
|
| 1999-12 |
On the number of countable models of a countable supersimple theory |
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES
|
| 1999-08 |
A survey on canonical bases in simple theories |
London Mathematical Society Lecture Note Series
|
| 1998-10 |
A supersimple nonlow theories |
Notre Dame Journal of Formal Logic
|
| 1998-09 |
A note on Lascar strong types in simple theories |
JOURNAL OF SYMBOLIC LOGIC
|
| 1998-04 |
Forking in simple unstable theories |
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES
|
| 1998-03 |
From stability to simplicity |
BULLETIN OF SYMBOLIC LOGIC
|
| 1997-11 |
Simple theories |
ANNALS OF PURE AND APPLIED LOGIC
|
| 1997-03 |
Recent results on simple first order theories |
London Mathematical Society Lecture Note Series
|