Makoto Kikuchi

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
Generalizations of Gödel's incompleteness theorems for \(\Sigma_n\)-definable theories of arithmetic The Review of Symbolic Logic	2018-01-17	Paper
Set-theoretic mereology Logic and Logical Philosophy	2017-08-11	Paper
Universal Rosser predicates Journal of Symbolic Logic	2017-06-01	Paper
Illusory models of Peano arithmetic Journal of Symbolic Logic	2017-04-28	Paper
The inclusion relations of the countable models of set theory are all isomorphic	2017-04-14	Paper
Liar-type paradoxes and the incompleteness phenomena Journal of Philosophical Logic	2016-09-15	Paper
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos Mathematical Logic Quarterly (MLQ)	2012-09-12	Paper
Kolmogorov complexity and characteristic constants of formal theories of arithmetic Mathematical Logic Quarterly	2011-11-07	Paper
A Mathematical Model of Deductive and Non-Deductive Inferences Annals of the Japan Association for Philosophy of Science	2009-09-29	Paper
On Characteristic Constants of Theories Defined by Kolmogorov Complexity Logic, Language, Information and Computation	2008-07-10	Paper
GLOBAL PROPERTIES OF SPACELIKE CURVES IN MINKOWSKI 3-SPACE Journal of Knot Theory and Its Ramifications	2007-02-07	Paper
scientific article; zbMATH DE number 2019847 (Why is no real title available?)	2004-01-04	Paper
Abstract Design Theory Annals of the Japan Association for Philosophy of Science	2003-03-13	Paper
Hyperformulas and classifications Annals of the Japan Association for Philosophy of Science	2002-07-14	Paper
scientific article; zbMATH DE number 1305945 (Why is no real title available?)	1999-11-08	Paper
Kolmogorov complexity and the second incompleteness theorem Archive for Mathematical Logic	1997-12-10	Paper
On formalization of model-theoretic proofs of Gödel's theorems Notre Dame Journal of Formal Logic	1995-07-03	Paper
A Note on Boolos' Proof of the Incompleteness Theorem Mathematical Logic Quarterly	1994-12-08	Paper

Research outcomes over time

This page was built for person: Makoto Kikuchi