Approximations of theories

DOI10.33048/SEMI.2020.17.049MaRDI QIDQ779114zbMATH OpenOpenAlexFDO

Authors S. V. Sudoplatov

Publication date 21 July 2020

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

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

zbMATH Keywords

closurefinitely axiomatizable theory\(e\)-spectrumapproximation of theorycombination of structures

Mathematics Subject Classification ID

Extremal problems in graph theory (05C35) Other model constructions (03C30) Models with special properties (saturated, rigid, etc.) (03C50) Model theory of denumerable and separable structures (03C15)

Abstract: We study approximations of theories both in general context and with respect to some natural classes of theories. Some kinds of approximations are considered, connections with finitely axiomatizable theories and minimal generating sets of theories as well as their $e$-spectra are found.

Recommendations

• Elementary approximation theory
• scientific article; zbMATH DE number 35428
• A general set theoretic approximation framework
• scientific article; zbMATH DE number 19149
• Approximation Algebra and Framework

Cites work

• scientific article; zbMATH DE number 3567553 (Why is no real title available?)
• scientific article; zbMATH DE number 1081433 (Why is no real title available?)
• scientific article; zbMATH DE number 3993551 (Why is no real title available?)
• scientific article; zbMATH DE number 1912564 (Why is no real title available?)
• scientific article; zbMATH DE number 3349802 (Why is no real title available?)
• scientific article; zbMATH DE number 2208072 (Why is no real title available?)
• A finitely axiomatizable complete theory with atomlessF 1(T)
• Categorical Horn classes. I
• Closures and generating sets related to combinations of structures
• Combinations of structures
• Combinations related to classes of finite and countably categorical structures and their theories
• Definability in classes of finite structures
• Families of language uniform theories and their generating sets
• Finitely axiomatizable strongly minimal groups
• Finitely axiomatizable ℵ₁ categorical theories
• On semilattices and lattices for families of theories
• On some conjectures connected with complete sentences
• Quasi finitely axiomatizable totally categorical theories
• Relative e-spectra and relative closures for families of theories
• Separable models of randomizations
• Some Aspects of Model Theory and Finite Structures
• Stable Finitely Homogeneous Structures
• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures

Cited in

(14)

• 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
• Ranks, spectra and their dynamics for families of constant expansions of theories
• Approximations of acyclic graphs
• A Fitting theorem for simple theories
• Topologies, ranks, and closures for families of theories. II
• Model-theoretic and topological properties of families of theories
• Formulas and properties for families of theories of abelian groups
• Elementary approximation theory
• A note on pseudofinite acyclic graphs
• Pseudofinite formulae
• Algebras for definable families of theories
• Topologies, ranks, and closures for families of theories. I

This page was built for publication: Approximations of theories

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