| Publication | Date of Publication | Type |
|---|
| The writing of the MV-algebras | 2001-07-26 | Paper |
| Model theory. | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063406 | 1974-01-01 | Paper |
| Model theory | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4401417 | 1973-01-01 | Paper |
| A partition theorem for the complete graph on \(\omega^\omega\) | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5686047 | 1972-01-01 | Paper |
| The Suslin-Kleene theorem for \(V_\kappa\) with cofinality(\(\kappa)=\omega\). | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5619085 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5622194 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5626599 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5565095 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5605216 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5538942 | 1967-01-01 | Paper |
| Omitting types of prenex formulas | 1967-01-01 | Paper |
| Descendingly Incomplete Ultrafilters | 1967-01-01 | Paper |
| Cardinal factorization of finite relational structures | 1967-01-01 | Paper |
| Continuous Model Theory. (AM-58) | 1966-01-01 | Paper |
| A Note on the Two Cardinal Problem | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5527832 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596745 | 1965-01-01 | Paper |
| Some new results in definability | 1964-01-01 | Paper |
| Refinement properties for relational structures | 1964-01-01 | Paper |
| A weak completeness theorem for infinite valued first-order logic | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5338313 | 1963-01-01 | Paper |
| The Axiom of Comprehension in Infinite Valued Logic. | 1963-01-01 | Paper |
| An improved prenex normal form1 | 1963-01-01 | Paper |
| Applications of ultraproducts of pairs of cardinals to the theory of models | 1962-01-01 | Paper |
| Model theories with truth values in a uniform space | 1962-01-01 | Paper |
| A characterization of abelian groups | 1962-01-01 | Paper |
| On the representation of α-complete lattices | 1962-01-01 | Paper |
| Ordinal Factorization of Finite Relations | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3843611 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3843623 | 1961-01-01 | Paper |
| Some cancellation theorems for ordinal products of relations | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5547559 | 1960-01-01 | Paper |
| Maximal n-disjointed sets and the axiom of choice | 1960-01-01 | Paper |
| On closure under direct product | 1959-01-01 | Paper |
| A New Proof of the Completeness of the Lukasiewicz Axioms | 1959-01-01 | Paper |
| On Unions of Chains of Models | 1959-01-01 | Paper |
| Algebraic Analysis of Many Valued Logics | 1958-01-01 | Paper |
| Proof of an Axiom of Lukasiewicz | 1958-01-01 | Paper |
| On the Representation of α-Complete Boolean Algebras | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5833218 | 1954-01-01 | Paper |
