BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Junguk Lee

Junguk Lee contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.NT

Trust snapshot

Quick read

Trust 21 - Emerging
6works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2022arXiv

On the Antichain Tree Property

In this note, we investigate a new model theoretical tree property, called the antichain tree property (ATP). We develop combinatorial techniques for ATP. First, we show that ATP is always witnessed by a formula in a single free variable, and for formulas, not having ATP is closed under disjunction. Second, we show the equivalence of ATP and $k$-ATP, and provide a criterion for theories to have not ATP (being NATP). Using these combinatorial observations, we find algebraic examples of ATP and NATP, including pure group, pure fields, and valued fields. More precisely, we prove Mekler's construction for groups, Chatzidakis' style criterion for PAC fields, and the AKE-style principle for valued fields preserving NATP. And we give a construction of an antichain tree in the Skolem arithmetic and atomless Boolean algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the structure of certain valued fields

In this article, we study the structure of finitely ramified mixed characteristic valued fields. For any two complete discrete valued fields $K_1$ and $K_2$ of mixed characteristic with perfect residue fields, we show that if the $n$-th residue rings are isomorphic for each $n\ge 1$, then $K_1$ and $K_2$ are isometric and isomorphic. More generally, for $n_1\ge 1$, there is $n_2$ depending only on the ramification indices of $K_1$ and $K_2$ such that any homomorphism from the $n_1$-th residue ring of $K_1$ to the $n_2$-th residue ring of $K_2$ can be lifted to a homomorphism between the valuation rings. Moreover, we get a functor from the category of certain principal Artinian local rings of length $n$ to the category of certain complete discrete valuation rings of mixed characteristic with perfect residue fields, which naturally generalizes the functorial property of unramified complete discrete valuation rings. Our lifting result improves Basarab's relative completeness theorem for finitely ramified henselian valued fields, which solves a question posed by Basarab, in the case of perfect residue fields.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Some arithmetic properties on nonstandard rationals

For a given number field $K$, we show that the ranks of nonsingular elliptic curves over $K$ are uniformly finitely bounded if and only if weak Mordell-Weil property holds in all(some) ultrpowers $^*K$ of $K$. Also we introduce Nonstandard Mordell-Weil property for $^*K$ considering each Mordell-Weil group as $^*Z$-module, where $^*Z$ is an ultrapower of $Z$, and we show that Nonstandard Mordell-Weil property is equivalent to weak Mordell-Weil property in $^*K$. In Appendix, we showed that it is possible to consider definable abelian groups as $^*Z$-modules in a saturated nonstandard rational number field $^*Q$ so that nonstandard Mordell-Weil property is well-defined, and thus we showed that nonstandard Mordell-Weil property and weak Mordell-Weil property are equivalent. Next we focus on priems and prime ideals of nonstandard raional number fields. We give an infinite factorization theorem on $^*Q$ using valuations induced from primes of $^*Z$, and we classify maximal and prime ideal of $^*Z$ in terms of maximal filter on the set of primes of $^*Z$ and ordered semigroups of the valuation semigroup induced from maximal ideals of $^*Z$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

We classify, in a non-trivial amenable collection of functors, all 2-chains up to the relation of having the same 1-shell boundary. In particular, we prove that in a rosy theory, every 1-shell of a Lascar strong type is the boundary of some 2-chain, hence making the 1st homology group trivial. We also show that, unlike in simple theories, in rosy theories there is no upper bound on the minimal lengths of $2$-chains whose boundary is a $1$-shell.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Lascar groups and the first homology groups of strong types in rosy theories

For a rosy theory, we give a canonical surjective homomorphism from a Lascar group over $A=\acl^{eq}(A)$ to a first homology group of a strong type over $A$, and we describe its kernel by an invariant equivalence relation. As a consequence, we show that the first homology groups of strong types in rosy theories have the cardinalities of one or at least $2^{\aleph_0}$. We give two examples of rosy theories having non trivial first homology groups of strong types over $\acl^{eq}(\emptyset)$. In these examples, these two homology groups are exactly isomorphic to their Lascar group over $\acl^{eq}(\emptyset)$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

We construct a possibly non-commutative groupoid from the failure of $3$-uniqueness of a strong type. The commutative groupoid constructed by John Goodrick and Alexei Kolesnikov in \cite{GK} lives in the center of the groupoid. A certain automorphism group approximated by the vertex groups of the non-commutative groupoids is suggested as a "fundamental group" of the strong type.

0 citations0 reviewsNo code linkedOpen access