Pages that link to "Item:Q1183711"
From MaRDI portal
The following pages link to Finite axiomatizability and theories with trivial algebraic closure (Q1183711):
Displaying 17 items.
- Quasi finitely axiomatizable totally categorical theories (Q1075316) (← links)
- Strongly determined types (Q1304548) (← links)
- Deciding simple infinity axiom sets with one binary relation by means of superpostulates (Q2096446) (← links)
- A survey of homogeneous structures (Q2275386) (← links)
- Obtaining Finite Local Theory Axiomatizations via Saturation (Q2849490) (← links)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589) (← links)
- A complete theory with arbitrarily large minimality ranks (Q3323929) (← links)
- Finite satisfiability and ℵ<sub>0</sub>-categorical structures with trivial dependence (Q3410676) (← links)
- (Q3568115) (← links)
- Finite Axiomatizations for Universal Domains (Q4013251) (← links)
- (Q4412246) (← links)
- (Q4700614) (← links)
- Generic variations of models of<i>T</i> (Q4779648) (← links)
- Finitely inseparable first-order axiomatized mereotopological theories (Q4982517) (← links)
- The theory of integrally closed domains is not finitely axiomatizable (Q5179280) (← links)
- On first-order sentences without finite models (Q5311726) (← links)
- Finitely axiomatizable ω-categorical theories and the Mazoyer hypothesis (Q5718670) (← links)