Publications (38)
On the cofinality of ultrapowers
Andreas Blass, Heike Mildenberger
On Hidden Variables: Value and Expectation No-Go Theorems
Andreas Blass, Yuri Gurevich
Persistent Queries
Andreas Blass, Yuri Gurevich
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog
Andreas Blass, Yuri Gurevich
Quasi-selective ultrafilters and asymptotic numerosities
Andreas Blass, Mauro Di Nasso, Marco Forti
On quantum computation, anyons, and categories
Andreas Blass, Yuri Gurevich
Baire Category for Monotone Sets
Andreas Blass
Choiceless polynomial time
Andreas Blass, Yuri Gurevich, Saharon Shelah
Finite Embeddability of Sets and Ultrafilters
Andreas Blass, Mauro Di Nasso
Ancilla Approximable Quantum State Transformations
Andreas Blass, Yuri Gurevich
Basic Subgroups and Freeness, A Counterexample
Andreas Blass, Saharon Shelah
Is game semantics necessary?
Andreas Blass
One useful logic that defines its own truth
Andreas Blass, Yuri Gurevich
Modular difference logic is hard
Nikolaj Bjørner, Andreas Blass, Yuri Gurevich +1
Questions and answers -- a category arising in linear logic, complexity theory, and set theory
Andreas Blass
Reductions Between Cardinal Characteristics of the Continuum
Andreas Blass
Common Denominator for Value and Expectation No-go Theorems: Extended Abstract
Andreas Blass, Yuri Gurevich
An Induction Principle and Pigeonhole Principles for K-Finite Sets
Andreas Blass
On Polynomial Time Computation Over Unordered Structures
Andreas Blass, Yuri Gurevich, Saharon Shelah
Spekkens's Symmetric No-Go Theorem
Andreas Blass, Yuri Gurevich
Subgroups of the Baer-Specker Group with Few Endomorphisms but Large Dual
Andreas Blass, Rüdiger Göbel
Partitions and conservativity
Andreas Blass
Interactive Small-Step Algorithms I: Axiomatization
Andreas Blass, Yuri Gurevich, Dean Rosenzweig +1
Optimal Ancilla-free Pauli+V Circuits for Axial Rotations
Andreas Blass, Alex Bocharov, Yuri Gurevich
Negative probabilities, II: What they are and what they are for
Andreas Blass, Yuri Gurevich
The next best thing to a P-point
Andreas Blass, Natasha Dobrinen, Dilip Raghavan
Generalizing Hartogs' Trichotomy Theorem
David Feldman, Mehmet Orhon, Andreas Blass
Mobius functions of lattices
Andreas Blass, Bruce E. Sagan
Negative probability
Andreas Blass, Yuri Gurevich
Cardinal Characteristics and the Product of Countably Many Infinite Cyclic Groups
Andreas Blass
Ultrafilters: Where topological dynamics = algebra = combinatorics
Andreas Blass
Disjoint Non-Free Subgoups of Abelian Groups
Andreas Blass, Saharon Shelah
Simple Cardinal Characteristics of the Continuum
Andreas Blass
On the divisible parts of quotient groups
Andreas Blass
Common Denominator for Value and Expectation No-Go Theorems
Andreas Blass, Yuri Gurevich
Interactive Small-Step Algorithms II: Abstract State Machines and the<br> Characterization Theorem
Andreas Blass, Yuri Gurevich, Dean Rosenzweig +1
Characteristic and Ehrhart polynomials
Andreas Blass, Bruce E. Sagan
Ultrafilters and partial products of infinite cyclic groups
Andreas Blass, Saharon Shelah