Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität

DOI10.1002/malq.19550010403zbMath0066.25702OpenAlexW2043071947MaRDI QIDQ3226749

Günter Asser

Publication date: 1955

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19550010403

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

LOGICALITY AND MODEL CLASSES, On spectra of sentences of monadic second order logic with counting, Applying, extending, and specializing pseudorecursiveness, Nondeterministic stack register machines, Classifying the computational complexity of problems, Finite Axiomatizability using additional predicates, Fifty years of the spectrum problem: survey and new results, Finite-model theory -- A personal perspective, Relational structures constructible by quantifier free definable operations, On Horn spectra, Günter Asser (1926–2015), European Summer Meeting of the Association for Symbolic Logic, Complexity classes and theories of finite models, Regular Graphs and the Spectra of Two-Variable Logic with Counting, Sets of Formulas Valid in Finite Structures, Unnamed Item, Investigation of binary spectra by explicit polynomial transformations of graphs, Turing machines and the spectra of first-order formulas