Closures and generating sets related to combinations of structures

MaRDI QIDQ332347zbMATH OpenFDO

Authors S. V. Sudoplatov

Publication date 8 November 2016

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

Full work available at URL https://arxiv.org/abs/1601.00043, http://isu.ru/journal/downloadArticle?article=_59fb90a1a2eb4cb48f0b570354d5d0ddlang=eng

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)

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.

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

Cites work

• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3567553 (Why is no real title available?)
• scientific article; zbMATH DE number 1533648 (Why is no real title available?)
• scientific article; zbMATH DE number 2237565 (Why is no real title available?)
• A Topology for the Space of Countable Models of a First Order Theory
• Classes of structures and their generic limits
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• Model theory.
• Models of cubic theories
• On compactifications and the topological dynamics of definable groups
• Semi-isolation and the strict order property
• Topological dynamics and definable groups
• Topological dynamics of definable group actions

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
• Definable families of theories, related calculi and ranks
• Kinds of pregeometries of acyclic theories
• Ranks, spectra and their dynamics for families of constant expansions of theories
• Topologies, ranks, and closures for families of theories. II
• Model-theoretic and topological properties of families of theories
• Chaos and hyperchaos of geodesic flows on curved manifolds corresponding to mechanically coupled rotators: examples and numerical study
• Approximations of theories
• Formulas and properties for families of theories of abelian groups
• 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)