Quasi finitely axiomatizable totally categorical theories

DOI10.1016/0168-0072(86)90037-0zbMath0592.03018OpenAlexW2147744743WikidataQ61632374 ScholiaQ61632374MaRDI QIDQ1075316

Publication date: 1986

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(86)90037-0

zbMATH Keywords

categoricity nice enumeration almost strongly minimal theories biinterpretability modular n-Grassmannians quasi finite axiomatizability

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35)

Related Items (53)

On a stronger reconstruction notion for monoids and clones ⋮ A topological characterisation of endomorphism monoids of countable structures ⋮ Categoricity and generalized model completeness ⋮ Cayley graphs having nice enumerations ⋮ Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle ⋮ A counterexample to the reconstruction of \(\omega\)-categorical structures from their endomorphism monoid ⋮ RECONSTRUCTION OF NON--CATEGORICAL THEORIES ⋮ NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES ⋮ Model-theory of vector-spaces over unspecified fields ⋮ Structures coordinatized by indiscernible sets ⋮ Computation of first cohomology groups of finite covers ⋮ Non Σ_n axiomatizable almost strongly minimal theories ⋮ Coarse groups, and the isomorphism problem for oligomorphic groups ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ R.J. THOMPSON’S GROUPSFANDTARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS ⋮ Interpreting modules in modules ⋮ LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC ⋮ Some aspects of topological Galois theory ⋮ Reconstructing the topology of clones ⋮ Eberlein oligomorphic groups ⋮ RETRACTIONS OF REVERSIBLE STRUCTURES ⋮ Defining \(R\) and \(G(R)\) ⋮ On automatic homeomorphicity for transformation monoids ⋮ Approximate isomorphism of randomization pairs ⋮ Omega-categoricity, relative categoricity and coordinatisation ⋮ Ramsey transfer to semi-retractions ⋮ COMPACT METRIZABLE STRUCTURES AND CLASSIFICATION PROBLEMS ⋮ Polish groups and Baire category methods ⋮ BOREL FUNCTORS AND INFINITARY INTERPRETATIONS ⋮ On the automorphism groups of finite covers ⋮ \({\aleph_{0}}\)-categorical structures: endomorphisms and interpretations ⋮ Finitely generated groups are universal among finitely generated structures ⋮ INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES ⋮ What's so special about \((\mathbb{Z}/4\mathbb{Z})^ \omega\)? ⋮ RESTRICTIVENESS RELATIVE TO NOTIONS OF INTERPRETATION ⋮ Finite generation of symmetric ideals ⋮ Finitely axiomatizable strongly minimal groups ⋮ A survey of homogeneous structures ⋮ Complete first-order theories of some classical matrix groups over algebraic integers ⋮ GREY SUBSETS OF POLISH SPACES ⋮ THE COMPLEXITY OF TOPOLOGICAL GROUP ISOMORPHISM ⋮ Permutation groups with small orbit growth ⋮ RECONSTRUCTION OF SEPARABLY CATEGORICAL METRIC STRUCTURES ⋮ The semantic view of theories and higher-order languages ⋮ Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups ⋮ Nice Enumerations of ω-categorical Groups ⋮ Extending partial isomorphisms for the small index property of many \(\omega\)-categorical structures ⋮ Almost-Free Finite Covers ⋮ Topological Birkhoff ⋮ Approximations of theories ⋮ Totally Categorical Structures ⋮ Bounds in the theory of finite covers ⋮ A countably categorical theory which is not \(G\)-compact

Cites Work

This page was built for publication: Quasi finitely axiomatizable totally categorical theories