On simplicity of formulas

DOI10.1007/BF00370372zbMATHOpenAlexMaRDI QIDQ757354FDO

Authors Michał Krynicki, Lesław W. Szczerba

Publication date 1990

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00370372

zbMATH Keywords

generalized Kleene-Mostowski classificationKleene-Mostowski hierarchynumber of quantifier alternationsnumber of quantifiersquantifier rankFraïssé's partial isomorphisms

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Recommendations

• Simplicity
• scientific article; zbMATH DE number 885314
• On simplifying truth-functional formulas
• scientific article; zbMATH DE number 1534597
• Prolegomena to any theory of proof simplicity

Cites work

• scientific article; zbMATH DE number 6003856 (Why is no real title available?)
• scientific article; zbMATH DE number 3916232 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 4031646 (Why is no real title available?)
• scientific article; zbMATH DE number 4043822 (Why is no real title available?)
• scientific article; zbMATH DE number 3675868 (Why is no real title available?)
• scientific article; zbMATH DE number 3528202 (Why is no real title available?)
• scientific article; zbMATH DE number 3532912 (Why is no real title available?)
• scientific article; zbMATH DE number 3609629 (Why is no real title available?)
• scientific article; zbMATH DE number 3236046 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3093421 (Why is no real title available?)
• An application of games to the completeness problem for formalized theories
• Definability with bounded number of bound variables
• Generalized Ehrenfeucht games
• Logic with the quantifier “there exist uncountably many”
• On a generalization of quantifiers
• On the extending of models (I)
• On the extending of models (IV)
• Recursive Predicates and Quantifiers
• Some applications of a non-Archimedean analogue of Descartes' rule of signs
• Some model theory for monotone quantifiers
• The role of the axiom of induction in elementary arithmetic
• Theory of models with generalized atomic formulas
• Upper and lower bounds for first order expressibility

Cited in

(8)

• On simplification of formulas with unconstrained variables and quantifiers
• On simplifying truth-functional formulas
• The parallel postulate
• Simplifying Inclusion–Exclusion Formulas
• The ubiquitous axiom
• scientific article; zbMATH DE number 3900727 (Why is no real title available?)
• Technical notes on a theory of simplicity
• scientific article; zbMATH DE number 4059364 (Why is no real title available?)

This page was built for publication: On simplicity of formulas

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