Filter Logics on ω

DOI10.2307/2274107zbMATH Open0592.03023OpenAlexW1582662858MaRDI QIDQ3720575FDOQ3720575

Authors: Matt Kaufmann 

Publication date: 1984

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

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

Recommendations

• There are reasonably nice logics
• scientific article; zbMATH DE number 1471994
• Some compact logics -- results in ZFC
• Nice infinitary logics
• Limit ultrapowers and abstract logics

zbMATH Keywords

axiomatizabilitycountable compactnessinterpolation propertyomitting types theoremextensions of first-order logicfirst-order quantifier

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Cited In (7)

• Title not available (Why is that?)
• On weak filters and ultrafilters: Set theory from (and for) knowledge representation
• Nice infinitary logics
• Downward transfer of satisfiability for sentences of L^1,1
• A simple solution to Friedman's fourth problem
• Title not available (Why is that?)
• Note of the full generalized models of the extensions of a logic

This page was built for publication: Filter Logics on ω

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