- 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
Works by G. Fuhrken
41 found
Order:
Disambiguations
Disambiguations:
| G. Fuhrken [28] | Gebhard Fuhrken [18] |
- A Remark On The Härtig Quantifier.Gebhard Fuhrken - 1972 - Mathematical Logic Quarterly 18 (13‐15):227-228.
- A Remark On The Härtig Quantifier.Gebhard Fuhrken - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (13-15):227-228.
- Weakly atomic-compact relational structures.G. Fuhrken & W. Taylor - 1971 - Journal of Symbolic Logic 36 (1):129-140.
- Aquivalenzklassen von n-Tupeln.G. Fuhrken & Erwin Engeler - 1966 - Journal of Symbolic Logic 31 (3):504.
- Bemerkung zu Einer Arbeit E. Engelers.Gebhard Fuhrken - 1962 - Mathematical Logic Quarterly 8 (3‐4):277-279.No categories
- Bemerkung zu Einer Arbeit E. Engelers.Gebhard Fuhrken - 1962 - Mathematical Logic Quarterly 8 (3-4):277-279.No categories
- Lars Svenonius. ℵ0-categoricity in first-order predicate calculus. Theoria , vol. 25 , pp. 82–94.G. Fuhrken - 1966 - Journal of Symbolic Logic 31 (3):504-504.
- Makkai M. A compactness result concerning direct, products of models. Fundamenta mathematicae, vol. 57 , pp. 313–325.G. Fuhrken - 1968 - Journal of Symbolic Logic 33 (3):477-477.
- On the Categoricity in Power ℵ 0.G. Fuhrken & C. Ryll-Nardzewski - 1966 - Journal of Symbolic Logic 31 (3):505.
- 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.
- Takeuti Gaisi. Remarks on the truth definition. Journal of the Mathematical Society of Japan, vol. 13 , pp. 207–209.Gebhard Fuhrken - 1962 - Journal of Symbolic Logic 27 (1):110-110.
- Potthoff Klaus. Einführung in die Modelltheorie und ihre Anwendungen. Wissenschaftliche Buchgesellschaft, Darmstadt 1981, pp. XII + 277 pp. [REVIEW]Gebhard Fuhrken - 1983 - Journal of Symbolic Logic 48 (1):219-220.
- Chang C. C. and Keisler H. J.. Model theory. Studies in logic and the foundations of mathematics, vol. 73, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 550 pp. [REVIEW]Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
- Davis Chandler. Modal operators, equivalence relations, and projective algebras, American journal of mathematics, vol. 76 , pp. 747–762. [REVIEW]Gebhard Fuhrken - 1959 - Journal of Symbolic Logic 24 (3):253-253.
- Daniel Ponasse. Une démonstration du théorème de complétude de Gödel. Publications du Départment de Mathématiques , vol. 3 No. 1 , pp. 2–8. [REVIEW]G. Fuhrken - 1967 - Journal of Symbolic Logic 32 (3):418.
- Ehrenfeucht A. and Mostowski A.. A compact space of models of first order theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 , pp. 369–373. [REVIEW]G. Fuhrken - 1970 - Journal of Symbolic Logic 35 (4):586-587.
- Erwin Engeler. Äquivalenzklassen von n-Tupeln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 , pp. 340–345. [REVIEW]G. Fuhrken - 1966 - Journal of Symbolic Logic 31 (3):504-504.
- H. Jerome Keisler. Logic with the quantifier “there exist uncountably many.”Annals of mathematical logic, vol. 1 no. 1 , pp. 1–93. [REVIEW]Gebhard Fuhrken - 1971 - Journal of Symbolic Logic 36 (4):685-687.
- Michael Morley. On theories categorical in uncountable powers. Proceedings of the National Academy of Sciences of the United States of America, vol. 49 , pp. 213–216. - Michael Morley. Categoricity in power. Transactions of the American Mathematical Society, vol. 114 , pp. 514–538. [REVIEW]G. Fuhrken - 1966 - Journal of Symbolic Logic 31 (4):646-646.
- Makkai M.. Svenonius sentences and Lindström's theory on preservation theorems. Fundamenta mathematicae, vol. 73 no. 3 , pp. 219–233. [REVIEW]G. Fuhrken - 1975 - Journal of Symbolic Logic 40 (4):635-635.
- Ponasse Daniel. Problèmes d′universalité s′introduisant dans l′algébrisation de la logique mathématique. Nagoya mathematical journal, vol. 20 , pp. 29–73, and Vol. 21 , pp. 61–110. [REVIEW]G. Fuhrken - 1967 - Journal of Symbolic Logic 32 (3):417-418.
- Ponasse Daniel. Structure prébooléienne. Ensemble prébooléien universel associé à un ensemble quelconque. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 248 , pp. 899–902.Ponasse Daniel. Anneau booléien universel associé à un ensemble quelconque. Applications au calcul propositionnel. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 248 , pp. 1093–1096. [REVIEW]G. Fuhrken - 1965 - Journal of Symbolic Logic 30 (3):378-378.
- Review: A. Ehrenfeucht, A. Mostowski, A Compact Space of Models of First Order Theories. [REVIEW]G. Fuhrken - 1970 - Journal of Symbolic Logic 35 (4):586-587.
- Review: C. C. Chang, H. J. Keisler, Model Theory. [REVIEW]Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
- Review: Chandler Davis, Modal Operators, Equivalence Relations, and Projective Algebras. [REVIEW]Gebhard Fuhrken - 1959 - Journal of Symbolic Logic 24 (3):253-253.
- Ryll-Nardzewski C.. On the categoricity in power. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 545–548. [REVIEW]G. Fuhrken - 1966 - Journal of Symbolic Logic 31 (3):505-505.
- Review: Daniel Ponasse, Structure Prebooleienne. Ensemble Prebooleien Universel Associe a un Ensemble Quelconque. [REVIEW]G. Fuhrken - 1965 - Journal of Symbolic Logic 30 (3):378-378.
- Review: Daniel Ponasse, Problemes D'Universalite S'Introduisant dans L'Algebrisation de la Logique Mathematique. [REVIEW]G. Fuhrken - 1967 - Journal of Symbolic Logic 32 (3):417-418.Export citation
Bookmark - Review: Daniel Ponasse, Une Demonstration du Theoreme de Completude de Godel. [REVIEW]G. Fuhrken - 1967 - Journal of Symbolic Logic 32 (3):418-418.Export citation Bookmark
- Review: Gaisi Takeuti, Remarks on the Truth Definition. [REVIEW]Gebhard Fuhrken - 1962 - Journal of Symbolic Logic 27 (1):110-110.
- Review: H. Jerome Keisler, Logic with the Quantifier There Exist Uncountably Many. [REVIEW]Gebhard Fuhrken - 1971 - Journal of Symbolic Logic 36 (4):685-687.
- Reichbach Juliusz. On the first-order functional calculus and the truncation of models. English, with Polish and Russian summaries. Studio logica, vol. 7 , pp. 181–220. [REVIEW]Gebhard Fuhrken - 1959 - Journal of Symbolic Logic 24 (1):61-61.
- Review: Juliusz Reichbach, On the First-Order Functional Calculus and the Truncation of Models. [REVIEW]Gebhard Fuhrken - 1959 - Journal of Symbolic Logic 24 (1):61-61.
- Review: Lars Svenonius, $aleph_0$-Categoricity in First-Order Predicate Calculus. [REVIEW]G. Fuhrken - 1966 - Journal of Symbolic Logic 31 (3):504-504.
- R. L. Vaught. A Löwenheim-Skolem theorem for cardinals far apart. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 390–401. [REVIEW]G. Fuhrken - 1968 - Journal of Symbolic Logic 33 (3):476-477.
- Review: Michael Morley, On Theories Categorical in Uncountable Powers; Michael Morley, Categoricity in Power. [REVIEW]G. Fuhrken - 1966 - Journal of Symbolic Logic 31 (4):646-646.
- Review: M. Makkai, A Compactness Result Concerning Direct Products of Models. [REVIEW]G. Fuhrken - 1968 - Journal of Symbolic Logic 33 (3):477-477.
- Review: M. Makkai, Svenonius Sentences and Lindstrom's Theory on Preservation Theorems. [REVIEW]G. Fuhrken - 1975 - Journal of Symbolic Logic 40 (4):635-635.
- Review: Per Lindstrom, On Relations between Structures. [REVIEW]G. Fuhrken - 1969 - Journal of Symbolic Logic 34 (3):515-515.
- Review: R. L. Vaught, J. W. Addison, Leon Henkin, Alfred Tarski, A Lowenheim-Skolem Theorem for Cardinals for Apart. [REVIEW]G. Fuhrken - 1968 - Journal of Symbolic Logic 33 (3):476-477.
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-7c76586df8-5tf24 uwo