• 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
Filter
Article
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
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

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

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