- 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
Results for 'Löwenheim-Skolem'
485 found
Order:
- Einführungin die operative Logik und Mathematik.Th Skolem - 1957 - Zeitschrift für Philosophische Forschung 11 (4):631-633.No categories
- Functional equation in the area calculation and deformation possibilities in the Relative calculation.Leopold Loewenheim - 2007 - History and Philosophy of Logic 28 (4):305-336.Export citation
Bookmark - Einführung in die Operative Logik und Mathematik.Th Skolem - 1957 - Journal of Symbolic Logic 22 (3):289-290.
- Studies on the axiom of comprehension.Th Skolem - 1963 - Notre Dame Journal of Formal Logic 4 (3):162-170.
- The logical nature of arithmetic.Th Skolem - 1955 - Synthese 9 (1):375 - 384.
- Investigations on a comprehension axiom without negation in the defining propositional functions.Thoralf Skolem - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):13-22.
- L'axiomatique.Th Skolem - 1956 - Les Etudes Philosophiques 11 (2):323-324.
- Gödel's Proof.Th Skolem - 1958 - Journal of Symbolic Logic 24 (3):222-222.
- Proof of some theorems on recursively enumerable sets.Thoralf Skolem - 1962 - Notre Dame Journal of Formal Logic 3 (2):65-74.
- Addendum to my article: "Proof of some theorems on recursively enumerable sets".Thoralf Skolem - 1963 - Notre Dame Journal of Formal Logic 4 (1):44-47.
- Ein Satz uber die Erfullbarkeit von einigen Zahlausdrucken der Form K 1 & K 2.Thoralf Skolem - 1936 - Journal of Symbolic Logic 1 (3):111-111.Export citation Bookmark
- Selected works in logic.Th Skolem & Jens Erik Fenstad - 1970 - Oslo,: Universitetsforlaget. Edited by Jens Erik Fenstad.
- Mathematical interpretation of formal systems.Thoralf Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin & J. Łoś (eds.) - 1955 - Amsterdam: North-Holland Pub. Co..
- Bemerkungen zum Komprehensionsaxiom.Thoralf Skolem, C. C. Chang & Jens Erik Fenstad - 1967 - Journal of Symbolic Logic 32 (1):128-129.
- Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet.Thoralf Skolem - 1957 - Mathematical Logic Quarterly 3 (1‐5):1-17.
- Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet.Thoralf Skolem - 1957 - Mathematical Logic Quarterly 3 (1-5):1-17.No categories
- Kemeny John G.. Undecidable problems of elementary number theory. Mathematische Annalen, vol. 135 , pp. 160–169.Th Skolem - 1958 - Journal of Symbolic Logic 23 (3):359-360.
- Nelson David. Constructible falsity.Th Skolem - 1950 - Journal of Symbolic Logic 15 (3):228-228.
- Novak I. L.. A construction for models of consistent systems. Fundamenta mathematicae, vol. 37 , pp. 87–110.Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):273-274.
- Robinson Julia. Definability and decision problems in arithmetic.Th Skolem - 1950 - Journal of Symbolic Logic 15 (1):68-69.
- Reduction of axiom systems with axiom schemes to systems with only simple axioms.Th Skolem - 1958 - Dialectica 12 (3‐4):443-450.
- Sobre la naturaleza del razonamiento matemático.Th Skolem - 1952 - Madrid,: [Instituto de Matemáticas "Jorge Juan"].
- Tarski Alfred. A problem concerning the notion of definability.T. H. Skolem - 1948 - Journal of Symbolic Logic 13 (3):172-173.
- The Logical Nature of Arithmetic.Th Skolem - 1953 - Synthese 9 (6):375-384.No categoriesExport citation Bookmark
- Th. Skolem. Über gewisse “Verbände” oder “lattices.” Avhandlinger utgitt au Det Norske Videnskaps-Akademi i Oslo, I. Mat.-naturv. klasse 1936, no. 7 (1936), 16 pp. [REVIEW]Garrett Birkhoff & Th Skolem - 1937 - Journal of Symbolic Logic 2 (1):50-51.
- Mathematical interpretation of formal systems.Th Wiskundig Genootschap & Skolem (eds.) - 1955 - Amsterdam,: North-Holland Pub. Co..
- Aubert Karl Egil. Om presisering og generalisering av relasjonsbegrepet . Norsk matematisk tidsskrift, vol. 30 , pp. 33–53. [REVIEW]Th Skolem - 1955 - Journal of Symbolic Logic 20 (3):278-279.
- Beth E. W.. Observations métamathématiques sur les structures simplement ordonnées. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 29–35.Robinson A. and Beth E. W.. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, p. 35. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (1):34-35.
- Behmann Heinrich. Zu den Parallelreihentransformationen in Schröders “Algebra und Logik der Relative”. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 2 , pp. 52–62; also Archiv für Philosophie, vol. 4 no. 2 , pp. 212–222. [REVIEW]Th Skolem - 1955 - Journal of Symbolic Logic 20 (1):75-75.
- Blanché Robert. L'axiomatique. Presses Universitaires de France, Paris 1955, title pages + 102 pp. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (4):438-439.
- Copilowish Irving M.. Matrix development of the calculus of relations. [REVIEW]Th Skolem - 1949 - Journal of Symbolic Logic 14 (2):137-137.
- Goodstein R. L.. Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1957, XII + 190 pp. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (2):227-228.
- Heyting A.. Sur la t'che de la philosophie des mathématiques. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 193–198. [REVIEW]Th Skolem - 1954 - Journal of Symbolic Logic 19 (3):225-225.
- Jørgensen Jørgen. Indledning til logikken og metodelæren . Ejnar Munksgaard, Copenhagen 1942, 88 pp. [REVIEW]Th Skolem - 1947 - Journal of Symbolic Logic 12 (3):88-89.
- Kreisel G.. Some remarks on the foundations of mathematics. An expository article. The mathematical gazette, vol. 35 , pp. 23–28. [REVIEW]Th Skolem - 1954 - Journal of Symbolic Logic 19 (1):60-61.
- Kalmár László and Surányi János. On the decision problem. Third paper. Pepis prefix, a single binary predicate. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (3):215-216.
- Lorenzen Paul. Einführung in die operative Logik und Mathematik. Die Grundlehren der mathematischen Wissenschaften, vol. 78. Springer-Verlag, Berlin-Göttingen-Heidelberg 1955, VII + 298 pp. [REVIEW]Th Skolem - 1957 - Journal of Symbolic Logic 22 (3):289-290.
- Mostowski Andrzej Correction to the paper “Some impredicative definitions in the axiomatic set-theory.” Fundamenta mathematicae, vol. 38 , p. 238. [REVIEW]Th Skolem - 1953 - Journal of Symbolic Logic 18 (4):343-343.
- Mostowski Andrzej. Proofs of non-deducibility in intuitionistic functional calculus. [REVIEW]Th Skolem - 1949 - Journal of Symbolic Logic 14 (2):137-137.
- Mostowski Andrzej. Some impredicative definitions in the axiomatic set-theory. Fundamenta mathematicae, vol. 37 , pp. 111–124. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):274-275.
- Marc-Wogau. Konrad. Modern logik. Elementär lärobok. Ehlins Handböcker, Stockholm 1950, 211 pp. [With separate sheet of Rättelser .]. [REVIEW]Th Skolem - 1952 - Journal of Symbolic Logic 17 (4):288-288.
- Nagel Ernest and Newman James R.. Gödei's proof. New York University Press, New York 1958, ix + 118 pp. [REVIEW]Th Skolem - 1959 - Journal of Symbolic Logic 24 (3):222-222.
- Review: A. Heyting, Sur la Tache de la Philosophie des Mathematiques. [REVIEW]Th Skolem - 1954 - Journal of Symbolic Logic 19 (3):225-225.
- Review: Andrzej Mostowski, Proofs of Non-Deducibility in Intuitionistic Functional Calculus. [REVIEW]Th Skolem - 1949 - Journal of Symbolic Logic 14 (2):137-137.
- Review: Andrzej Mostowski, Some Impredicative Definitions in the Axiomatic Set-Theory. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):274-275.
- Review: Andrzej Mostowski, Correction to the Paper "Some Impredicative Definitions in the Axiomatic Set-Theory.". [REVIEW]Th Skolem - 1953 - Journal of Symbolic Logic 18 (4):343-343.
- Review: Alfred Tarski, A Problem Concerning the Notion of Definability. [REVIEW]Th Skolem - 1948 - Journal of Symbolic Logic 13 (3):172-173.
- Review: Anders Wedberg, The New Logic. [REVIEW]Th Skolem - 1948 - Journal of Symbolic Logic 13 (2):122-122.
- Reviews. Anders Wedberg. Den nya logiken . Studentföreningen verdandis småskrifter nos. 477, 478. Part I, 61 pp., and Part II, 71 pp.; Albert Bonniers Förlag, Stockholm 1945. [REVIEW]Th Skolem - 1948 - Journal of Symbolic Logic 13 (2):122-122.
- Review: David Nelson, Constructible Falsity. [REVIEW]Th Skolem - 1950 - Journal of Symbolic Logic 15 (3):228-228.
| 1 — 50 / 485 |
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-64dd777598-cl5t5 uwo