On simplicity of formulas
From MaRDI portal
Recommendations
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)