• 343 Citations
  • 8 h-Index
19972019
If you made any changes in Pure these will be visible here soon.

Research Output 1997 2019

  • 343 Citations
  • 8 h-Index
  • 24 Article
  • 2 Conference contribution
  • 1 Editorial
2019

On the Number of Countable Models of A Countable NSOP1 Theory Without Weight ω

Kim, B., 2019 Sep 1, In : Journal of Symbolic Logic. 84, 3, p. 1168-1175 8 p.

Research output: Contribution to journalArticle

Countable
Categorical
Theorem
Model
2017
1 Citation (Scopus)

Homology groups of types in stable theories and the Hurewicz correspondence

Goodrick, J., Kim, B. & Kolesnikov, A., 2017 Sep 1, In : Annals of Pure and Applied Logic. 168, 9, p. 1710-1728 19 p.

Research output: Contribution to journalArticle

Homology Groups
Correspondence
Algebraic topology
P-groups
Automorphism Group
1 Citation (Scopus)

The Lascar groups and the first homology groups in model theory

Dobrowolski, J., Kim, B. & Lee, J., 2017 Dec, In : Annals of Pure and Applied Logic. 168, 12, p. 2129-2151 23 p.

Research output: Contribution to journalArticle

Homology Groups
Model Theory
Algebraically closed
Trivial
Surjection
2016
1 Citation (Scopus)

On the n-uniqueness of types in rosy theories

Kim, B., 2016 Aug 1, In : Archive for Mathematical Logic. 55, 5-6, p. 677-686 10 p.

Research output: Contribution to journalArticle

Uniqueness
Imply
2015
2 Citations (Scopus)

A classification of 2-chains having 1-shell boundaries in rosy theories

Kim, B., Kim, S. & Lee, J., 2015 Mar 13, In : Journal of Symbolic Logic. 80, 1, p. 322-340 19 p.

Research output: Contribution to journalArticle

Shell
Homology Groups
Functor
Trivial
Classify
3 Citations (Scopus)

Type-amalgamation properties and polygroupoids in stable theories

Goodrick, J., Kim, B. & Kolesnikov, A., 2015 Jun 10, In : Journal of Mathematical Logic. 15, 1, 1550004.

Research output: Contribution to journalArticle

Amalgamation
Groupoids
Algebraic Structure
Predicate
High-dimensional
2014
4 Citations (Scopus)

Tree indiscernibilities, revisited

Kim, B., Kim, H. J. & Scow, L., 2014 Feb 1, In : Archive for Mathematical Logic. 53, 1-2, p. 211-232 22 p.

Research output: Contribution to journalArticle

Theorem
Divides
Verify
Modeling
Model
2013
7 Citations (Scopus)

Amalgamation functors and boundary properties in simple theories

Goodrick, J., Kim, B. & Kolesnikov, A., 2013 Jan 1, In : Israel Journal of Mathematics. 193, 1, p. 169-207 39 p.

Research output: Contribution to journalArticle

Amalgamation
Functor
Groupoids
Uniqueness
Unstable

Characterization of the second homology group of a stationary type in a stable theory

Goodrick, J., Kim, B. & Kolesnikov, A., 2013 Jan 1, Proceedings of the 13th Asian Logic Conference, ALC 2013. World Scientific Publishing Co. Pte Ltd, p. 93-104 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Homology groups of types in model theory and the computation of H2(P)

Goodrick, J., Kim, B. & Kolesnikov, A., 2013 Jan 1, In : Journal of Symbolic Logic. 78, 4, p. 1086-1114 29 p.

Research output: Contribution to journalArticle

Homology Groups
Model Theory
P-groups
Profinite Groups
Amalgamation

Preface

Zhao, X., Feng, Q., Kim, B. & Yu, L., 2013 Jan 1, In : Proceedings of the 13th Asian Logic Conference, ALC 2013. p. v

Research output: Contribution to journalEditorial

The lascar group and the strong types of hyperimaginaries

Kim, B., 2013 Oct 10, In : Notre Dame Journal of Formal Logic. 54, 3-4, p. 497-507 11 p.

Research output: Contribution to journalArticle

Imply
Context
Observation
2011
13 Citations (Scopus)

