| Publication | Date of Publication | Type |
|---|
| A simpler and more realistic subjective decision theory | 2021-01-18 | Paper |
| A Theory of Higher Order Probabilities | 2017-04-07 | Paper |
| Context-Dependent Utilities | 2015-12-17 | Paper |
| Replay, recovery, replication, and snapshots of nondeterministic concurrent programs | 2015-06-19 | Paper |
| The sure thing principle, dilations, and objective probabilities | 2014-04-17 | Paper |
| Deceptive updating and minimal information methods | 2013-11-25 | Paper |
| On ontology and realism in mathematics | 2012-10-23 | Paper |
| Erratum to: ``Vagueness, tolerance and contextual logic | 2011-06-08 | Paper |
| Vagueness, tolerance and contextual logic | 2010-08-13 | Paper |
| Contextual logic with modalities for time and space | 2010-08-13 | Paper |
| Naming and Diagonalization, from Cantor to Godel to Kleene | 2007-02-15 | Paper |
| Some thoughts and a proposal in the philosophy of mathematics | 2006-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4656798 | 2005-03-14 | Paper |
| Self-reference and the acyclicity of rational choice | 2000-07-10 | Paper |
| Undecidable optimization problems for database logic programs | 1993-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3212265 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733390 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3484809 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3740714 | 1986-01-01 | Paper |
| Concerning two-adjacent context-free languages | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3962995 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666827 | 1982-01-01 | Paper |
| Probabilities over rich languages, testing and randomness | 1982-01-01 | Paper |
| Models and types of Peano's arithmetic | 1976-01-01 | Paper |
| Global and local choice functions | 1976-01-01 | Paper |
| Finiteness is not a \(\Sigma_0\)-property | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109673 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4081239 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5668470 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5611004 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5561944 | 1967-01-01 | Paper |
| A generalization of Mahlo's method for obtaining large cardinal numbers | 1967-01-01 | Paper |
| Remarks on Complementation in the Lattice of all Topologies | 1966-01-01 | Paper |
| Dependency systems and phrase-structure systems | 1965-01-01 | Paper |
| Infinite Boolean polynomials I | 1965-01-01 | Paper |
| Concerning measures in first order calculi | 1964-01-01 | Paper |
| Isomorphism Types of Trees | 1964-01-01 | Paper |
| Concerning measures on Boolean algebras | 1964-01-01 | Paper |
