| Publication | Date of Publication | Type |
|---|
Cardinal Well-foundedness and Choice
(available as arXiv preprint) | N/A | Paper |
Primal logic of information
ACM Transactions on Computational Logic | 2025-06-04 | Paper |
On logic and generative AI
Bulletin of the European Association for Theoretical Computer Science EATCS | 2024-08-21 | Paper |
| What are kets? | 2024-02-06 | Paper |
| Primal logic of information | 2023-07-12 | Paper |
scientific article; zbMATH DE number 7699974 (Why is no real title available?)
(available as arXiv preprint) | 2023-06-22 | Paper |
Software science view on quantum circuit algorithms
Information and Computation | 2023-05-19 | Paper |
Negative probabilities: what are they for? <sup>*</sup>
Journal of Physics A: Mathematical and Theoretical | 2023-02-10 | Paper |
Functional Thesauri, Classifying Topoi, Unification, and Flatness
Fields of Logic and Computation III | 2022-11-09 | Paper |
Quantum circuits with classical channels and the principle of deferred measurements
Theoretical Computer Science | 2022-05-17 | Paper |
Wigner's quasidistribution and Dirac's kets
(available as arXiv preprint) | 2022-04-28 | Paper |
| Wigner's quasidistribution and Dirac's kets | 2022-04-28 | Paper |
Common denominator for value and expectation no-go theorems: extended abstract
(available as arXiv preprint) | 2021-12-17 | Paper |
| Common denominator for value and expectation no-go theorems: extended abstract | 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
(available as arXiv preprint) | 2021-07-17 | Paper |
Infinitary Partition Properties of Sums of Selective Ultrafilters
Structure and Randomness in Computability and Set Theory | 2021-06-15 | Paper |
Witness algebra and anyon braiding
Mathematical Structures in Computer Science | 2020-12-08 | Paper |
Negative probabilities: What they are and what they are for
(available as arXiv preprint) | 2020-09-22 | Paper |
On quantum computation, anyons, and categories
Outstanding Contributions to Logic | 2020-08-06 | Paper |
Introduction to secret-sharing
Dependence Logic | 2020-02-04 | Paper |
Braided distributivity
Theoretical Computer Science | 2020-01-22 | Paper |
| scientific article; zbMATH DE number 7150615 (Why is no real title available?) | 2020-01-13 | Paper |
Circuit pedantry
(available as arXiv preprint) | 2020-01-13 | Paper |
| Circuit pedantry | 2020-01-13 | Paper |
The rearrangement number
Transactions of the American Mathematical Society | 2019-12-18 | Paper |
Negative probabilities. II. What they are and what they are for
(available as arXiv preprint) | 2019-12-09 | Paper |
| Negative probabilities. II. What they are and what they are for | 2019-12-09 | Paper |
Negative probability
(available as arXiv preprint) | 2019-07-03 | Paper |
| Negative probability | 2019-07-03 | Paper |
| On the rectilinear Steiner problem | 2019-07-03 | Paper |
scientific article; zbMATH DE number 7075944 (Why is no real title available?)
(available as arXiv preprint) | 2019-07-03 | Paper |
| scientific article; zbMATH DE number 7075944 (Why is no real title available?) | 2019-07-03 | Paper |
Surveyable sets
Indagationes Mathematicae. New Series | 2018-10-08 | Paper |
Ordinary interactive small-step algorithms. I
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Ordinary interactive small-step algorithms, II
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Ordinary interactive small-step algorithms, III
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Program termination and well partial orderings
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Abstract state machines capture parallel algorithms: correction and extension
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Inadequacy of computable loop invariants
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
The Rearrangement Number
(available as arXiv preprint) | 2016-12-22 | Paper |
Partitions and conservativity
Topology and its Applications | 2016-10-24 | Paper |
Symbioses between mathematical logic and computer science
Annals of Pure and Applied Logic | 2016-07-22 | Paper |
A variation on the zero-one law
Information Processing Letters | 2016-06-09 | Paper |
Finite embeddability of sets and ultrafilters
Bulletin of the Polish Academy of Sciences, Mathematics | 2016-02-24 | Paper |
Optimal ancilla-free Pauli+V circuits for axial rotations
Journal of Mathematical Physics | 2016-01-12 | Paper |
THE NEXT BEST THING TO A P-POINT
Journal of Symbolic Logic | 2015-11-09 | Paper |
Composants of the Stone-Čech remainder of the reals
Topology and its Applications | 2015-11-09 | Paper |
Existential Fixed-Point Logic as a Fragment of Second-Order Logic
Fields of Logic and Computation II | 2015-09-22 | Paper |
Persistent queries in the behavioral theory of algorithms
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Ancilla-approximable quantum state transformations
Journal of Mathematical Physics | 2015-05-15 | Paper |
Zero-one laws: thesauri and parametric conditions
Proof, Computation and Agency | 2015-04-17 | Paper |
Abstract Hilbertian deductive systems, infon logic, and Datalog
Information and Computation | 2014-01-16 | Paper |
On strong P-points
Proceedings of the American Mathematical Society | 2013-07-05 | Paper |
| Hilbertian deductive systems, infon logic, and Datalog | 2013-01-28 | Paper |
Quasi-selective ultrafilters and asymptotic numerosities
Advances in Mathematics | 2012-10-16 | Paper |
Errata to: ``Quasi-varieties, congruences, and generalized Dowling lattices''
Journal of Algebraic Combinatorics | 2012-10-16 | Paper |
Developments from Ernst Specker's work in set theory
Elemente der Mathematik | 2012-09-21 | Paper |
| scientific article; zbMATH DE number 6011034 (Why is no real title available?) | 2012-03-02 | Paper |
| scientific article; zbMATH DE number 5896194 (Why is no real title available?) | 2011-05-18 | Paper |
| scientific article; zbMATH DE number 5823846 (Why is no real title available?) | 2010-12-08 | Paper |
Combinatorial Cardinal Characteristics of the Continuum
Handbook of Set Theory | 2010-11-05 | Paper |
Yuri, logic, and computer science
Fields of Logic and Computation | 2010-09-03 | Paper |
Existential fixed-point logic, universal quantifiers, and topoi
Fields of Logic and Computation | 2010-09-03 | Paper |
Exact exploration and hanging algorithms
Computer Science Logic | 2010-09-03 | Paper |
Content-dependent chunking for differential compression, the local maximum approach
Journal of Computer and System Sciences | 2010-05-25 | Paper |
Basic subgroups and freeness, a counterexample.
(available as arXiv preprint) | 2010-01-13 | Paper |
Homogeneous sets from several ultrafilters
Topology and its Applications | 2009-11-05 | Paper |
| scientific article; zbMATH DE number 5605066 (Why is no real title available?) | 2009-09-19 | Paper |
| Zero-one laws: thesauri and parametric conditions. | 2009-09-19 | Paper |
| scientific article; zbMATH DE number 5605119 (Why is no real title available?) | 2009-09-19 | Paper |
| scientific article; zbMATH DE number 5605141 (Why is no real title available?) | 2009-09-19 | Paper |
| scientific article; zbMATH DE number 5604063 (Why is no real title available?) | 2009-09-15 | Paper |
| scientific article; zbMATH DE number 5604097 (Why is no real title available?) | 2009-09-15 | Paper |
| scientific article; zbMATH DE number 5604128 (Why is no real title available?) | 2009-09-15 | Paper |
| scientific article; zbMATH DE number 5587395 (Why is no real title available?) | 2009-07-27 | Paper |
When are Two Algorithms the Same?
The Bulletin of Symbolic Logic | 2009-06-17 | Paper |
One Useful Logic That Defines Its Own Truth
Lecture Notes in Computer Science | 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
Logical Methods in Computer Science | 2008-04-01 | Paper |
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
Logical Methods in Computer Science | 2008-04-01 | Paper |
Why Sets?
Pillars of Computer Science | 2008-03-25 | Paper |
scientific article; zbMATH DE number 5233905 (Why is no real title available?)
(available as arXiv preprint) | 2008-02-11 | Paper |
| Voting rules for infinite sets and Boolean algebras | 2007-07-30 | Paper |
Inaccessible cardinals without the axiom of choice
Fundamenta Mathematicae | 2007-05-30 | Paper |
Play to Test
Formal Approaches to Software Testing | 2007-05-02 | Paper |
| The number of near-coherence classes of ultrafilters is either finite or \(2^{\mathfrak c}\) | 2007-03-05 | Paper |
| scientific article; zbMATH DE number 5064388 (Why is no real title available?) | 2006-10-16 | Paper |
| scientific article; zbMATH DE number 5003594 (Why is no real title available?) | 2006-02-06 | Paper |
| scientific article; zbMATH DE number 2236686 (Why is no real title available?) | 2005-12-08 | Paper |
Foundations of Genetic Algorithms
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Random orders and gambler's ruin
The Electronic Journal of Combinatorics | 2005-11-01 | Paper |
Random orders and gambler's ruin
The Electronic Journal of Combinatorics | 2005-11-01 | Paper |
DIVISIBILITY OF DEDEKIND FINITE SETS
Journal of Mathematical Logic | 2005-09-29 | Paper |
Special Families of Sets and Baer-Specker Groups
Communications in Algebra | 2005-08-25 | Paper |
Ultrafilters and Partial Products of Infinite Cyclic Groups
Communications in Algebra | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2155182 (Why is no real title available?) | 2005-04-11 | Paper |
| scientific article; zbMATH DE number 2155186 (Why is no real title available?) | 2005-04-11 | Paper |
| scientific article; zbMATH DE number 2155187 (Why is no real title available?) | 2005-04-11 | Paper |
| scientific article; zbMATH DE number 2155189 (Why is no real title available?) | 2005-04-11 | Paper |
Is There a Core Class for Almost Free Groups of Size ℵ<sub><b>1</b></sub>?
Communications in Algebra | 2005-01-14 | Paper |
| scientific article; zbMATH DE number 2103276 (Why is no real title available?) | 2004-09-24 | Paper |
Strong extension axioms and Shelah's zero-one law for choiceless polynomial time
Journal of Symbolic Logic | 2004-03-25 | Paper |
| scientific article; zbMATH DE number 2051381 (Why is no real title available?) | 2004-03-07 | Paper |
On polynomial time computation over unordered structures
Journal of Symbolic Logic | 2003-10-06 | Paper |
