Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten

DOI10.1007/BF01452848zbMath0006.38502MaRDI QIDQ1839571

L. Kalmár

Publication date: 1933

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/159648

zbMATH Keywords

decision problem

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (8)

Some characterizations of the first-order functional calculus ⋮ Random models and solvable Skolem classes ⋮ On the Decision Problem for Two-Variable First-Order Logic ⋮ Skolem reduction classes ⋮ Random models and the Gödel case of the decision problem ⋮ On the first-order functional calculus and the truncation of models ⋮ On the Gödel class with identity ⋮ The unsolvability of the Gödel class with identity

Cites Work

• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

This page was built for publication: Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten