Pages that link to "Item:Q1107528"

The following pages link to Bounded arithmetic and truth definition (Q1107528):

Displaying 16 items.

• The second incompleteness theorem and bounded interpretations (Q454368) (← links)
• Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285) (← links)
• Exponentiation and second-order bounded arithmetic (Q922540) (← links)
• On the scheme of induction for bounded arithmetic formulas (Q1104318) (← links)
• The formalization of interpretability (Q1176098) (← links)
• Hereditarily-finite sets, data bases and polynomial-time computability (Q1311973) (← links)
• On induction-free provability (Q1353982) (← links)
• Algebraic methods and bounded formulas (Q1377552) (← links)
• \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\) (Q1823242) (← links)
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. II (Q1919537) (← links)
• A nonasymptotic lower time bound for a strictly bounded second-order arithmetic (Q2498915) (← links)
• Bounded arithmetic in free logic (Q2904624) (← links)
• Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989 (Q3478380) (← links)
• Finite automata, real time processes and counting problems in bounded arithmetics (Q3791138) (← links)
• A second order version of <i>S</i>₂^<i>i</i> and <i>U</i>₂¹ (Q3985100) (← links)
• Proving consistency of equational theories in bounded arithmetic (Q4532615) (← links)