Bounded arithmetic and truth definition

DOI10.1016/0168-0072(88)90046-2zbMATH Open0653.03038OpenAlexW1975433941MaRDI QIDQ1107528FDOQ1107528

Authors: Gaisi Takeuti 

Publication date: 1988

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(88)90046-2

Recommendations

• scientific article; zbMATH DE number 4087659
• scientific article; zbMATH DE number 4059391
• scientific article; zbMATH DE number 218509
• scientific article; zbMATH DE number 1222931
• Gödel sentences of bounded arithmetic

zbMATH Keywords

bounded arithmeticpolynomial hierarchytruth definitionsVariants of the second incompleteness theoremGödel sentences

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• On the scheme of induction for bounded arithmetic formulas

Cited In (27)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Fragments of bounded arithmetic and the lengths of proofs
• Finite automata, real time processes and counting problems in bounded arithmetics
• Varieties of truth definitions
• Exponentiation and second-order bounded arithmetic
• Gödel sentences of bounded arithmetic
• Bounded arithmetic in free logic
• Proving consistency of equational theories in bounded arithmetic
• Fragments of Bounded Arithmetic and Bounded Query Classes
• On the scheme of induction for bounded arithmetic formulas
• An interpretation of \(S_2^1\) in \(\Sigma_1^b\)-NIA
• The formalization of interpretability
• Title not available (Why is that?)
• The second incompleteness theorem and bounded interpretations
• Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989
• Preservation theorems and restricted consistency statements in bounded arithmetic
• Hereditarily-finite sets, data bases and polynomial-time computability
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
• On induction-free provability
• A nonasymptotic lower time bound for a strictly bounded second-order arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Truth definition for \(\Delta_0\) formulas and PSPACE computations
• \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\)
• Title not available (Why is that?)
• Recursion in second order bounded arithmetic.

This page was built for publication: Bounded arithmetic and truth definition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1107528)