| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4814380 | 2004-09-07 | Paper |
| Petr Vopěnka (*16. 5. 1935) | 2002-11-26 | Paper |
| Classical mathematical logic. | 2001-10-24 | Paper |
| Choices of Convenient Sets | 1995-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4278001 | 1994-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3141251 | 1994-07-26 | Paper |
| Interpretations of the alternative set theory | 1994-07-26 | Paper |
| Constructibility in higher order arithmetics | 1994-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3990240 | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3981829 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3197818 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3474646 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3824304 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3807190 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3807191 | 1988-01-01 | Paper |
| Extendability of Functions on Models of ZFFin | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3778743 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3765769 | 1986-01-01 | Paper |
| Elementary Extensions of Models of the Alternative Set Theory | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3708013 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3708014 | 1985-01-01 | Paper |
| Models of the alternative set theory | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3718708 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3037425 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3312217 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3955351 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671154 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3901511 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3955348 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3955349 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3955350 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3864514 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3870884 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3870885 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156775 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3861383 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3872449 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4111561 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4091923 | 1975-01-01 | Paper |
| Contributions to the theory of semisets V: On the axiom of general collapse | 1975-01-01 | Paper |
| Contribution to the theory of semisets VI: (Non‐existence of the class of all absolute natural numbers) | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4081248 | 1974-01-01 | Paper |
| Contributions to the Theory of Semisets II. The theory of semisets and end‐extensions in a syntactic setting | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613931 | 1969-01-01 | Paper |
| The $\Pi$-process | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5553271 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5553270 | 1966-01-01 | Paper |
| EIN DEM FUNDIERUNGSAXIOM ÄQUIVALENTES AXIOM | 1964-01-01 | Paper |
| On the linearity of mappings of $E\sb m$ into $E\sb m$ | 1962-01-01 | Paper |
