Arithmetic with the Henkin quantifier and its generalizations
In F. Gaillard & D. Richard (eds.), Seminaire du Laboratoire Logique, Algorithmique Et Informatique Clermontois (1991)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | bibtex-import generalized quantifiers | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesM. Krynicki & M. Mostowski (1995). Henkin Quantifiers. In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers.
Heribert Vollmer (1999). A Generalized Quantifier Concept in Computational Complexity Theory. In Generalized Quantifiers and Computation (Aix-En-Provence, 1997). Springer.
Gila Sher (1990). Ways of Branching Quantifers. Linguistics and Philosophy 13 (4):393 - 422.
L. Henkin (1961). Some Remarks on Infinitely Long Formulas. In Infinistic Methods. Pergamon Press.
A. Macintyre (1980). Ramsey Quantifiers in Arithmetic. In L. Pacholski, J. Wierzejewski & A. J. Wilkie (eds.), Model Theory of Algebra and Arithmetics. Springer--Verlag.
James H. Schmerl & Stephen G. Simpson (1982). On the Role of Ramsey Quantifiers in First Order Arithmetic. Journal of Symbolic Logic 47 (2):423-435.
M. Mostowski (1995). Quantifiers Definable by Second Order Means. In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers.
M. Krynicki & M. Mostowski (1995). Quantifiers, Some Problems and Ideas. In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers.
M. Krynicki & M. Mostowski (1999). Ambigous Quantifiers. In E. Orłowska (ed.), Logic at Work. Heidelberg.
M. Mostowski (1987). The Relational Semantics for Branched Quantifiers. In D. Skordev (ed.), Mathematical Logic and its Application. Plenum Press.
K. Luosto (1999). Ramsey Theory is Needed for Solving Definability Problems of Generalized Quantifiers. 1754:121--134.
A. Blass & Y. Gurevich (1986). Henkin Quantifiers and Complete Problems. Annals of Pure and Applied Logic 32:1--16.
C. T. Mcmillan, R. Clark, P. Moore, C. Devita & M. Grossman (2005). Neural Basis for Generalized Quantifiers Comprehension. Neuropsychologia 43:1729--1737.
Per Lindström (1966). First Order Predicate Logic with Generalized Quantifiers. Theoria 32:186--195.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-03-18Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
