Closures and generating sets related to combinations of structures

zbMATH Open1402.03039arXiv1601.00043MaRDI QIDQ332347FDOQ332347

Authors: S. V. Sudoplatov 

Publication date: 8 November 2016

Published in: The Bulletin of Irkutsk State University. Series Mathematics (Search for Journal in Brave)

Abstract: We investigate closure operators and describe their properties for $E$-combinations and $P$-combinations of structures and their theories. We prove, for $E$-combinations, that the existence of a minimal generating set of theories is equivalent to the existence of the least generating set, and characterize syntactically and semantically the property of the existence of the least generating set. For the class of linearly ordered language uniform theories we solve the problem of the existence of least generating set with respect to $E$-combinations and characterize that existence in terms of orders.

Full work available at URL: https://arxiv.org/abs/1601.00043

Recommendations

• Topologies, ranks, and closures for families of theories. II
• A generalized closure and complement phenomenon
• Closure operators and generating sets
• Topologies, ranks, and closures for families of theories. I
• Some combinatorial characteristics of closure operations

zbMATH Keywords

generating setclosure operator\(E\)-combination\(P\)-combination

Mathematics Subject Classification ID

Other model constructions (03C30) Models with special properties (saturated, rigid, etc.) (03C50) Topological spaces and generalizations (closure spaces, etc.) (54A05) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Model theory of denumerable and separable structures (03C15)

Cites Work

• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• Classes of structures and their generic limits
• Topological dynamics of definable group actions
• Title not available (Why is that?)
• Models of cubic theories
• Model theory.
• On compactifications and the topological dynamics of definable groups
• A Topology for the Space of Countable Models of a First Order Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topological dynamics and definable groups
• Title not available (Why is that?)
• Semi-isolation and the strict order property

Cited In (22)

• Hierarchy of families of theories and their rank characteristics
• Ranks for families of theories and their spectra
• Topologies and ranks for families of theories in various languages
• Relative \(e\)-spectra and relative closures for families of theories
• On semilattices and lattices for families of theories
• Closure operators and generating sets
• Conflict and conflict-free theories
• Families of language uniform theories and their generating sets
• \(P\)-combinations of ordered theories
• Kinds of pregeometries of acyclic theories
• Ranks, spectra and their dynamics for families of constant expansions of theories
• Definable families of theories, related calculi and ranks
• Topologies, ranks, and closures for families of theories. II
• Chaos and hyperchaos of geodesic flows on curved manifolds corresponding to mechanically coupled rotators: examples and numerical study
• Model-theoretic and topological properties of families of theories
• Formulas and properties for families of theories of abelian groups
• Approximations of theories
• Pseudofinite formulae
• Combinations related to classes of finite and countably categorical structures and their theories
• Algebras for definable families of theories
• Topologies, ranks, and closures for families of theories. I
• Kinds of pregeometries of cubic theories

This page was built for publication: Closures and generating sets related to combinations of structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q332347)