Abstract
The so called Hilbert’s ε-symbol transforms a formula φ(x) in a term εx φ(x) with the intended meaning: “some x such that φ(x), if such x exists, an arbitrary individual, otherwise”.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Asser, Theorie der logischen Auswahlfunktionen, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 3 (1957), pp. 30–68.
W. Ackermann, Megentheoretische Begrundung der Logik,Mathematische Annalen 115 (1937–8), pp. 1–22.
J. Barwise, Admissible sets and structures, Springer Verlag, 1975.
N. Bourbaki, Elements des Mathématiques. Libre I (Theorie des ensembles), Cap I, II. Hermann, Paris, 1954.
X. Caicedo, Definability properties and the congruence closure, Archive for Mathematical Logic 30 (1990), pp. 231–240.
J. Corcoran, W. S. Hatcher and J. Herring, Variable binding term operators, Zeitschrift für Mathematische Logic und Grundlagen der Mathematik 18 (1972), pp. 177–186.
N. D. A. Da Costa, Model theoretical approach to variable binfing term operators, In Mathematical Logic in Latin America, North-Holland, 1980, pp. 133–162.
H. D. Ebbinghaus, Extended logics: the general framework, In Model Theoretic Logics, J. Barwise, S. Feferman (eds.), Springer Verlag, 1985.
D. Hilbert, Die Grundlagen der Mathematik, Address at the Hamburg Mathematical Seminar (translation in From Frege to Góde1, J. van Heijenort (ed. ), Harward University Press, 1927.
D. Hilbert and P. Bernays, Grundlagen der Mathematik, Vol. 2, Springer Verlag, 1939.
A. C. Leisenring, Mathematical Logic and Hilbert’s ε-symbol, Macdonald Technical and Scientific, London, 1969.
A. H. Mekler and S. Shelah, Stationary logic and its friends. I, Notre Dame Journal of Formal Logic 26 (1985), pp. 129–138.
C. H. Stlnchez, Aspectos da eliminabilidade dos operadores nomínaís, Tese de Doutorado, Universidade Estadual de Campinas, Sao Paulo, 1988.
D. Scott, Existence and description in formal logic, In Bertrand Russell, Philosopher of the Century, Little, Brown and Co., Boston, 1967.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Caicedo, X. (1995). Hilbert’s ε-Symbol in the Presence of Generalized Quantifiers. In: Krynicki, M., Mostowski, M., Szczerba, L.W. (eds) Quantifiers: Logics, Models and Computation. Synthese Library, vol 249. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0524-0_3
Download citation
DOI: https://doi.org/10.1007/978-94-017-0524-0_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4540-9
Online ISBN: 978-94-017-0524-0
eBook Packages: Springer Book Archive