Asymmetric Interpretations for Bounded Theories (Q4879205)
From MaRDI portal
scientific article; zbMATH DE number 881749
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Asymmetric Interpretations for Bounded Theories |
scientific article; zbMATH DE number 881749 |
Statements
Asymmetric Interpretations for Bounded Theories (English)
0 references
4 November 1996
0 references
polynomial time computational arithmetic
0 references
feasible analysis
0 references
collection axioms
0 references
asymmetric interpretation
0 references
fragment of bounded arithmetic
0 references
sigma-reflection
0 references
weak Koenig's lemma
0 references
provably recursive functions
0 references
