| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 3935322 (Why is no real title available?) | 1984-01-01 | Paper |
Foundational studies. Selected works. Vol. I, II
Studies in Logic and the Foundations of Mathematics | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3720895 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3588651 (Why is no real title available?) | 1977-01-01 | Paper |
Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed
Studies in Logic and the Foundations of Mathematics | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3528230 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3528231 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3482338 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3529846 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3489122 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3515464 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3432246 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3438843 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3424020 (Why is no real title available?) | 1973-01-01 | Paper |
Models of second order arithmetic with definable Skolem functions
Fundamenta Mathematicae | 1972-01-01 | Paper |
A transfinite sequence of <i>ω</i>-models
Journal of Symbolic Logic | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3324725 (Why is no real title available?) | 1970-01-01 | Paper |
Constructible sets with applications
Studies in Logic and the Foundations of Mathematics | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3361879 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3264065 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3289419 (Why is no real title available?) | 1968-01-01 | Paper |
On some new metamathematical results concerning set theory
Studia Logica | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3291162 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3302269 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3226238 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3236046 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3231095 (Why is no real title available?) | 1965-01-01 | Paper |
Widerspruchsfreiheit und Unabhängigkeit der Kontinuumhypothese
Elemente der Mathematik | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3176889 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3185969 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3195384 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3172709 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3176042 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3253947 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3269855 (Why is no real title available?) | 1962-01-01 | Paper |
Addition au travail `A proof of Herbrand theorem'
Journal de Mathématiques Pures et Appliquées. Neuvième Série | 1961-01-01 | Paper |
A generalization of the incompleteness theorem
Fundamenta Mathematicae | 1961-01-01 | Paper |
Axiomatizability of some many valued predicate calculi
Fundamenta Mathematicae | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3161202 (Why is no real title available?) | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3172708 (Why is no real title available?) | 1961-01-01 | Paper |
An Example of a Non‐Axiomatizable Many Valued Logic
Mathematical Logic Quarterly | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3195391 (Why is no real title available?) | 1961-01-01 | Paper |
The classical and the <i>ω</i>-complete arithmetic
Journal of Symbolic Logic | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3144512 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3162897 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3218741 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3130288 (Why is no real title available?) | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3134308 (Why is no real title available?) | 1958-01-01 | Paper |
On a problem of W. Kinna and K. Wagner
Colloquium Mathematicum | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3171131 (Why is no real title available?) | 1958-01-01 | Paper |
L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique
Fundamenta Mathematicae | 1957-01-01 | Paper |
On computable sequences
Fundamenta Mathematicae | 1957-01-01 | Paper |
On a generalization of quantifiers
Fundamenta Mathematicae | 1957-01-01 | Paper |
| scientific article; zbMATH DE number 3132763 (Why is no real title available?) | 1957-01-01 | Paper |
Models of axiomatic theories admitting automorphisms
Fundamenta Mathematicae | 1956-01-01 | Paper |
Concerning a problem of H. Scholz
Mathematical Logic Quarterly | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3124828 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3125369 (Why is no real title available?) | 1956-01-01 | Paper |
Die Mathematische Logik auf dem Internationalen Mathematikerkongress in Amsterdam
Studia Logica | 1956-01-01 | Paper |
A proof of Herbrand's theorem
Journal de Mathématiques Pures et Appliquées. Neuvième Série | 1956-01-01 | Paper |
Examples of sets definable by means of two and three quantifiers
Fundamenta Mathematicae | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3112888 (Why is no real title available?) | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3114378 (Why is no real title available?) | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3114379 (Why is no real title available?) | 1955-01-01 | Paper |
A formula with no recursively enumerable model
Fundamenta Mathematicae | 1955-01-01 | Paper |
Contributions to the theory of definable sets and functions
Fundamenta Mathematicae | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3115158 (Why is no real title available?) | 1955-01-01 | Paper |
A geometric interpretation of logical formulae
Studia Logica | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3090981 (Why is no real title available?) | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3091851 (Why is no real title available?) | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3094247 (Why is no real title available?) | 1954-01-01 | Paper |
Undecidable theories
Studies in Logic and the Foundations of Mathematics | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3079572 (Why is no real title available?) | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3082568 (Why is no real title available?) | 1953-01-01 | Paper |
Models of axiomatic systems
Fundamenta Mathematicae | 1953-01-01 | Paper |
On a system of axioms which has no recursively enumerable arithmetic model
Fundamenta Mathematicae | 1953-01-01 | Paper |
Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
Studies in Logic and the Foundations of Mathematics | 1952-01-01 | Paper |
On direct products of theories
Journal of Symbolic Logic | 1952-01-01 | Paper |
| scientific article; zbMATH DE number 3073207 (Why is no real title available?) | 1952-01-01 | Paper |
On the rules of proof in the pure functional calculus of the first order
Journal of Symbolic Logic | 1951-01-01 | Paper |
Groups connected with Boolean algebras. (Partial solution of the problem P92)
Colloquium Mathematicum | 1951-01-01 | Paper |
Sur un problème de la théorie des groupes et son rapport à la topologie
Colloquium Mathematicum | 1951-01-01 | Paper |
| scientific article; zbMATH DE number 3070430 (Why is no real title available?) | 1951-01-01 | Paper |
Some impredicative definitions in the axiomatic set theory
Fundamenta Mathematicae | 1950-01-01 | Paper |
| scientific article; zbMATH DE number 3048502 (Why is no real title available?) | 1949-01-01 | Paper |
| scientific article; zbMATH DE number 3057860 (Why is no real title available?) | 1949-01-01 | Paper |
An undecidable arithmetical statement
Fundamenta Mathematicae | 1949-01-01 | Paper |
Proofs of non-deducibility in intuitionistic functional calculus
Journal of Symbolic Logic | 1948-01-01 | Paper |
On the principle of dependent choices
Fundamenta Mathematicae | 1948-01-01 | Paper |
| scientific article; zbMATH DE number 3048970 (Why is no real title available?) | 1948-01-01 | Paper |
| scientific article; zbMATH DE number 3052380 (Why is no real title available?) | 1948-01-01 | Paper |
Un théorème sur les nombres cos 2πk/n
Colloquium Mathematicum | 1948-01-01 | Paper |
On absolute properties of relations
Journal of Symbolic Logic | 1947-01-01 | Paper |
On definable sets of positive integers
Fundamenta Mathematicae | 1947-01-01 | Paper |
| scientific article; zbMATH DE number 3106080 (Why is no real title available?) | 1946-01-01 | Paper |
Remarques sur la Note de M. Sierpiński „Un théorème sur les familles d'ensembles et ses applications"
Fundamenta Mathematicae | 1945-01-01 | Paper |
Axiom of choice for finite sets
Fundamenta Mathematicae | 1945-01-01 | Paper |
Bemerkungen zum Begriff der inhaltlichen Widerspruchsfreiheit.
Journal of Symbolic Logic | 1939-01-01 | Paper |
Boolesche Ringe mit geordneter Basis.
Fundamenta Mathematicae | 1939-01-01 | Paper |
Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip.
Fundamenta Mathematicae | 1939-01-01 | Paper |
