A generalization of abstract model theory

DOI10.4064/FM-124-1-1-25MaRDI QIDQ3726101zbMATH OpenOpenAlexFDO

Authors Daniele Mundici

Publication date 1984

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/211556

zbMATH Keywords

abstract logiccompactnessCraig's interpolation theoremelementary equivalenceextension of the notion of formulaextension of the notion of structureextensions of first order logicgeneralized structuresmany-sorted first order structuremonotone logicRobinson's consistency theoremsemantic domaintopological logic

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95)

Recommendations

• scientific article; zbMATH DE number 3941493
• Inverse topological systems and compactness in abstract model theory
• scientific article; zbMATH DE number 3853054
• Duality for Compact Logics and Substitution in Abstract Model Theory
• Compactness and normality in abstract logics

Cited in

(26)

• Elementary extensions of topological models in \(L_ t\) language
• Minimally generated abstract logics
• A shared framework for consequence operations and abstract model theory
• A characterization theorem for injective model classes axiomatized by general rules
• Model Complete Generic Structures
• scientific article; zbMATH DE number 5316601 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• Model theory under the axiom of determinateness
• A simple solution to Friedman's fourth problem
• scientific article; zbMATH DE number 91424 (Why is no real title available?)
• scientific article; zbMATH DE number 519815 (Why is no real title available?)
• scientific article; zbMATH DE number 1163936 (Why is no real title available?)
• scientific article; zbMATH DE number 1563658 (Why is no real title available?)
• Note of the full generalized models of the extensions of a logic
• Ranked partial structures
• Barwise: Abstract Model Theory and Generalized Quantifiers
• scientific article; zbMATH DE number 764208 (Why is no real title available?)
• THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS
• Towards Logics of Some Rough Perspectives of Knowledge
• scientific article; zbMATH DE number 2196607 (Why is no real title available?)
• scientific article; zbMATH DE number 2196608 (Why is no real title available?)
• Structural logic and abstract elementary classes with intersections
• scientific article; zbMATH DE number 5038454 (Why is no real title available?)
• Abstract logic with vocables
• Choice inclusive general rough semantics
• Granular knowledge and rational approximation in general rough sets – I

This page was built for publication: A generalization of abstract model theory

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