Obtaining Finite Local Theory Axiomatizations via Saturation

DOI10.1007/978-3-642-40885-4_14MaRDI QIDQ2849490zbMATH OpenOpenAlexFDO

Authors Matthias Horbach, Viorica Sofronie-Stokkermans

Publication date 20 September 2013

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11858/00-001M-0000-0024-C90C-F

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Finite axiomatizability of local set theory
• Locally finite theories
• Finite axiomatizability and theories with trivial algebraic closure
• Essential localizations and infinitary exact completion
• Saturated models of intuitionistic theories
• scientific article; zbMATH DE number 3989320
• Finitely axiomatizable theories
• scientific article; zbMATH DE number 4083594
• The Lovász Local Lemma and Satisfiability
• Finite axiomatizability of locally tabular superintuitionistic logics

Cited in

(5)

• Symbol elimination and applications to parametric entailment problems
• On invariant synthesis for parametric systems
• Axiomatization of local-global principles for pp-formulas in spaces of orderings
• Locality transfer: from constrained axiomatizations to reachability predicates
• Axiomization of passage from “local” structure to “global” object

This page was built for publication: Obtaining Finite Local Theory Axiomatizations via Saturation

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