Gyesik Lee

Available identifiers

Publication	Date of Publication	Type
Semantics, specification logic, and Hoare logic of exact real computation	2024-06-27	Paper
Refinement of homogeneity and Ramsey numbers	2018-09-28	Paper
Formalizing the meta-theory of first-order predicate logic	2018-03-27	Paper
Mechanizing metatheory without typing contexts	2015-07-02	Paper
Friedman-Weiermann style independence results beyond Peano arithmetic	2014-04-15	Paper
GMeta: a generic formal metatheory framework for first-order representations	2012-06-22	Paper
Proof-irrelevant model of CC with predicative induction and judgmental equality	2012-04-02	Paper
Kripke models for classical logic	2011-08-26	Paper
Sharp thresholds for hypergraph regressive Ramsey numbers	2011-01-14	Paper
Relationship between Kanamori-McAloon principle and Paris-Harrington theorem	2010-07-28	Paper
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus	2009-07-02	Paper
Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers	2008-09-04	Paper
Binary Trees and (Maximal) Order Types	2007-11-13	Paper
A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\)	2007-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q5696111	2005-10-10	Paper
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation	N/A	Paper

This page was built for person: Gyesik Lee