scientific article; zbMATH DE number 4083594
From MaRDI portal
Publication:3813801
Recommendations
- scientific article; zbMATH DE number 1081433
- Expressive power of finitely axiomatizable theories. III: The main construction
- scientific article; zbMATH DE number 1357400
- scientific article; zbMATH DE number 1302878
- Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs
Cited in
(19)- Turing machine computations in finitely axiomatizable theories
- A finite axiomatization of the set of strongly valid Ockhamist formulas
- Finite axiomatizability and theories with trivial algebraic closure
- Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs
- Model complete theories of trees
- A.D. Taimanov and model theory in Kazakhstan
- Obtaining Finite Local Theory Axiomatizations via Saturation
- A complete axiomatization of a theory with feature and arity constraints
- scientific article; zbMATH DE number 3857072 (Why is no real title available?)
- scientific article; zbMATH DE number 4152351 (Why is no real title available?)
- Complete theories with only universal and existential axioms
- Complete Coinductive Theorems. II
- Finite Axiomatizations for Universal Domains
- scientific article; zbMATH DE number 1045790 (Why is no real title available?)
- scientific article; zbMATH DE number 1081433 (Why is no real title available?)
- scientific article; zbMATH DE number 1357400 (Why is no real title available?)
- Finitely inseparable first-order axiomatized mereotopological theories
- The theory of integrally closed domains is not finitely axiomatizable
- FOIL axiomatized
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3813801)
