21 found
Order:
Disambiguations
G. Fuhrken [15]Gebhard Fuhrken [10]
  1.  25
    (1 other version)A Remark On The Härtig Quantifier.Gebhard Fuhrken - 1972 - Mathematical Logic Quarterly 18 (13‐15):227-228.
  2. 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.
  3.  24
    Weakly atomic-compact relational structures.G. Fuhrken & W. Taylor - 1971 - Journal of Symbolic Logic 36 (1):129-140.
  4. Aquivalenzklassen von n-Tupeln.G. Fuhrken - 1966 - Journal of Symbolic Logic 31 (3):504.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  5.  68
    Bemerkung zu Einer Arbeit E. Engelers.Gebhard Fuhrken - 1962 - Mathematical Logic Quarterly 8 (3-4):277-279.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  28
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  40
    On the Categoricity in Power ℵ 0.G. Fuhrken & C. Ryll-Nardzewski - 1966 - Journal of Symbolic Logic 31 (3):505.
  8.  44
    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.
  9.  25
    Per Lindström. On relations between structures. Theoria , vol. 32 , pp. 172–185.G. Fuhrken - 1969 - Journal of Symbolic Logic 34 (3):515.
  10.  58
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  89
    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.
  12.  68
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13.  37
    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.
  14.  23
    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.
  15.  28
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  40
    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.
  17.  30
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18.  23
    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.
  19.  33
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  51
    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.
  21.  46
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark