| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 194781 (Why is no real title available?) | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 44695 (Why is no real title available?) | 1993-01-23 | Paper |
Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1988-01-01 | Paper |
Large convex sets in oriented matroids
Journal of Combinatorial Theory. Series B | 1988-01-01 | Paper |
Coding in the existential theory of concatenation
Archiv für Mathematische Logik und Grundlagenforschung | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3885307 (Why is no real title available?) | 1984-01-01 | Paper |
DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2
Mathematical Logic Quarterly | 1983-01-01 | Paper |
State-strategies for games in Fσδ ∩ Gδσ
Journal of Symbolic Logic | 1983-01-01 | Paper |
THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS
Mathematical Logic Quarterly | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3572126 (Why is no real title available?) | 1977-01-01 | Paper |
The monadic second order theory of all countable ordinals
Lecture Notes in Mathematics | 1973-01-01 | Paper |
Definibility in normal theories
Israel Journal of Mathematics | 1973-01-01 | Paper |
Variations on a theme of cantor in the theory of relational structures
Mathematical Logic Quarterly | 1973-01-01 | Paper |
Model Theoretic Approaches to Definability
Mathematical Logic Quarterly | 1972-01-01 | Paper |
Jordan circuits of a graph
Journal of Combinatorial Theory. Series A | 1971-01-01 | Paper |
Canonical systems which produce periodic sets
Mathematical Systems Theory | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3342794 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3387369 (Why is no real title available?) | 1970-01-01 | Paper |
Solving Sequential Conditions by Finite-State Strategies
Transactions of the American Mathematical Society | 1969-01-01 | Paper |
Definability in the monadic second-order theory of successor
Journal of Symbolic Logic | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3440329 (Why is no real title available?) | 1966-01-01 | Paper |
Decision methods in the theory of ordinals
Bulletin of the American Mathematical Society | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3329919 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3261595 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3341983 (Why is no real title available?) | 1964-01-01 | Paper |
Regular canonical systems
Archiv für Mathematische Logik und Grundlagenforschung | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3237829 (Why is no real title available?) | 1962-01-01 | Paper |
Beitrag zur Aerodynamik eines schwingenden Gitters II (Unterschallströmung)
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 1962-01-01 | Paper |
Turing-machines and the Entscheidungsproblem
Mathematische Annalen | 1962-01-01 | Paper |
Weak Second‐Order Arithmetic and Finite Automata
Mathematical Logic Quarterly | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3229502 (Why is no real title available?) | 1960-01-01 | Paper |
Invariants of the Anti-Automorphisms of a Group
Proceedings of the American Mathematical Society | 1958-01-01 | Paper |
The theory of proportionality as an abstraction of group theory
Mathematische Annalen | 1955-01-01 | Paper |
On the existence of totally heterogeneous spaces
Fundamenta Mathematicae | 1954-01-01 | Paper |
Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types
Journal of Symbolic Logic | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3074914 (Why is no real title available?) | 1952-01-01 | Paper |
| scientific article; zbMATH DE number 3057450 (Why is no real title available?) | 1948-01-01 | Paper |
