Pages that link to "Item:Q1107528"
From MaRDI portal
The following pages link to Bounded arithmetic and truth definition (Q1107528):
Displaying 7 items.
- Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285) (← links)
- Exponentiation and second-order bounded arithmetic (Q922540) (← links)
- The formalization of interpretability (Q1176098) (← links)
- Hereditarily-finite sets, data bases and polynomial-time computability (Q1311973) (← links)
- On induction-free provability (Q1353982) (← links)
- \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\) (Q1823242) (← links)
- Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989 (Q3478380) (← links)
