Asymmetric Interpretations for Bounded Theories (Q4879205)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Asymmetric Interpretations for Bounded Theories |
scientific article; zbMATH DE number 881749
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8023132085800171
0 references
0.7448195219039917
0 references
0.7403513789176941
0 references
