On conservative extensions in logics with infinitary predicates
type: Item
instance of: scholarly article
title: On conservative extensions in logics with infinitary predicates
zbMATH Open document ID: 1182.03028
author: Miklós Ferenczi
published in: Studia Logica
publication date: 2009-11-16T00:00:00Z
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03G15
zbMATH DE Number: 5633555
zbMATH Keywords: algebraic logic
zbMATH Keywords: conservative extension
zbMATH Keywords: infinitary predicates
MaRDI profile type: Publication
full work available at URL: s11225-009-9189-y
OpenAlex ID: W2084390712
cites work: A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
cites work: On representability of neatly embeddable cylindric algebras
cites work: On some developments in the representation theory of cylindric-like algebras
cites work: Axiom systems for first order logic with finitely many variables
cites work: Provability with Finitely Many Variables
cites work: A complete first-order logic with infinitary predicates
cites work: Q4124795
cites work: A Neat Embedding Theorem for Expansions of Cylindric Algebras
DOI: 10.1007/S11225-009-9189-Y
description: scientific article; zbMATH DE number 5633555