| Publication | Date of Publication | Type |
|---|
| On logic and generative AI | 2024-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6190884 | 2024-02-06 | Paper |
| Primal logic of information | 2023-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6100192 | 2023-06-22 | Paper |
| Software science view on quantum circuit algorithms | 2023-05-19 | Paper |
| Negative probabilities: what are they for? * | 2023-02-10 | Paper |
| Functional Thesauri, Classifying Topoi, Unification, and Flatness | 2022-11-09 | Paper |
| Quantum circuits with classical channels and the principle of deferred measurements | 2022-05-17 | Paper |
| Wigner's quasidistribution and Dirac's kets | 2022-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384927 | 2021-12-17 | Paper |
| Simple circuit simulations of classical and quantum Turing machines | 2021-11-21 | Paper |
| Quantum circuits with classical channels and the principle of deferred measurements | 2021-07-17 | Paper |
| Infinitary Partition Properties of Sums of Selective Ultrafilters | 2021-06-15 | Paper |
| Witness algebra and anyon braiding | 2020-12-08 | Paper |
| Negative probabilities: What they are and what they are for | 2020-09-22 | Paper |
| On Quantum Computation, Anyons, and Categories | 2020-08-06 | Paper |
| Introduction to Secret-Sharing | 2020-02-04 | Paper |
| Braided distributivity | 2020-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5207894 | 2020-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5207879 | 2020-01-13 | Paper |
| The rearrangement number | 2019-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5203930 | 2019-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967179 | 2019-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967230 | 2019-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967244 | 2019-07-03 | Paper |
| Surveyable sets | 2018-10-08 | Paper |
| Ordinary interactive small-step algorithms, I | 2017-07-12 | Paper |
| Ordinary interactive small-step algorithms, II | 2017-07-12 | Paper |
| Ordinary interactive small-step algorithms, III | 2017-07-12 | Paper |
| Abstract state machines capture parallel algorithms | 2017-07-12 | Paper |
| Program termination and well partial orderings | 2017-07-12 | Paper |
| Abstract state machines capture parallel algorithms | 2017-06-13 | Paper |
| Inadequacy of computable loop invariants | 2017-06-13 | Paper |
| The Rearrangement Number | 2016-12-22 | Paper |
| Partitions and conservativity | 2016-10-24 | Paper |
| Symbioses between mathematical logic and computer science | 2016-07-22 | Paper |
| A variation on the zero-one law | 2016-06-09 | Paper |
| Finite embeddability of sets and ultrafilters | 2016-02-24 | Paper |
| Optimal ancilla-free Pauli+V circuits for axial rotations | 2016-01-12 | Paper |
| THE NEXT BEST THING TO A P-POINT | 2015-11-09 | Paper |
| Composants of the Stone-Čech remainder of the reals | 2015-11-09 | Paper |
| Existential Fixed-Point Logic as a Fragment of Second-Order Logic | 2015-09-22 | Paper |
| Persistent queries in the behavioral theory of algorithms | 2015-09-17 | Paper |
| Ancilla-approximable quantum state transformations | 2015-05-15 | Paper |
| Zero-One Laws: Thesauri and Parametric Conditions | 2015-04-17 | Paper |
| Abstract Hilbertian deductive systems, infon logic, and Datalog | 2014-01-16 | Paper |
| On strong \(P\)-points | 2013-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4904141 | 2013-01-28 | Paper |
| Quasi-selective ultrafilters and asymptotic numerosities | 2012-10-16 | Paper |
| Errata to: ``Quasi-varieties, congruences, and generalized Dowling lattices | 2012-10-16 | Paper |
| Developments from Ernst Specker's work in set theory | 2012-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118390 | 2012-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2998344 | 2011-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3059192 | 2010-12-08 | Paper |
| Combinatorial Cardinal Characteristics of the Continuum | 2010-11-05 | Paper |
| Exact Exploration and Hanging Algorithms | 2010-09-03 | Paper |
| Existential Fixed-Point Logic, Universal Quantifiers, and Topoi | 2010-09-03 | Paper |
| Yuri, Logic, and Computer Science | 2010-09-03 | Paper |
| Content-dependent chunking for differential compression, the local maximum approach | 2010-05-25 | Paper |
| Basic Subgroups and Freeness, A Counterexample | 2010-01-13 | Paper |
| Homogeneous sets from several ultrafilters | 2009-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396561 | 2009-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396607 | 2009-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396617 | 2009-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396639 | 2009-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395946 | 2009-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395980 | 2009-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396012 | 2009-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5190927 | 2009-07-27 | Paper |
| When are Two Algorithms the Same? | 2009-06-17 | Paper |
| One Useful Logic That Defines Its Own Truth | 2009-02-03 | Paper |
| The \(C_3\)-lift on expander graphs | 2008-04-29 | Paper |
| Generalizing Hartogs' Trichotomy Theorem | 2008-04-04 | Paper |
| Interactive Small-Step Algorithms I: Axiomatization | 2008-04-01 | Paper |
| Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem | 2008-04-01 | Paper |
| Why Sets? | 2008-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5439449 | 2008-02-11 | Paper |
| Voting rules for infinite sets and Boolean algebras | 2007-07-30 | Paper |
| Inaccessible cardinals without the axiom of choice | 2007-05-30 | Paper |
| Play to Test | 2007-05-02 | Paper |
| The number of near-coherence classes of ultrafilters is either finite or \(2^{\mathfrak c}\) | 2007-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5493740 | 2006-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3370069 | 2006-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711938 | 2005-12-08 | Paper |
| Foundations of Genetic Algorithms | 2005-11-11 | Paper |
| Random orders and gambler's ruin | 2005-11-01 | Paper |
| DIVISIBILITY OF DEDEKIND FINITE SETS | 2005-09-29 | Paper |
| Ultrafilters and Partial Products of Infinite Cyclic Groups | 2005-08-25 | Paper |
| Special Families of Sets and Baer-Specker Groups | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665734 | 2005-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665729 | 2005-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665736 | 2005-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665733 | 2005-04-11 | Paper |
| Is There a Core Class for Almost Free Groups of Size ℵ1? | 2005-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4819374 | 2004-09-24 | Paper |
| Strong extension axioms and Shelah's zero-one law for choiceless polynomial time | 2004-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4453637 | 2004-03-07 | Paper |
| On polynomial time computation over unordered structures | 2003-10-06 | Paper |
| Homotopy and homology of finite lattices | 2003-09-24 | Paper |
| FREE SUBGROUPS OF THE BAER-SPECKER GROUP | 2003-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790404 | 2003-05-21 | Paper |
| Sperner spaces and first‐order logic | 2003-04-10 | Paper |
| Abstract state machines and computationally complete query languages | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4781759 | 2002-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3152801 | 2002-10-23 | Paper |
| Maximal pure independent sets | 2002-07-16 | Paper |
| Addendum to ``Choiceless polynomial time | 2002-03-25 | Paper |
| Specker's theorem for Nöbeling's group | 2002-03-19 | Paper |
| Needed reals and recursion in generic reals | 2002-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753664 | 2001-12-03 | Paper |
| The Logic of Choice | 2001-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753663 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753699 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753700 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4505700 | 2001-09-04 | Paper |
| A note on extensions of asymptotic density | 2001-07-30 | Paper |
| A new zero-one law and strong extension axioms | 2001-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520496 | 2001-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525275 | 2001-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699197 | 2000-06-13 | Paper |
| Choiceless polynomial time | 2000-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699196 | 2000-04-11 | Paper |
| On the cofinality of ultrapowers | 2000-02-15 | Paper |
| Characteristic and Ehrhart polynomials | 1998-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3127428 | 1998-07-15 | Paper |
| Some semantical aspects of linear logic | 1998-02-17 | Paper |
| Möbius functions of lattices | 1997-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688701 | 1997-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688702 | 1997-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837725 | 1997-03-11 | Paper |
| Quasi-varieties, congruences, and generalized Dowling lattices | 1997-01-21 | Paper |
| An induction principle and pigeonhole principles for K-finite sets | 1996-10-27 | Paper |
| Seven trees in one | 1996-09-22 | Paper |
| On a problem of H. N. Gupta | 1996-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4863329 | 1996-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4868601 | 1996-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4865859 | 1996-04-18 | Paper |
| Matrix Transformation Is Complete for the Average Case | 1996-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4848568 | 1995-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842968 | 1995-10-31 | Paper |
| Cardinal characteristics and the product of countably many infinite cyclic groups | 1995-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4326501 | 1995-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4315579 | 1995-02-09 | Paper |
| On exponentiation of \(G\)-sets | 1995-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4313858 | 1994-11-29 | Paper |
| Partition Theorems for Spaces of Variable Words | 1994-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281680 | 1994-03-10 | Paper |
| Randomizing Reductions of Search Problems | 1993-12-20 | Paper |
| A game semantics for linear logic | 1992-09-27 | Paper |
| Complete topoi representing models of set theory | 1992-09-27 | Paper |
| Diverse homogeneous sets | 1992-06-28 | Paper |
| Infinitary combinatorics and modal logic | 1990-01-01 | Paper |
| Groupwise density and related cardinals | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3484000 | 1990-01-01 | Paper |
| Consistency results about filters and the number of inequivalent growth types | 1989-01-01 | Paper |
| Near coherence of filters. III: A simplified consistency proof | 1989-01-01 | Paper |
| Freyd’s models for the independence of the axiom of choice | 1989-01-01 | Paper |
| Ultrafilters with small generating sets | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732462 | 1989-01-01 | Paper |
| On matijasevitch's nontraditional approach to search problems | 1989-01-01 | Paper |
| Classifying topoi and the axiom of infinity | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733864 | 1989-01-01 | Paper |
| Selctive ultrafilters and homogeneity | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5203003 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4729784 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3772206 | 1987-01-01 | Paper |
| On Strongly Summable Ultrafilters and Union Ultrafilters | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3797180 | 1987-01-01 | Paper |
| Near Coherence of Filters. II: Applications to Operator Ideals, the Stone-Cech Remainder of a Half-Line, Order Ideals of Sequences, and Slenderness of Groups | 1987-01-01 | Paper |
| There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3801546 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3791123 | 1987-01-01 | Paper |
| Prime ideals yield almost maximal ideals | 1987-01-01 | Paper |
| Near coherence of filters. I: Cofinal equivalence of models of arithmetic | 1986-01-01 | Paper |
| Henkin quantifiers and complete problems | 1986-01-01 | Paper |
| Functions on universal algebras | 1986-01-01 | Paper |
| Bijective proofs of two broken circuit theorems | 1986-01-01 | Paper |
| Free subgroups of the homeomorphism group of the reals | 1986-01-01 | Paper |
| On the Egoroff Property of Pointwise Convergent Sequences of Functions | 1986-01-01 | Paper |
| Small decidable sheaves | 1986-01-01 | Paper |
| A zero-one law for logic with a fixed-point operator | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3690807 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3739142 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3344336 | 1984-01-01 | Paper |
| Exact functors, local connectedness and measurable cardinals | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3222184 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3334986 | 1984-01-01 | Paper |
| Equivalence Relations, Invariants, and Normal Forms | 1984-01-01 | Paper |
| There are not exactly five objects | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3222180 | 1984-01-01 | Paper |
| Classifying topoi and finite forcing | 1983-01-01 | Paper |
| Cohomology Detects Failures of the Axiom of Choice | 1983-01-01 | Paper |
| Words, free algebras, and coequalizers | 1983-01-01 | Paper |
| Boolean classifying topoi | 1983-01-01 | Paper |
| On the unique satisfiability problem | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4742816 | 1982-01-01 | Paper |
| A Partition Theorem For Perfect Sets | 1981-01-01 | Paper |
| Degree Sequences of Infinite Graphs | 1981-01-01 | Paper |
| Paley graphs satisfy all first-order adjacency axioms | 1981-01-01 | Paper |
| The model of set theory generated by countably many generic reals | 1981-01-01 | Paper |
| Some initial segments of the Rudin-Keisler ordering | 1981-01-01 | Paper |
| Conservative extensions of models of arithmetic | 1980-01-01 | Paper |
| Which trees are link graphs? | 1980-01-01 | Paper |
| Injectivity, Projectivity, and the Axiom of Choice | 1979-01-01 | Paper |
| Natural Endomorphisms of Burnside Rings | 1979-01-01 | Paper |
| Properties of almost all graphs and complexes | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880832 | 1978-01-01 | Paper |
| Graphs with unique maximal clumpings | 1978-01-01 | Paper |
| Ramsey's theorem in the hierarchy of choice principles | 1978-01-01 | Paper |
| A Characterization and Sum Decomposition for Operator Ideals | 1978-01-01 | Paper |
| Amalgamation of nonstandard models of arithmetic | 1978-01-01 | Paper |
| End Extensions, Conservative Extensions, and the Rudin-Frolik Ordering | 1977-01-01 | Paper |
| Two closed categories of filters | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4141249 | 1977-01-01 | Paper |
| Exact functors and measurable cardinals | 1976-01-01 | Paper |
| Partial Mielnik Spaces and Characterization of Uniformly Convex Spaces | 1976-01-01 | Paper |
| A Forcing Proof of the Kechris-Moschovakis Constructibility Theorem | 1975-01-01 | Paper |
| Cores of Π11 sets of reals | 1975-01-01 | Paper |
| Equivalence of Two Strong Forms of Determinacy | 1975-01-01 | Paper |
| Ultrafilter Mappings and Their Dedekind Cuts | 1974-01-01 | Paper |
| An application of universal algebra in group theory | 1974-01-01 | Paper |
| On certain types and models for arithmetic | 1974-01-01 | Paper |
| An axiomatic approach to rank in model theory | 1974-01-01 | Paper |
| The Rudin-Keisler Ordering of P-Points | 1973-01-01 | Paper |
| Determinateness and Continuity | 1973-01-01 | Paper |
| A natural theory without a prime model | 1973-01-01 | Paper |
| Complexity of winning strategies | 1972-01-01 | Paper |
| Degrees of indeterminacy of games | 1972-01-01 | Paper |
| The intersection of nonstandard models of arithmetic | 1972-01-01 | Paper |
| Theories without countable models | 1972-01-01 | Paper |
| On the inadequacy of inner models | 1972-01-01 | Paper |
| Weak Partition Relations | 1972-01-01 | Paper |
| A Note on Idempotents in Banach Algebras | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632736 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5607292 | 1970-01-01 | Paper |
| On the Location of Singularities of Analytic Functions | 1970-01-01 | Paper |
| On Certain Classes of Associative Rings | 1968-01-01 | Paper |
| Cardinal Well-foundedness and Choice | N/A | Paper |
