- 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
On Extensions of Elementary Logic
Theoria 35 (1):1-11 (1969)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Omitting uncountable types and extensions of Elementary logic.Per Lindström - 1978 - Theoria 44 (3):152-156.
Per Lindström. On extensions of elementary logic. Theoria , vol. 35 , pp. 1–11.Leslie H. Tharp - 1974 - Journal of Symbolic Logic 39 (1):183.
Per Lindström. On model-completeness. Theoria , vol. 30 , pp. 183–196.J. Malitz - 1970 - Journal of Symbolic Logic 35 (4):587.
Per Lindström. First order predicate logic with generalized quantifiers. Theoria, vol. 32 (1966), pp. 186–195.G. Fuhrken - 1970 - Journal of Symbolic Logic 34 (4):650-650.
Per Lindström. On relations between structures. Theoria , vol. 32 , pp. 172–185.G. Fuhrken - 1969 - Journal of Symbolic Logic 34 (3):515.
Quantifiers: Logics, Models and Computation: Volume Two: Contributions.Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba (eds.) - 1995 - Dordrecht, Netherland: Kluwer Academic Publishers.
Logic and Abstraction: Essays Dedicated to Per Lindström on His Fiftieth Birthday.Mats Furberg, Thomas Wetterström & Claes Åberg (eds.) - 1986 - Göteborg, Sweden and Atlantic Highlands, NJ: Acta Universitatis Gothoburgensis.
Per Lindström. Remarks on some theorems of Keisler. The journal of symbolic logic, vol. 33 no. 4 , pp. 571–576.A. Oberschelp - 1971 - Journal of Symbolic Logic 36 (2):339.
Analytics
Added to PP
2010-09-13
Downloads
192 (#131,357)
6 months
15 (#168,777)
2010-09-13
Downloads
192 (#131,357)
6 months
15 (#168,777)
Historical graph of downloads
Citations of this work
Reference to Abstract Objects in Discourse.Nicholas Asher - 1993 - Dordrecht, Boston, and London: Kluwer.
Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
References found in this work
On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.
Finite axiomatizability using additional predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.
An Application of Games to the Completeness Problem for Formalized Theories.A. Ehrenfeucht - 1967 - Journal of Symbolic Logic 32 (2):281-282.
Trahténbrot B. A.. O rékursivnoj otdélimosti . Doklady Akadémii Nauk SSSR, vol. 88 , pp. 953–956.Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (1):60-60.
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-99fc7d78b-58pt2 uwo