- ULTRAFILTERS: WHERE TOPOLOGICAL DYNAMICS = ALGEBRA = COMBINATORICS
- Ordinary Interactive Small-Step Algorithms, II ANDREAS BLASS
- Resource Consciousness in Classical Andreas Blass
- Contemporary Mathematics Nearly Adequate Sets
- A Note on Extensions of Asymptotic Density A. Blass, R. Frankiewicz, G. Plebanek, C. Ryll{Nardzewski
- ON THE VOLUMES OF BALLS Andreas Blass and Stephen Schanuel
- AN INDUCTION PRINCIPLE AND PIGEONHOLE PRINCIPLES FOR KFINITE SETS
- Contemporary Mathematics Volume 00, 0000
- QUASIVARIETIES, CONGRUENCES, AND GENERALIZED DOWLING LATTICES
- NEARLY COUNTABLE CARDINALS Andreas Blass
- Finite Preimages Under the Natural Map from fi(N \Theta N ) to fiN \Theta fiN
- Contemporary Mathematics Unsplit Families, Dominating Families, and Ultra lters
- Mobius functions of lattices Andreas Blass
- TOPOI AND COMPUTATION ANDREAS BLASS
- Homotopy and homology of nite lattices Andreas Blass
- SIMPLE CARDINAL CHARACTERISTICS OF THE CONTINUUM
- PARTITION THEOREMS FOR SPACES OF VARIABLE WORDS Vitaly Bergelson
- Purity and Reid's Theorem Andreas Blass \Lambda
- Abstract state machines and computationally complete query languages
- On a problem of H. N. Gupta ANDREAS BLASS and VICTOR PAMBUCCIAN
- Divisibility of Dedekind Finite Sets David Blair \Lambda
- MAXIMAL PURE INDEPENDENT SETS ANDREAS BLASS AND JOHN IRWIN
- Sperner Spaces and FirstOrder Logic Andreas Blass \Lambda
- Ordinary Interactive Small-Step Algorithms, I ANDREAS BLASS
- Abstract State Machines Capture Parallel Andreas Blass Yuri Gurevich y
- ORDERINGS OF ULTRAFILTERS A thesis presented
- THE LOGIC IN COMPUTER SCIENCE COLUMN Yuri GUREVICH
- Background, Reserve, and Gandy Machines Andreas Blass 1? and Yuri Gurevich 2
- Choiceless Polynomial Time Andreas Blass # , Yuri Gurevich + and Saharon Shelah #
- Basic Subgroups and a Freeness Criterion for TorsionFree Abelian Groups
- A Variation on the ZeroOne Law Andreas Blass \Lambda , Yuri Gurevich y , Vladik Kreinovich z , and Luc Longpr'e z
- IS GAME SEMANTICS NECESSARY? Andreas Blass
- PROPOSITIONAL CONNECTIVES AND THE SET THEORY OF THE CONTINUUM
- FREE SUBGROUPS OF THE BAERSPECKER GROUP
- Combinatorial Cardinal Characteristics of the Andreas Blass 1
- Addendum to ``Choiceless Polynomial Time'' Andreas Blass \Lambda
- On Polynomial Time Computation Over Unordered Structures
- The Logic of Choice Andreas Blass \Lambda
- CARDINAL CHARACTERISTICS AND THE PRODUCT OF COUNTABLY MANY
- Specker's Theorem for Nobeling's Group Andreas Blass \Lambda
- THE LOGIC IN COMPUTER SCIENCE COLUMN YURI GUREVICH
- SEVEN TREES IN ONE Andreas Blass
- Abstract State Machines and Pure Mathematics Andreas Blass ?
- Inadequacy of Computable Loop Invariants ANDREAS BLASS
- On the reduction theory for average case complexity 1
- RANDOMIZING REDUCTIONS OF SEARCH PROBLEMS \Lambda
- Needed Reals and Recursion in Generic Reals \Lambda Andreas Blass
- ON THE GROUP OF EVENTUALLY DIVISIBLE INTEGER SEQUENCES
- THE LOGIC IN COMPUTER SCIENCE COLUMN Yuri GUREVICH
- Math. Japonica 00, No. 0(0000), 000--000 1 A FAITHFUL MODAL INTERPRETATION
- Strong Extension Axioms and Shelah's ZeroOne Law for
- Matrix Transformation is Complete for the Average Case \Lambda
- SUBGROUPS OF THE BAERSPECKER GROUP WITH FEW ENDOMORPHISMS BUT LARGE DUAL
- ON THE DIVISIBLE PARTS OF QUOTIENT GROUPS Andreas Blass
- MAD FAMILIES AND THEIR NEIGHBORS ANDREAS BLASS, TAPANI HYTTINEN, AND YI ZHANG
- The Number of Near-Coherence Classes of Ultrafilters is Either Finite or 2c
- '()0"21 "3450 5 6758#" 6904'3@ 'ACBD67#EF51 HG8"21I@ # HG8"21
- EXPLICIT GRAPHS WITH EXTENSION PROPERTIES ANDREAS BLASS AND BENJAMIN ROSSMAN
- Contributions to Module Theory, 111 c de Gruyter 2007 Basic Subgroups and Freeness,
- WHEN ARE TWO ALGORITHMS THE SAME? ANDREAS BLASS, NACHUM DERSHOWITZ, AND YURI GUREVICH
- THE LOGIC IN COMPUTER SCIENCE COLUMN YURI GUREVICH
- Program Termination and Well Partial Orderings
- INTERACTIVE SMALL-STEP ALGORITHMS I: AXIOMATIZATION ANDREAS BLASS, YURI GUREVICH, DEAN ROSENZWEIG, AND BENJAMIN ROSSMAN
- NP-Completeness of Deciding Binary Genetic Encodability
- Ordinary Interactive Small-Step Algorithms, I ANDREAS BLASS
- Play to Test Andreas Blass
- DISJOINT NON-FREE SUBGOUPS OF ABELIAN ANDREAS BLASS AND SAHARON SHELAH
- Ordinary Interactive Small-Step Algorithms, III ANDREAS BLASS
- THE LOGIC IN COMPUTER SCIENCE COLUMN Yuri GUREVICH
- THE LOGIC IN COMPUTER SCIENCE COLUMN Yuri GUREVICH
- INTERACTIVE SMALL-STEP ALGORITHMS II: ABSTRACT STATE MACHINES AND THE CHARACTERIZATION THEOREM
- BAIRE CATEGORY FOR MONOTONE SETS Andreas Blass
- Evolving Algebras and Linear Time Hierarchy \Lambda Andreas Blass y and Yuri Gurevich z
- Choiceless Polynomial Time Computation and the ZeroOne Law
- Math. Japonica 00, No. 0(0000), 000{000 1 A FAITHFUL MODAL INTERPRETATION
- INTERPRETING EXTENDED SET THEORY IN CLASSICAL SET THEORY
- SOME ABELIAN GROUPS WITH FREE DUALS Andreas Blass,
- Algorithms: A Quest for Absolute De nitions Andreas Blass Yuri Gurevich y
- CORRECTION TO ``QUASIVARIETIES, CONGRUENCES, AND
- The Linear Time Hierarchy Theorems for Abstract State Machines and RAMs
- Is There a Core Class for Almost Free Groups of Size @ 1 ?
- ON THE COFINALITY OF ULTRAPOWERS Andreas Blass
- Sums, Products, and Choice for Finite Sets Andreas Blass \Lambda
- Characteristic and Ehrhart Polynomials Andreas Blass
- Ultra lters and Partial Products of In nite Cyclic Groups
- Some Questions Arising from Hindman's Andreas Blass
- BAER MEETS BAIRE: APPLICATIONS OF CATEGORY ARGUMENTS AND
- Some Semantical Aspects of Linear Logic Andreas Blass \Lambda
- THE LOGIC IN COMPUTER SCIENCE COLUMN YURI GUREVICH
- VOTING RULES FOR INFINITE SETS AND BOOLEAN ALGEBRAS
- QUESTIONS AND ANSWERS ---A CATEGORY ARISING IN LINEAR LOGIC,
