Notations for exponentiation.

DOI10.1016/S0304-3975(01)00143-8zbMath1061.03062MaRDI QIDQ1853509

Arnold Beckmann

Publication date: 21 January 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

03D15: Complexity of computation (including implicit computational complexity)

03F30: First-order arithmetic and fragments

68Q19: Descriptive complexity and finite models

03F25: Relative consistency and interpretations

Related Items

Ordinal notations and well-orderings in bounded arithmetic

Cites Work

• Proof theory. An introduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item