Remarks on Free Quantifier Variables

Jouko Väänánen

Type: Book-Chapter

Publication Date: 1979-01-01

Citations: 7

DOI: https://doi.org/10.1007/978-94-009-9825-4_13

Similar Works

Action	Title	Year	Authors
+	Comments on variable-free calculus	1972	Philip Marcus
+	Quantifier Elimination	2006
+ PDF Chat	Expansion for Universal Quantifiers	2012	Sergueï Lenglet J. B. Wells
+	Quantifier-Free Linear Arithmetic	2007
+	A Note on the Monotonicity of Reducible Quantifiers	2009	Richard Zuber
+	Henkin and function quantifiers	1989	Michael Krynicki Jouko Väänánen
+	Quantifier elimination for modules with scalar variables	1992	Lou van den Dries Jan E. Holly
+	Elimination of infinitesimal quantifiers	1999	Dan Richardson
+	Quantifiers and Numerals	2021	Lars Johanson
+	Some applications of Henkin quantifiers	1976	Jon Barwise
+ PDF Chat	Partial Quantifier Elimination	2014	Eugene Goldberg Panagiotis Manolios
+	Ramsey quantifiers in arithmetic	1980	Angus Macintyre
+	On Almost Sure Elimination of Numerical Quantifiers	2003	Risto Kaila
+	Forcing and generalized quantifiers	1973	Jean-Louis Krivine Kenneth Mc Aloon
+ PDF Chat	Weak MSO with the Unbounding Quantifier	2010	Mikołaj Bojańczyk
+	Quantifier problems beyond uniformity	1983	William C. Waterhouse
+	A Note on the Representation of Branching Quantifiers	1976	Franz Guenthner Jakob Hoepelman
+	Elimination of quantifiers for modules	1976	Walter Bäur
+	The Tarski-Sidenberg principle and elimination of quantifiers	2024
+	Hilbert’s ε-Symbol in the Presence of Generalized Quantifiers	1995	Xavier Caicedo

Action	Title	Year	Authors
+	The Härtig quantifier: a survey	1991	Heinrich Herre Michał Krynicki A. G. Pinus Jouko Väänánen

Action	Title	Year	Authors
+	Syntactical and semantical properties of generalized quantifiers	1997	Mitsuru Yasuhara
+	A Remark On The Härtig Quantifier	1972	G. Fuhrken