• 354 Citations
  • 9 h-Index
19972020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 354 Citations
  • 9 h-Index
  • 26 Article
  • 3 Conference contribution
  • 1 Editorial
Filter
Article
2020

More on tree properties

Casanovas, E. & Kim, B., 2020 Jan 1, In : Fundamenta Mathematicae. 249, 3, p. 287-301 15 p.

Research output: Contribution to journalArticle

Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories

Kim, B., Kim, S. & Lee, J., 2020 Jan 1, In : Fundamenta Mathematicae. 249, 1, p. 47-70 24 p.

Research output: Contribution to journalArticle

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

2017

Homology groups of types in stable theories and the Hurewicz correspondence

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

Research output: Contribution to journalArticle

2 Citations (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

1 Citation (Scopus)
2016

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

1 Citation (Scopus)
2015

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

2 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

3 Citations (Scopus)
2014

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

5 Citations (Scopus)
2013

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

9 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

9 Citations (Scopus)

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

2011

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

15 Citations (Scopus)
2010

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

2008

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

6 Citations (Scopus)
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

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

1 Citation (Scopus)
2003

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

12 Citations (Scopus)
2001

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

7 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

18 Citations (Scopus)
2000

Coordinatisation and canonical bases in simple theories

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

Research output: Contribution to journalArticle

50 Citations (Scopus)
1999

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

7 Citations (Scopus)
1998

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

20 Citations (Scopus)

Forking in simple unstable theories

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

Research output: Contribution to journalArticle

60 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

17 Citations (Scopus)
1997

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

109 Citations (Scopus)