On conservative extensions in logics with infinitary predicates

DOI10.1007/S11225-009-9189-YzbMath1182.03028OpenAlexW2084390712MaRDI QIDQ1037594

Miklós Ferenczi

Publication date: 16 November 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9189-y

zbMATH Keywords

algebraic logicconservative extensioninfinitary predicates

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Unnamed Item
• On some developments in the representation theory of cylindric-like algebras
• A Neat Embedding Theorem for Expansions of Cylindric Algebras
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• On representability of neatly embeddable cylindric algebras
• Axiom systems for first order logic with finitely many variables
• Provability with Finitely Many Variables
• Provability with Finitely Many Variables
• A complete first-order logic with infinitary predicates

This page was built for publication: On conservative extensions in logics with infinitary predicates