• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Comprehensive Study of Recursive Function Theory

Research Project

Project/Area Number 06302014
Research Category

Grant-in-Aid for Co-operative Research (A)

Allocation TypeSingle-year Grants
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionNagoya University

Principal Investigator

SHINODA Juichi  Nagoya University, Graduate School of Human Informatics, Associate Professor, 大学院・人間情報学研究科, 助教授 (30022685)

Co-Investigator(Kenkyū-buntansha) TANAKA Kazuyuki  Tohoku University, Department of Mathematics, Associate Professor, 理学部, 助教授 (70188291)
KAKUDA Yuzuru  Kobe University, Faculty of Engineering, Professor, 工学部, 教授 (50031365)
MATSUBARA Yo  Nagoya University, School of Informatics and Sciences, Associate Professor, 情報文化学部, 助教授 (30242788)
YASUMOTO Masahiro  Nagoya University, Graduate School of Polymathematics, Associate Professor, 大学院・多元数理科学研究科, 助教授 (10144114)
OZAWA Masanao  Nagoya University, School of Informatics and Sciences, Professor, 情報文化学部, 教授 (40126313)
Project Period (FY) 1994 – 1995
Project Status Completed (Fiscal Year 1995)
Budget Amount *help
¥5,100,000 (Direct Cost: ¥5,100,000)
Fiscal Year 1995: ¥2,500,000 (Direct Cost: ¥2,500,000)
Fiscal Year 1994: ¥2,600,000 (Direct Cost: ¥2,600,000)
Keywordsrecursive function / computational complexity / Boolean-valed model / axiomatic set theory / nonstandard analysis / 巨大基数
Research Abstract

The detail of the research results obtained in this project is to be published as a report in Japanese. Summary of several results is as follows.
(1) On computational complexity of functions and their graphs, it is shown that there are continuaously many functions of polynomial growth rate which are not polynomial time computable from their graphs.
(2) On generalized Kolmogorov complexity, it is shown that there are continuaously many sets which are sparse but not self P-printable.
(3) The theory of Boolean-valued models on nonstandard models of Peano Arithmetic is established. As an application, the theory I Sigma_0 plus Pigeon Hole Principle does not prove the proposition Count.
(4) Every function which dominates all arithmeical functions has higher degree than a generic degree. There is a function such that its degree is a minimal upper bound of the arithmetical degrees and any functon of degree below its degree is dominated by an arithmetical function.
(5) It is shown that from a given supersutructure in a Boolean-valed model of set theory a nonstandard universe can be condtructed so that the forcing method is applicable to nonstandard analysis. Using this method, a uniform incomplete ultrapower of reals is constructed.
(6) By improving the formalized Berry's paradox, a new proof of the Godel first incompleteness theorem is obtained, and from it the Godel second incomplete theorem is deduced model-theoretically. Also, a new proof of the Godel second incompleteness theorem is given based on the Kolmogorov complexity.
(7) Assuming V = L,it is shown that the Kleene degrees of II^1_ sets are nondistributive.

Report

(3 results)
  • 1995 Annual Research Report   Final Research Report Summary
  • 1994 Annual Research Report
  • Research Products

    (25 results)

All Other

All Publications (25 results)

  • [Publications] 今田宏司、篠田壽一: "Kolmogorov complexity and P-printable sets" 数理解析研究所講究録. 930. 112-119 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 安本雅洋: "Bounded second order arithmetic" 数理解析研究所講究録. 930. 10-19 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 隈部正博: "A l-generic degree with a strong minimal cover" J.Symbolic Logic. (近刊).

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 村木 久人: "Local density of Kleene degrees." Math.Logic Quarterly. 41. 183-189 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 小澤 正直: "Scott incomplete Boolean ultrapowers of the real line." J.Symbolic-Logic. 60. 160-171 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 望月朝恵、篠田壽一: "A note on the functions which are not polynomial time computable from their graphs." Ann.Japan Assoc.Philosophy of Science. (近刊).

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 篠田壽一、米澤佳己: "集合・位相演習" サイエンス社, 209 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] K.Imada and J.Shinoda: "Kolmogorov complexity and P-printable sets" RIMS Kokyuroku. 930. 112-119 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] M.Yasumoto: "Bounded second order arithmetic19GC02 : RIMS Kokyuroku" 930. 10-19 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] M.Kumabe: "A 1-generic degree with a strong minimal cover" J.Symbolic Logic. (to appear).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] M.Ozwa: "Scott incomplete Boolean ultrapowers of the real line" J.Symbolic Logic. 60. 160-171 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] A.Mochizuki and J.Shinoda: "A note on the functions which are not polynomial time computable from their graphs" Ann.Japan Assoc.Phil.Sci.(to appear).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 今田宏司、篠田壽一: "Kolmogorov complexity and P-printable sets." 数理解析研究所講究録. 930. 112-119 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 安本雅洋: "Bounded second order arithmetic." 数理解析研究所講究録. 930. 10-19 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 隈部正博: "A l-generic degree with a strong minimal cover." J.Symbolic Logic. 近刊.

    • Related Report
      1995 Annual Research Report
  • [Publications] 村木久人: "Local density of Kleene degrees." Math.Logic Quarterly. 41. 183-189 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 小林孝次郎: "Transformations that preserve malignness of universal distributions." Lecture Notes in Comput.Sci.959. 24-27 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 小澤正直: "Scott incomplete Boolean ultrapowers of the real line." J.Symbolic Logic. 60. 160-171 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 篠田壽一、米澤佳己: "集合・位相演習" サイエンス社, 209 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 青木邦匡,篠田壽一,津田照子: "On II_2 theories of hp‐T degrees of low sets" Theoretical Computer Science. 123. 315-327 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 小澤 正直: "Forcing in Nonstandard Analysis" Annals of Pure and Applied Logic. 68. 263-297 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 安本雅洋: "Arithmetically independenct integers and values of rational functions" Manuscripta Mathematica. 85. 1-10 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 菊地誠,田中一之: "On formalization of model‐theoretic proofs of Goedel's theorems" Notre Dame Journal of Formal Logic. (近刊).

    • Related Report
      1994 Annual Research Report
  • [Publications] 隈部 正博: "Minimal upper bounds for arithmetical degrees" Journal of Symbolic Logic. 59. 516-527 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 菊地 誠: "A note on Boolos'proof of the incompleteness theorem" Mathematical Logic Quarterly. 46. 528-532 (1994)

    • Related Report
      1994 Annual Research Report

URL: 

Published: 1994-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi