Pages that link to "Item:Q2758397"
From MaRDI portal
The following pages link to On exponentiation -- a solution to Tarski's high school algebra problem (Q2758397):
Displaying 10 items.
- Equational theory of positive numbers with exponentiation is not finitely axiomatizable (Q918968) (← links)
- A note on HSI-algebras and counterexamples to Wilkie's identity (Q1272248) (← links)
- Axiomatic (and non-axiomatic) mathematics (Q2080664) (← links)
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- The saga of the high school identities (Q2577697) (← links)
- Arithmetical identities in a 2-element model of Tarski's system (Q2765385) (← links)
- On models of exponentiation. Identities in the HSI-algebra of posets (Q3506325) (← links)
- A solution to identities problem in 2-element HSI-algebras (Q4459598) (← links)
- (Q4531090) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705927) (← links)