Bounded arithmetic and truth definition
From MaRDI portal
Recommendations
Cited in
(27)- scientific article; zbMATH DE number 4059391 (Why is no real title available?)
- scientific article; zbMATH DE number 176204 (Why is no real title available?)
- Fragments of bounded arithmetic and the lengths of proofs
- Finite automata, real time processes and counting problems in bounded arithmetics
- Exponentiation and second-order bounded arithmetic
- Varieties of truth definitions
- 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
- The formalization of interpretability
- An interpretation of \(S_2^1\) in \(\Sigma_1^b\)-NIA
- The second incompleteness theorem and bounded interpretations
- scientific article; zbMATH DE number 3972855 (Why is no real title available?)
- Preservation theorems and restricted consistency statements in bounded arithmetic
- Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989
- 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
- scientific article; zbMATH DE number 4160722 (Why is no real title available?)
- scientific article; zbMATH DE number 727438 (Why is no real title available?)
- Truth definition for \(\Delta_0\) formulas and PSPACE computations
- \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\)
- scientific article; zbMATH DE number 440483 (Why is no real title available?)
- 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)
