A simple solution to Friedman's fourth problem

DOI10.2307/2274031zbMath0624.03031OpenAlexW2012317605MaRDI QIDQ3762300

Xavier Caicedo

Publication date: 1986

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274031

zbMATH Keywords

interpolationcompactnessrelativizationabstract logicLindström quantifierRobinson consistency theoremgeneralized connective

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Abstract model theory (03C95)

Related Items (1)

Definability properties and the congruence closure

Cites Work

• Extensions of countable infinitary logic which preserve most of its nice properties

This page was built for publication: A simple solution to Friedman's fourth problem