Approximations of theories

DOI10.33048/SEMI.2020.17.049zbMATH Open1437.03123arXiv1901.08961OpenAlexW3036850198MaRDI QIDQ779114FDOQ779114

Authors: S. V. Sudoplatov 

Publication date: 21 July 2020

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

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.

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

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

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)

Cites Work

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

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)