Notions around tree property 1

Kim, B. & Kim, H. J., 2011 Sep 1, In : Annals of Pure and Applied Logic. 162, 9, p. 698-709 12 p.

Research output: Contribution to journalArticle

Counting
Imply
Equivalence
Generalization
2010

Geometric simplicity theory

Kim, B., 2010 Jan 1, Proceedings of the 10th Asian Logic Conference. World Scientific Publishing Co. Pte Ltd, p. 227-262 36 p. (Proceedings of the 10th Asian Logic Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Simplicity

Recovering the hyperdefinable group action in the group configuration theorem

Kim, B., 2010 Mar 1, In : Journal of Symbolic Logic. 75, 1, p. 12-24 13 p.

Research output: Contribution to journalArticle

Group Action
Homogeneous Space
Configuration
Theorem
Continue
2008
6 Citations (Scopus)

Generalized amalgamation and n-simplicity

Kim, B., Kolesnikov, A. S. & Tsuboi, A., 2008 Sep 1, In : Annals of Pure and Applied Logic. 155, 2, p. 97-114 18 p.

Research output: Contribution to journalArticle

Amalgamation
Simplicity
Distinct
Hierarchy
2007

A note on weak dividing

Kim, B. & Shi, N., 2007 Feb 1, In : Archive for Mathematical Logic. 46, 2, p. 51-60 10 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Stable definability and generic relations

Kim, B. & Moosa, R., 2007 Dec 1, In : Journal of Symbolic Logic. 72, 4, p. 1163-1176 14 p.

Research output: Contribution to journalArticle

Definability
Canonical Basis
Amalgamation
Trivial
Restriction
2003
12 Citations (Scopus)

The geometry of 1-based minimal types

De Piro, T. & Kim, B., 2003 Oct 1, In : Transactions of the American Mathematical Society. 355, 10, p. 4241-4263 23 p.

Research output: Contribution to journalArticle

Geometry
Division ring or skew field
Fold
Vector spaces
Categorical
2001
7 Citations (Scopus)

Around stable forking

Kim, B. & Pillay, A., 2001 Jan 1, In : Fundamenta Mathematicae. 170, 1-2, p. 107-118 12 p.

Research output: Contribution to journalArticle

Canonical Basis
18 Citations (Scopus)

Simplicity, and stability in there

Kim, B., 2001 Jun, In : Journal of Symbolic Logic. 66, 2, p. 822-836 15 p.

Research output: Contribution to journalArticle

Simplicity
Elimination Theory
Canonical Basis
Amalgamation
Definability
2000
50 Citations (Scopus)

Coordinatisation and canonical bases in simple theories

Hart, B., Kim, B. & Pillay, A., 2000 Jan 1, In : Journal of Symbolic Logic. 65, 1, p. 293-309 17 p.

Research output: Contribution to journalArticle

Canonical Basis
1999
7 Citations (Scopus)

On the number of countable models of a countable supersimple theory

Kim, B., 1999 Dec, In : Journal of the London Mathematical Society. 60, 3, p. 641-645 5 p.

Research output: Contribution to journalArticle

Countable
Theorem
Model
1998
20 Citations (Scopus)

A note on Lascar strong types in simple theories

Kim, B., 1998 Sep, In : Journal of Symbolic Logic. 63, 3, p. 926-936 11 p.

Research output: Contribution to journalArticle

Countable
Arbitrary
59 Citations (Scopus)

Forking in simple unstable theories

Kim, B., 1998 Jan 1, In : Journal of the London Mathematical Society. 57, 2, p. 257-267 11 p.

Research output: Contribution to journalArticle

Unstable
Equivalence
First-order
Symmetry
Class
17 Citations (Scopus)

From stability to simplicity

Kim, B. & Pillay, A., 1998 Mar, In : Bulletin of Symbolic Logic. 4, 1, p. 17-36 20 p.

Research output: Contribution to journalArticle

Simplicity
1997
107 Citations (Scopus)

Simple theories

Kim, B. & Pillay, A., 1997 Nov 17, In : Annals of Pure and Applied Logic. 88, 2-3, p. 149-164 16 p.

Research output: Contribution to journalArticle