Gyesik Lee

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Semantics, specification logic, and Hoare logic of exact real computation Logical Methods in Computer Science	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 Journal of Automated Reasoning	2015-07-02	Paper
Friedman-Weiermann style independence results beyond Peano arithmetic Journal of the Korean Mathematical Society	2014-04-15	Paper
GMeta: a generic formal metatheory framework for first-order representations Programming Languages and Systems	2012-06-22	Paper
Proof-irrelevant model of CC with predicative induction and judgmental equality Logical Methods in Computer Science	2012-04-02	Paper
Kripke models for classical logic Annals of Pure and Applied Logic	2011-08-26	Paper
Sharp thresholds for hypergraph regressive Ramsey numbers Journal of Combinatorial Theory. Series A	2011-01-14	Paper
Relationship between Kanamori-McAloon principle and Paris-Harrington theorem Mathematical Theory and Computational Practice	2010-07-28	Paper
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus Logic, Language, Information and Computation	2009-07-02	Paper
Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers Journal of Combinatorial Theory. Series A	2008-09-04	Paper
Binary Trees and (Maximal) Order Types Lecture Notes in Computer Science	2007-11-13	Paper
A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) Annals of Pure and Applied Logic	2007-06-25	Paper
scientific article; zbMATH DE number 2212833 (Why is no real title available?)	2005-10-10	Paper
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Gyesik Lee