Mathematical Logic is a research group led by Professor Byunghan Kim at Yonsei University, Republic of Korea. The primary research interest is Model Theory, a branch of mathematical logic. It focuses on the relationship between formal languages (first-order logic) and their interpretations (structures or models), with applications to other fields in mathematics such as algebra and geometry. Specific areas of interest include stability theory and its generalizations, simple theories, NIP theories, and their connections to combinatorics.

수리논리 연구실은 연세대학교 김병한 교수가 이끄는 연구 그룹입니다. 주요 연구 분야는 수리논리의 한 분야인 모형이론입니다. 모형이론은 형식 언어(1차 논리)와 그 해석(구조 또는 모형) 사이의 관계를 다루며, 대수학 및 기하학과 같은 다른 수학 분야에도 응용됩니다. 특히 안정성 이론과 그 일반화, 단순 이론, NIP 이론 및 조합론과의 연관성에 중점을 둡니다.

Forking in Simple Unstable Theories

Simple theories

Coordinatisation and canonical bases in simple theories

Simplicity, and stability in there

A note on Lascar strong types in simple theories

Notions around tree property 1

From Stability to Simplicity

The geometry of 1-based minimal types

Recombinant DNA and Protein Vaccines for Foot-and-mouth Disease Induce Humoral and Cellular Immune Responses in Mice

Amalgamation functors and boundary properties in simple theories

Homology Groups of Types in Model Theory and the Computation of H2(p)

Around stable forking

CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION

A Supersimple Nonlow Theory

Generalized amalgamation and <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>n</mml:mi></mml:math>-simplicity

Simplicity Theory

Amalgamation functors and homology groups in model theory

Independence over arbitrary sets in NSOP1 theories

Type-amalgamation properties and polygroupoids in stable theories

The Lascar groups and the first homology groups in model theory

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

Tree indiscernibilities, revisited

The Lascar group, and the strong types of hyperimaginaries

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

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

Homology groups of types in stable theories and the Hurewicz correspondence

On the n-uniqueness of types in rosy theories

The relativized Lascar groups, type-amalgamation, and algebraicity

On the number of countable models of a countable NSOP1 theory without weight ω

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

More on tree properties

Transitivity, lowness, and ranks in NSOP1 theories

Weak canonical bases in NSOP1 theories

Automorphism groups over a hyperimaginary

Existence in NSOP1 theories

Weak canonical bases, ranks (and more) in NSOP1 theories (tentative title)

Simplicity Theory (Oxford Logic Guides 53)

Logical Dilemmas: The life and work of Kurt Gödel' by J. W. Dawson, Jr. (Korean translated version)

A Foundation of Model Theory (Korean version)

A natural ternary relation on the canonical base of a type

Remarks on the canonical base property

On the number of types in a dp-minimal theory

Simple theories with a compact type-definable group

A note on compact groups and NIP

Groups of finite SU-rank

Definable groups in simple theories

The canonical base property and its variants

EXISTENCE IN NSOP1 THEORIES

Constructing the type-definable group from the group configuration

Independence over arbitrary sets in NSOP1 theories.

Transitivity, lowness and ranks in NSOP1 theories

모델론의 기초

Byunghan Kim

Professor

Mathematical Logic

교수님 소개

김병한

연구실 소개

연구실 키워드

알럼나이가 간 회사

연구실 지원 방법

대우 조건

연도별 논문 인용수

저널 & 학회 논문 출판 수

연구실 논문 목록

A Foundation of Model Theory (Korean version)

A natural ternary relation on the canonical base of a type

Remarks on the canonical base property

연구실 보유 특허

대학별 입시끈

우리 연구실 모집

교수님 소개

김병한

연구실 키워드

알럼나이가 간 회사

연구실 지원 방법

대우 조건

연도별 논문 인용수

저널 & 학회 논문 출판 수

연구실 논문 목록

A Foundation of Model Theory (Korean version)

A natural ternary relation on the canonical base of a type

Remarks on the canonical base property

연구실 보유 특허

최근 3년간 연구실적 높은 연구실

대학별 입시끈

우리 연구실 모집