Obtaining Finite Local Theory Axiomatizations via Saturation

DOI10.1007/978-3-642-40885-4_14zbMATH Open1398.68482OpenAlexW2170945358MaRDI QIDQ2849490FDOQ2849490

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

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (5)

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

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)