Finite models for positive combinatorial and exponential algebra
From MaRDI portal
Cites work
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots).
- A note on HSI-algebras and counterexamples to Wilkie's identity
- A solution to identities problem in 2-element HSI-algebras
- Algebras, lattices, varieties. Volume II
- ASYMPTOTIC ANALYSIS OF SKOLEM’S EXPONENTIAL FUNCTIONS
- Automated Deduction – CADE-20
- Axiomatisability and hardness for universal Horn classes of hypergraphs
- Bases for equational theories of semi-groups
- Cyclic Arithmetic and Combinatorial Operations
- EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM
- Equational Theory of Positive Numbers with Exponentiation
- Equational theory of positive numbers with exponentiation is not finitely axiomatizable
- Finite basis problem for semigroups of order six.
- Flexible constraint satisfiability and a problem in semigroup theory
- scientific article; zbMATH DE number 6016068 (Why is no real title available?)
- scientific article; zbMATH DE number 3125696 (Why is no real title available?)
- scientific article; zbMATH DE number 3809626 (Why is no real title available?)
- scientific article; zbMATH DE number 3792250 (Why is no real title available?)
- scientific article; zbMATH DE number 2144744 (Why is no real title available?)
- scientific article; zbMATH DE number 3452029 (Why is no real title available?)
- scientific article; zbMATH DE number 872231 (Why is no real title available?)
- scientific article; zbMATH DE number 3308309 (Why is no real title available?)
- scientific article; zbMATH DE number 3396154 (Why is no real title available?)
- Identical relations in finite groups
- Identical relations in groups. I.
- Identities in Finite Algebras
- Identities satisfied by a finite ring
- Nonfinitely based ai-semirings with finitely based semigroup reducts
- On chromatic number of graphs and set-systems
- On exponentiation -- a solution to Tarski's high school algebra problem
- On Skolem's Exponential Functions Below 2 2 x
- Polynomial functions with exponentiation are well ordered
- SMALL MODELS OF THE HIGH SCHOOL IDENTITIES
- Solution of the identity problem for integral exponential functions
- Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions
- Tarski's High School Identities
- TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
- The additively idempotent semiring S₇⁰ is nonfinitely based
- The field of reals with multisummable series and the exponential function.
- The finite basis problem for finite semigroups
- The saga of the high school identities
- The variety generated by an ai-semiring of order three
- Transcendental Numbers and Eventual Dominance of Exponential Functions
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
This page was built for publication: Finite models for positive combinatorial and exponential algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6893005)
