Pages that link to "Item:Q918968"
From MaRDI portal
The following pages link to Equational theory of positive numbers with exponentiation is not finitely axiomatizable (Q918968):
Displayed 10 items.
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). (Q494618) (← links)
- On finite alphabets and infinite bases (Q924717) (← links)
- A field guide to equational logic (Q1201350) (← links)
- A note on HSI-algebras and counterexamples to Wilkie's identity (Q1272248) (← links)
- Which data types have \(\omega\)-complete initial algebra specifications? (Q1318728) (← links)
- Inherently nonfinitely based lattices (Q1612484) (← links)
- Axiomatic (and non-axiomatic) mathematics (Q2080664) (← links)
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- 1995–1996 Winter Meeting of the Association for Symbolic Logic (Q4254568) (← links)
- POWER CIRCUITS, EXPONENTIAL ALGEBRA, AND TIME COMPLEXITY (Q4649509) (← links)