First-order theories of abstract dependence relations

DOI10.1016/0168-0072(84)90004-6zbMath0588.03014OpenAlexW2023579274WikidataQ128017617 ScholiaQ128017617MaRDI QIDQ1073012

John T. Baldwin

Publication date: 1984

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(84)90004-6

zbMATH Keywords

dimensionforkingmatroid theoryregular typerecursive algebradecomposition theory of modulesrecursive models

Mathematics Subject Classification ID

Combinatorial aspects of matroids and geometric lattices (05B35) Classification theory, stability, and related concepts in model theory (03C45) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) General logic (03B99)

Related Items

Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures, Weakly one-based geometric theories, Dependence systems with the operator-image exchange property, Orbits of Creative Subspaces, Independence, dimension and continuity in non-forking frames, Categoricity and generalized model completeness, Dependency relations, DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES, v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC, Independence logic and abstract independence relations, Generic pairs of SU-rank 1 structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• Model theory of modules
• Second-order quantifiers and the complexity of theories
• Recursion theory on fields and abstract dependence
• Universal Horn axiom systems for lattices of submodules
• Classification theory and the number of non-isomorphic models
• Countable models of multidimensional ℵ₀-stable theories
• Countable models of nonmultidimensional ℵ₀-stable theories
• Coordinatization in Superstable Theories. I. Stationary Types
• An introduction to forking
• Roots of Polynomials in Algebraic Extensions of Fields
• Recursion theory on algebraic structures with independent sets
• Ordre de Rudin‐Keisler et Poids Dans les Theories Stables
• Universal horn classes categorical or free in power
• Independence in abstract algebras results and problems
• Algebraic Extensions of Relational Systems.
• On the notion of algebraic closedness for noncommutative groups and fields
• On the Equivalence of Three Local Theorem Techniques
• A representation theorem for v*-algebras
• Complemented Modular Lattices and Projective Spaces of Infinite Dimension