Makoto Kikuchi

Available identifiers

Publication	Date of Publication	Type
GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑_n-DEFINABLE THEORIES OF ARITHMETIC	2018-01-17	Paper
Set-theoretic mereology	2017-08-11	Paper
UNIVERSAL ROSSER PREDICATES	2017-06-01	Paper
ILLUSORY MODELS OF PEANO ARITHMETIC	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	2016-09-15	Paper
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos	2012-09-12	Paper
Kolmogorov complexity and characteristic constants of formal theories of arithmetic	2011-11-07	Paper
A Mathematical Model of Deductive and Non-Deductive Inferences	2009-09-29	Paper
On Characteristic Constants of Theories Defined by Kolmogorov Complexity	2008-07-10	Paper
GLOBAL PROPERTIES OF SPACELIKE CURVES IN MINKOWSKI 3-SPACE	2007-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q4440542	2004-01-04	Paper
Abstract Design Theory	2003-03-13	Paper
Hyperformulas and classifications	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4252652	1999-11-08	Paper
Kolmogorov complexity and the second incompleteness theorem	1997-12-10	Paper
On formalization of model-theoretic proofs of Gödel's theorems	1995-07-03	Paper
A Note on Boolos' Proof of the Incompleteness Theorem	1994-12-08	Paper

This page was built for person: Makoto Kikuchi