Review: Thoralf Skolem, Ein Satz uber die Erfullbarkeit von einigen Zahlausdrucken der Form $(x) (Ey1,cdots, yn)K_1(x, y_1, cdots, y_n)$ & $(x_1, x_2, x_3) K_2(x_1, x_2, x_3).$ [Book Review]

Journal of Symbolic Logic 1 (3):111-111 (1936)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269034

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Bewiesbarkeit mathematischer Sätze nebst einem Theorem über dichte Mengen.Thoralf Skolem - 1920 - In Selected Works in Logic. Universitetsforlaget.
Axiomatizability by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\forall}{\exists}!}$$\end{document}-sentences. [REVIEW]Miguel Campercholi & Diego Vaggione - 2011 - Archive for Mathematical Logic 50 (7-8):713-725.
Über einige Grundlagenfragen der Mathematik.Thoralf Skolem - 1929 - In Selected Works in Logic. Universitetsforlaget. pp. 227--73.
Einige Bemerkungen zu der Abhandlung von E.~Zermelo: ӆber die Definitheit in der Axiomatik'.Thoralf Skolem - 1930 - In Selected Works in Logic. Universitetsforlaget. pp. 276--9.
Quantum States of Indefinite Spins: From Baryons to Massive Gravitino. [REVIEW]M. Kirchbach - 2003 - Foundations of Physics 33 (5):781-812.
Sur la Porté du Théorème Löwenheim-Skolem.Thoralf Skolem - 1941 - In Selected Works in Logic. Universitetsforlaget. pp. 455--82.
On the expressibility hierarchy of Magidor-Malitz quantifiers.Matatyahu Rubin & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):542-557.
Über Mengen von Ausdrücken der Logik Höherer Stufe, für die der Endlichkeitssatz und der Satz von Löwenheim‐Skolem Gelten.Helmut Wolter - 1972 - Mathematical Logic Quarterly 18 (1‐3):13-18.
Relational semantics and a relational proof system for full Lambek calculus.Wendy MacCaull - 1998 - Journal of Symbolic Logic 63 (2):623-637.
Review: Thoralf A. Skolem, Abstract Set Theory. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):680-680.
Review: Thoralf Skolem, The Development of Recursive Arithmetic. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (1):54-54.
¸ Iteskolem:Swl.Thoralf Skolem - 1955
The complexity of oddan.Richard Beigel, William Gasarch, Martin Kummer, Georgia Martin, Timothy McNicholl & Frank Stephan - 2000 - Journal of Symbolic Logic 65 (1):1 - 18.

Analytics

Added to PP
2013-11-22

Downloads
18 (#832,589)

6 months
2 (#1,198,779)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references