scientific article; zbMATH DE number 2015285

MaRDI QIDQ4438115zbMATH OpenFDO

Authors Paulo A. S. Veloso

Publication date 9 December 2003

zbMATH Keywords

expressive powergeneralised quantifierultrafilter logic

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Recommendations

• scientific article; zbMATH DE number 2097567
• scientific article; zbMATH DE number 1471994
• scientific article; zbMATH DE number 2015277
• On ultrafilter logic and special functions
• scientific article; zbMATH DE number 1088189

Cited in

(13)

• On ultrafilter logic and special functions
• Some remarks on ultrafilter and normality logics
• An ultrapower which does not preserve the truth of a _2 sentence
• scientific article; zbMATH DE number 1088189 (Why is no real title available?)
• scientific article; zbMATH DE number 2015277 (Why is no real title available?)
• scientific article; zbMATH DE number 1471994 (Why is no real title available?)
• Independence, order, and the interaction of ultrafilters and theories
• scientific article; zbMATH DE number 2097567 (Why is no real title available?)
• Reasonable ultrafilters, again
• From ultrafilters on words to the expressive power of a fragment of logic
• On weak filters and ultrafilters: Set theory from (and for) knowledge representation
• Ultrafilters on words for a fragment of logic
• Existence of optimal ultrafilters and the fundamental complexity of simple theories

This page was built for publication:

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