A simple solution to Friedman's fourth problem

DOI10.2307/2274031MaRDI QIDQ3762300zbMATH OpenOpenAlexFDO

Authors 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

abstract logiccompactnessgeneralized connectiveinterpolationLindström quantifierrelativizationRobinson consistency theorem

Mathematics Subject Classification ID

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

Recommendations

• There are reasonably nice logics
• scientific article; zbMATH DE number 3910377
• Filter Logics on ω
• Limit ultrapowers and abstract logics
• A generalization of abstract model theory

Cites work

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

Cited in

(1)

• Definability properties and the congruence closure

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

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