On simplicity of formulas
From MaRDI portal
DOI10.1007/BF00370372zbMATH Open0723.03021OpenAlexW1494501809MaRDI QIDQ757354FDOQ757354
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
Recommendations
generalized Kleene-Mostowski classificationKleene-Mostowski hierarchynumber of quantifier alternationsnumber of quantifiersquantifier rankFraïssé's partial isomorphisms
Cites Work
- Definability with bounded number of bound variables
- Title not available (Why is that?)
- Title not available (Why is that?)
- On a generalization of quantifiers
- An application of games to the completeness problem for formalized theories
- On the extending of models (I)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Recursive Predicates and Quantifiers
- Upper and lower bounds for first order expressibility
- Theory of models with generalized atomic formulas
- Title not available (Why is that?)
- Logic with the quantifier “there exist uncountably many”
- On the extending of models (IV)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some model theory for monotone quantifiers
- Generalized Ehrenfeucht games
- Title not available (Why is that?)
- Some applications of a non-Archimedean analogue of Descartes' rule of signs
- The role of the axiom of induction in elementary arithmetic
Cited In (8)
- Title not available (Why is that?)
- Simplifying Inclusion–Exclusion Formulas
- The ubiquitous axiom
- Title not available (Why is that?)
- On simplifying truth-functional formulas
- Technical notes on a theory of simplicity
- The parallel postulate
- On simplification of formulas with unconstrained variables and quantifiers
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)