- 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
A new approach to infinitary languages
Annals of Mathematical Logic 10 (1):95 (1976)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Boolean models and infinitary first order languages.J. -P. Ressayre - 1973 - Annals of Mathematical Logic 6 (1):41.
Lectures on infinitary model theory.David Marker - 2016 - New York, NY, USA: Cambridge University Press.
α Logic and Infinitary Languages.. Da Costa Newton A. & Charles Pinter - 1976 - Mathematical Logic Quarterly 22 (1):105-112.
Infinitary intuitionistic logic from a classical point of view.M. E. Nadel - 1978 - Annals of Mathematical Logic 14 (2):159.
Infinitary intuitionistic logic from a classical point of view.Mark E. Nadel - 1978 - Annals of Mathematical Logic 14 (2):159-191.
Infinitary properties of abelian torsion groups.Jon Barwise & Paul Eklof - 1970 - Annals of Mathematical Logic 2 (1):25-68.
Forcing for Infinitary Languages.Carol Wood - 1972 - Mathematical Logic Quarterly 18 (25‐30):385-402.
Partial Isomorphisms and Infinitary Languages.Jean-Pierre Calais - 1972 - Mathematical Logic Quarterly 18 (25‐30):435-456.
Infinitary logic: in memoriam Carol Karp: a collection of papers by various authors.Carol Karp & D. W. Kueker (eds.) - 1975 - New York: Springer Verlag.
Definability in infinitary languages and invariance by automorphims.Alexandre Rodrigues, Ricardo Filho & Edelcio de Souza - 2010 - Reports on Mathematical Logic:119-133.
Analytics
Added to PP
2014-01-17
Downloads
31 (#763,697)
6 months
2 (#1,294,541)
2014-01-17
Downloads
31 (#763,697)
6 months
2 (#1,294,541)
Historical graph of downloads
Citations of this work
Higher-Order Contingentism, Part 3: Expressive Limitations.Peter Fritz - 2018 - Journal of Philosophical Logic 47 (4):649-671.
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo, Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 249--350.
References found in this work
Some remarks on infinitely long formulas.L. Henkin - 1961 - Journal of Symbolic Logic 30 (1):167--183.
Some Remarks on Infinitely Long Formulas.L. Henkin & Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (1):96-97.
Logic with denumerably long formulas and finite strings of quantifiers.Dana Scott - 1965 - Journal of Symbolic Logic 36 (1):1104--329.
Logic with Denumerably Long Formulas and Finite Strings of Quantifiers.Dana Scott, J. W. Addison, Leon Henkin & Alfred Tarski - 1971 - Journal of Symbolic Logic 36 (1):157-158.
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-8d48cdbf4-xt8cr uwo