All Quantifiers Versus the Quantifier All

DOI10.1007/978-3-319-65430-0_47OpenAlexW2808015434MaRDI QIDQ4611700

Stanisław Krajewski

Publication date: 21 January 2019

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-65430-0_47

zbMATH Keywords

definabilityquantifiergeneralized quantifierscontext-independencequantifier's range

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantifiers: logics, models and computation. Volume one: Surveys
• An outline of mathematical logic. Fundamental results and notions explained with all details. Translated from the original Polish by Olgierd Wojtasiewicz and Waclaw Zawadowski
• On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture
• On a generalization of quantifiers
• DECOMPOSING GENERALIZED QUANTIFIERS
• Logic with the quantifier “there exist uncountably many”
• On definable sets of positive integers
• Recursive Predicates and Quantifiers

This page was built for publication: All Quantifiers Versus the Quantifier All