| Publication | Date of Publication | Type |
|---|
The writing of the MV-algebras
Studia Logica | 2001-07-26 | Paper |
Model theory.
Studies in Logic and the Foundations of Mathematics | 1992-09-17 | Paper |
| scientific article; zbMATH DE number 3478824 (Why is no real title available?) | 1974-01-01 | Paper |
Model theory
Studies in Logic and the Foundations of Mathematics | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3433840 (Why is no real title available?) | 1973-01-01 | Paper |
A partition theorem for the complete graph on ^
Journal of Combinatorial Theory. Series A | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3424026 (Why is no real title available?) | 1972-01-01 | Paper |
The Suslin-Kleene theorem for \(V_\kappa\) with cofinality(\(\kappa)=\omega\).
Pacific Journal of Mathematics | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3342839 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3346356 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3351503 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3280049 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3326465 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3252222 (Why is no real title available?) | 1967-01-01 | Paper |
Omitting types of prenex formulas
Journal of Symbolic Logic | 1967-01-01 | Paper |
| Descendingly Incomplete Ultrafilters | 1967-01-01 | Paper |
Cardinal factorization of finite relational structures
Fundamenta Mathematicae | 1967-01-01 | Paper |
| Continuous Model Theory. (AM-58) | 1966-01-01 | Paper |
| A Note on the Two Cardinal Problem | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3240403 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3316884 (Why is no real title available?) | 1965-01-01 | Paper |
Some new results in definability
Bulletin of the American Mathematical Society | 1964-01-01 | Paper |
Refinement properties for relational structures
Fundamenta Mathematicae | 1964-01-01 | Paper |
A weak completeness theorem for infinite valued first-order logic
Journal of Symbolic Logic | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3211074 (Why is no real title available?) | 1963-01-01 | Paper |
The Axiom of Comprehension in Infinite Valued Logic.
MATHEMATICA SCANDINAVICA | 1963-01-01 | Paper |
An improved prenex normal form<sup>1</sup>
Journal of Symbolic Logic | 1963-01-01 | Paper |
Applications of ultraproducts of pairs of cardinals to the theory of models
Pacific Journal of Mathematics | 1962-01-01 | Paper |
Model theories with truth values in a uniform space
Bulletin of the American Mathematical Society | 1962-01-01 | Paper |
A characterization of abelian groups
Fundamenta Mathematicae | 1962-01-01 | Paper |
On the representation of α-complete lattices
Fundamenta Mathematicae | 1962-01-01 | Paper |
| Ordinal Factorization of Finite Relations | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3176047 (Why is no real title available?) | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3176060 (Why is no real title available?) | 1961-01-01 | Paper |
Some cancellation theorems for ordinal products of relations
Duke Mathematical Journal | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3261590 (Why is no real title available?) | 1960-01-01 | Paper |
Maximal n-disjointed sets and the axiom of choice
Fundamenta Mathematicae | 1960-01-01 | Paper |
On closure under direct product
Journal of Symbolic Logic | 1959-01-01 | Paper |
A New Proof of the Completeness of the Lukasiewicz Axioms
Transactions of the American Mathematical Society | 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
Transactions of the American Mathematical Society | 1958-01-01 | Paper |
On the Representation of α-Complete Boolean Algebras
Transactions of the American Mathematical Society | 1957-01-01 | Paper |
| scientific article; zbMATH DE number 3093422 (Why is no real title available?) | 1954-01-01 | Paper |
