- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Generalized quantifiers and well orderings
Archive for Mathematical Logic 15 (1-2):57-73 (1972)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Definability of second order generalized quantifiers.Juha Kontinen - 2010 - Archive for Mathematical Logic 49 (3):379-398.
Number theoretic concepts and recursive well-orderings.G. Kreisel, J. Shoenfield & Hao Wang - 1960 - Archive for Mathematical Logic 5 (1-2):42-64.
Quantifiers determined by partial orderings.Michal Krynicki - 1990 - Mathematical Logic Quarterly 36 (1):79-86.
Projective Well-orderings of the Reals.Andrés Eduardo Caicedo & Ralf Schindler - 2006 - Archive for Mathematical Logic 45 (7):783-793.
Aristotelian syllogisms and generalized quantifiers.Dag Westerståhl - 1989 - Studia Logica 48 (4):577-585.
On orderings of the family of all logics.Michał Krynicki & Jouko Väänänen - 1980 - Archive for Mathematical Logic 22 (3-4):141-158.
Degree spectra of the successor relation of computable linear orderings.Jennifer Chubb, Andrey Frolov & Valentina Harizanov - 2009 - Archive for Mathematical Logic 48 (1):7-13.
Some observations on intuitionistically elementary properties of linear orderings.Wim Veldman & Michaël Janssen - 1990 - Archive for Mathematical Logic 29 (3):171-185.
The relational semantics for branched quantifiers.M. Mostowski - 1987 - In Dimiter G. Skordev (ed.), Mathematical Logic and its Application. Plenum Press. pp. 315--322.
Analytics
Added to PP
2020-12-03
Downloads
5 (#1,559,732)
6 months
5 (#838,466)
2020-12-03
Downloads
5 (#1,559,732)
6 months
5 (#838,466)
Historical graph of downloads
Author's Profile
Citations of this work
Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren.Heinrich Herre & Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):229-246.
Recursive categoricity and recursive stability.John N. Crossley, Alfred B. Manaster & Michael F. Moses - 1986 - Annals of Pure and Applied Logic 31:191-204.
The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier.Hans-Joachim Goltz - 1985 - Mathematical Logic Quarterly 31 (9-12):131-162.
The Theory of Abelian Groups With the Quantifier (≦ x).Andreas Baudisch - 1976 - Mathematical Logic Quarterly 23 (27‐30):447-462.
The expressive power of Malitz quantifiers for linear orderings.Hans-Peter Tuschik - 1987 - Annals of Pure and Applied Logic 36:53-103.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-2nz2h uwo