## Blass, Andreas Raphael

Compute Distance To:
 Author ID: blass.andreas-raphael Published as: Blass, Andreas; Blass, A. R.; Blass, Andreas R.; Blass, A. more...less Homepage: http://www.math.lsa.umich.edu/~ablass/ External Links: MGP · Wikidata · ResearchGate · MathOverflow · Math-Net.Ru · dblp · GND · IdRef
 Documents Indexed: 226 Publications since 1968, including 1 Book 9 Contributions as Editor · 2 Further Contributions Co-Authors: 78 Co-Authors with 147 Joint Publications 3,258 Co-Co-Authors
all top 5

### Co-Authors

 90 single-authored 70 Gurevich, Yuri 9 Shelah, Saharon 8 Irwin, John M. 6 Dershowitz, Nachum 6 Harary, Frank 6 Stanojević, Časlav V. 4 Hindman, Neil 3 Bergelson, Vitaly 3 Di Nasso, Mauro 3 Rossman, Benjamin 3 Sagan, Bruce Eli 3 Scedrov, Andre 2 Baldwin, John T. 2 Exoo, Geoffrey 2 Finkbeiner, Bernd 2 Jech, Thomas J. 2 Jiarasuksakun, Thiradet 2 Larson, Paul B. 2 Pambuccian, Victor V. 2 Reisig, Wolfgang 2 Rosenzweig, Dean 2 Ščedrov, Andrej 2 Van den Bussche, Jan 2 Zhang, Yi 1 Abraham, Uri 1 Adelman, Murray 1 Banakh, Taras Onufrievich 1 Bartoszynski, Tomek 1 Beklemishev, Lev D. 1 Bjørner, Nikolaj S. 1 Blair, David G. 1 Bocharov, Alex 1 Braun, Gábor 1 Brendle, Jörg 1 Brian, William Rea 1 Cegielski, Patrick 1 Cenzer, Douglas 1 Comfort, William Wistar 1 Cummings, James 1 Dehornoy, Patrick 1 Dimitriou, Ioanna Matilde 1 Dobrinen, Natasha L. 1 Droste, Manfred 1 Eisworth, Todd 1 Erdős, Pál 1 Falcao, L. 1 Fish, Alexander 1 Foreman, Matthew D. 1 Forti, Marco 1 Frankiewicz, Ryszard 1 Friedman, Sy-David 1 Gao, Su 1 Gitik, Moti 1 Glass, Andrew M. W. 1 Göbel, Rüdiger 1 Hajnal, András 1 Hamkins, Joel David 1 Hardy, Michael 1 Hirst, Jeffry Lynn 1 Hjorth, Gregory 1 Howard, Paul E. 1 Hrušák, Michael 1 Hudis, Efim 1 Jackson, Stephen C. 1 Jin, Renling 1 Kanamori, Akihiro 1 Kister, James M. 1 Köllner, Peter 1 Kozen, Dexter C. 1 Kreinovich, Vladik Yakovlevich 1 Kueker, David W. 1 Laflamme, Claude 1 Landman, Bruce M. 1 Larson, Jean A. 1 Leader, Imre 1 Lenski, Wolfgang 1 Longpré, Luc 1 Löwe, Benedikt 1 Magidor, Menachem 1 Maleki, Amir 1 Mildenberger, Heike 1 Miller, Zevi 1 Mitavskiy, Boris S. 1 Mitchell, William John 1 Moche, Gugu 1 Müller, Gert Heinz 1 Nachmanson, Lev 1 Neeman, Itay 1 Neumann, Peter Michael 1 Plebanek, Grzegorz 1 Protasov, Igor Volodymyrovych 1 Raghavan, Dilip 1 Rothschild, Bruce L. 1 Ryll-Nardzewski, Czesław 1 Schimmerling, Ernest 1 Schindler, Ralf-Dieter 1 Schlitt, Greg M. 1 Schulte, Wolfram 1 Simpson, Stephen G. 1 Steel, John R. ...and 11 more Co-Authors
all top 5

### Serials

 19 The Journal of Symbolic Logic 19 Bulletin of the European Association for Theoretical Computer Science EATCS 10 Proceedings of the American Mathematical Society 10 Transactions of the American Mathematical Society 10 Annals of Pure and Applied Logic 8 ACM Transactions on Computational Logic 6 Fundamenta Mathematicae 5 Topology and its Applications 4 Communications in Algebra 4 Journal of Graph Theory 4 Journal of Pure and Applied Algebra 3 American Mathematical Monthly 3 SIAM Journal on Computing 3 Journal of Algebraic Combinatorics 3 The Bulletin of Symbolic Logic 3 Lecture Notes in Computer Science 2 Discrete Mathematics 2 Information Processing Letters 2 Journal of Mathematical Physics 2 Advances in Mathematics 2 Algebra Universalis 2 Information and Control 2 Notre Dame Journal of Formal Logic 2 Theoretical Computer Science 2 Information and Computation 2 Topology Proceedings 2 The Electronic Journal of Combinatorics 2 Contemporary Mathematics 2 Logical Methods in Computer Science 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Israel Journal of Mathematics 1 Mathematica Balkanica 1 Annals of Mathematical Logic 1 Geometriae Dedicata 1 Journal of Algebra 1 Journal of Combinatorics, Information & System Sciences 1 Journal of Combinatorial Theory. Series A 1 Journal of Combinatorial Theory. Series B 1 Journal of Computer and System Sciences 1 Journal of the London Mathematical Society. Second Series 1 Mathematica Japonica 1 Memoirs of the American Mathematical Society 1 Michigan Mathematical Journal 1 Pacific Journal of Mathematics 1 Proceedings of the London Mathematical Society. Third Series 1 Rendiconti del Seminario Matemàtico e Fisico di Milano 1 Rivista di Matematica della Università di Parma. Serie IV 1 CWI Quarterly 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 MSCS. Mathematical Structures in Computer Science 1 Elemente der Mathematik 1 Bulletin of the Polish Academy of Sciences, Mathematics 1 Archive for Mathematical Logic 1 Indagationes Mathematicae. New Series 1 Mathematical Logic Quarterly (MLQ) 1 Logic Journal of the IGPL 1 East-West Journal of Mathematics 1 Journal of Mathematical Logic 1 Journal of Universal Computer Science 1 Scientiae Mathematicae Japonicae 1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 1 Matematichki Vesnik. New Series 1 Perspectives in Mathematical Logic
all top 5

### Fields

 159 Mathematical logic and foundations (03-XX) 66 Computer science (68-XX) 30 Combinatorics (05-XX) 26 Category theory; homological algebra (18-XX) 23 Group theory and generalizations (20-XX) 20 General topology (54-XX) 11 Quantum theory (81-XX) 9 General and overarching topics; collections (00-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 General algebraic systems (08-XX) 6 Probability theory and stochastic processes (60-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Associative rings and algebras (16-XX) 3 Number theory (11-XX) 3 Functional analysis (46-XX) 3 Information and communication theory, circuits (94-XX) 2 History and biography (01-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Measure and integration (28-XX) 2 Operator theory (47-XX) 2 Geometry (51-XX) 1 Field theory and polynomials (12-XX) 1 Topological groups, Lie groups (22-XX) 1 Sequences, series, summability (40-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX)

### Citations contained in zbMATH Open

161 Publications have been cited 1,473 times in 1,139 Documents Cited by Year
Combinatorial cardinal characteristics of the continuum. Zbl 1198.03058
Blass, Andreas
2010
There may be simple $$P_{\aleph _ 1}$$- and $$P_{\aleph _ 2}$$-points and the Rudin-Keisler ordering may be downward directed. Zbl 0634.03047
Blass, Andreas; Shelah, Saharon
1987
A game semantics for linear logic. Zbl 0763.03008
Blass, Andreas
1992
On the unique satisfiability problem. Zbl 0543.03027
Blass, Andreas; Gurevich, Yuri
1982
Ultrafilters with small generating sets. Zbl 0681.03033
Blass, Andreas; Shelah, Saharon
1989
Henkin quantifiers and complete problems. Zbl 0618.03016
Blass, Andreas; Gurevich, Yuri
1986
Properties of almost all graphs and complexes. Zbl 0418.05050
Blass, Andreas; Harary, Frank
1979
A partition theorem for perfect sets. Zbl 0472.03038
Blass, Andreas
1981
The Rudin-Keisler ordering of P-points. Zbl 0269.02025
Blass, Andreas
1973
Möbius functions of lattices. Zbl 0872.06004
Blass, Andreas; Sagan, Bruce E.
1997
Partition theorems for spaces of variable words. Zbl 0809.04005
Bergelson, Vitaly; Blass, Andreas; Hindman, Neil
1994
Near coherence of filters. I: Cofinal equivalence of models of arithmetic. Zbl 0622.03040
Blass, Andreas
1986
Selctive ultrafilters and homogeneity. Zbl 0649.03036
Blass, Andreas
1988
Consistency results about filters and the number of inequivalent growth types. Zbl 0673.03038
Blass, Andreas; Laflamme, Claude
1989
Paley graphs satisfy all first-order adjacency axioms. Zbl 0472.05058
Blass, Andreas; Exoo, Geoffrey; Harary, Frank
1981
Injectivity, projectivity, and the axiom of choice. Zbl 0426.03053
Blass, Andreas
1979
Near coherence of filters. III: A simplified consistency proof. Zbl 0702.03030
Blass, Andreas; Shelah, Saharon
1989
Characteristic and Ehrhart polynomials. Zbl 0899.05003
Blass, Andreas; Sagan, Bruce E.
1998
Choiceless polynomial time. Zbl 0936.03037
Blass, Andreas; Gurevich, Yuri; Shelah, Saharon
1999
Ultrafilters: Where topological dynamics = algebra = combinatorics. Zbl 0856.54042
Blass, Andreas
1993
A zero-one law for logic with a fixed-point operator. Zbl 0608.68077
Blass, Andreas; Gurevich, Yuri; Kozen, Dexter
1985
On strongly summable ultrafilters and union ultrafilters. Zbl 0643.03032
Blass, Andreas; Hindman, Neil
1987
Near coherence of filters. II: Applications to operator ideals, the Stone-Čech remainder of a half-line, order ideals of sequences, and slenderness of groups. Zbl 0647.03043
Blass, Andreas
1987
Applications of superperfect forcing and its relatives. Zbl 0683.03029
Blass, Andreas
1989
Ramsey’s theorem in the hierarchy of choice principles. Zbl 0374.02037
Blass, Andreas
1978
On the cofinality of ultrapowers. Zbl 0930.03060
Blass, Andreas; Mildenberger, Heike
1999
A note on extensions of asymptotic density. Zbl 0992.28002
Blass, A.; Frankiewicz, R.; Plebanek, G.; Ryll-Nardzewski, C.
2001
Abstract state machines capture parallel algorithms. Zbl 1365.68253
Blass, Andreas; Gurevich, Yuri
2003
Classifying topoi and finite forcing. Zbl 0516.03042
Blass, Andreas; Scedrov, Andrej
1983
On polynomial time computation over unordered structures. Zbl 1020.03038
Blass, Andreas; Gurevich, Yuri; Shelah, Saharon
2002
Infinitary combinatorics and modal logic. Zbl 0699.03008
Blass, Andreas
1990
Graphs with unique maximal clumpings. Zbl 0377.05036
Blass, Andreas
1978
Degrees of indeterminacy of games. Zbl 0234.90066
Blass, Andreas
1972
Which trees are link graphs? Zbl 0448.05028
Blass, Andreas; Harary, Frank; Miller, Zevi
1980
Ultrafilter mappings and their Dedekind cuts. Zbl 0305.02065
Blass, Andreas
1974
Matrix transformation is complete for the average case. Zbl 0828.68078
Blass, Andreas; Gurevich, Yuri
1995
A model without ultrafilters. Zbl 0365.02054
Blass, Andreas
1977
Two closed categories of filters. Zbl 0357.18004
Blass, Andreas
1977
Seven trees in one. Zbl 0846.18002
Blass, Andreas
1995
Existence of bases implies the axiom of choice. Zbl 0557.03030
Blass, Andreas
1984
Cardinal characteristics and the product of countably many infinite cyclic groups. Zbl 0816.20047
Blass, Andreas
1994
Bijective proofs of two broken circuit theorems. Zbl 0592.05022
Blass, Andreas; Sagan, Bruce Eli
1986
Play to test. Zbl 1183.68176
Blass, Andreas; Gurevich, Yuri; Nachmanson, Lev; Veanes, Margus
2006
A ”natural” theory without a prime model. Zbl 0273.02033
Baldwin, J. T.; Blass, A. R.; Glass, A. M. W.; Kueker, D. W.
1973
Prime ideals yield almost maximal ideals. Zbl 0609.06006
Blass, Andreas
1987
Existential fixed-point logic. Zbl 0647.03018
Blass, Andreas; Gurevich, Yuri
1987
Logical analysis of some theorems of combinatorics and topological dynamics. Zbl 0652.03040
Blass, Andreas R.; Hirst, Jeffry L.; Simpson, Stephen G.
1987
Complexity of winning strategies. Zbl 0243.90052
Blass, Andreas
1972
Simple cardinal characteristics of the continuum. Zbl 0828.03019
Blass, Andreas
1993
Quasi-selective ultrafilters and asymptotic numerosities. Zbl 1270.03105
Blass, Andreas; Di Nasso, Mauro; Forti, Marco
2012
Ultrafilters related to Hindman’s finite-unions theorem and its extensions. Zbl 0634.03045
Blass, Andreas
1987
Freyd’s models for the independence of the axiom of choice. Zbl 0687.03031
Blass, Andreas; Scedrov, Andre
1989
Groupwise density and related cardinals. Zbl 0706.03036
Blass, Andreas
1990
A characterization and sum decomposition for operator ideals. Zbl 0414.47017
Blass, Andreas; Weiss, Gary
1978
Equivalence of two strong forms of determinacy. Zbl 0336.02048
Blass, Andreas
1975
Exact functors and measurable cardinals. Zbl 0348.18007
Blass, Andreas
1976
Questions and answers – a category arising in linear logic, complexity theory, and set theory. Zbl 0823.03039
Blass, Andreas
1995
Equivalence relations, invariants, and normal forms. Zbl 0545.68035
Blass, Andreas; Gurevich, Yuri
1984
Algorithms: a quest for absolute definitions. Zbl 1169.68408
Blass, Andreas; Gurevich, Yuri
2003
Interactive small-step algorithms. I: Axiomatization. Zbl 1132.68029
Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin
2007
An application of universal algebra in group theory. Zbl 0292.20033
Blass, Andreas; Neumann, Peter M.
1974
End extensions, conservative extensions, and the Rudin-Frolik ordering. Zbl 0362.02052
Blass, Andreas
1977
Ordinary interactive small-step algorithms. I. Zbl 1367.68094
Blass, Andreas; Gurevich, Yuri
2006
Program termination and well partial orderings. Zbl 1367.68061
Blass, Andreas; Gurevich, Yuri
2008
Abstract state machines capture parallel algorithms: correction and extension. Zbl 1367.68097
Blass, Andreas; Gurevich, Yuri
2008
The next best thing to a P-point. Zbl 1367.03078
Blass, Andreas; Dobrinen, Natasha; Raghavan, Dilip
2015
Randomizing reductions of search problems. Zbl 0789.68056
Blass, Andreas; Gurevich, Yuri
1993
Some questions arising from Hindman’s theorem. Zbl 1084.05008
Blass, Andreas
2005
On strong $$P$$-points. Zbl 1302.03050
Blass, Andreas; Hrušák, Michael; Verner, Jonathan
2013
Handbook of set theory. In 3 volumes. Zbl 1197.03001
2010
The number of near-coherence classes of ultrafilters is either finite or $$2^{\mathfrak c}$$. Zbl 1182.03076
Banakh, Taras; Blass, Andreas
2006
The model of set theory generated by countably many generic reals. Zbl 0482.03022
Blass, Andreas
1981
An axiomatic approach to rank in model theory. Zbl 0298.02055
Baldwin, J. T.; Blass, Andreas
1974
Reductions between cardinal characteristics of the continuum. Zbl 0838.03036
Blass, Andreas
1996
Cohomology detects failures of the axiom of choice. Zbl 0532.04002
Blass, Andreas
1983
The logic of choice. Zbl 0973.03007
Blass, Andreas; Gurevich, Yuri
2000
Strong extension axioms and Shelah’s zero-one law for choiceless polynomial time. Zbl 1045.03039
Blass, Andreas; Gurevich, Yuri
2003
Natural endomorphisms of Burnside rings. Zbl 0417.20006
Blass, Andreas
1979
A model-theoretic view of some special ultrafilters. Zbl 0439.03031
Blass, Andreas
1978
Amalgamation of nonstandard models of arithmetic. Zbl 0381.03050
Blass, Andreas
1978
A selection of open problems. Zbl 1217.05223
2009
When are two algorithms the same? Zbl 1192.03021
Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri
2009
Free subgroups of the homeomorphism group of the reals. Zbl 0604.57015
Blass, Andreas; Kister, James M.
1986
Finite embeddability of sets and ultrafilters. Zbl 1382.03068
Blass, Andreas; Di Nasso, Mauro
2015
Boolean classifying topoi. Zbl 0504.03030
Blass, Andreas; Scedrov, Andrej
1983
Cores of $$\Pi^1_1$$ sets of reals. Zbl 0295.02038
Blass, Andreas; Cenzer, Douglas
1975
On certain types and models for arithmetic. Zbl 0296.02031
Blass, Andreas
1974
The rearrangement number. Zbl 07144584
Blass, Andreas; Brendle, Jörg; Brian, Will; Hamkins, Joel David; Hardy, Michael; Larson, Paul B.
2020
Optimal ancilla-free Pauli+V circuits for axial rotations. Zbl 1333.81067
Blass, Andreas; Bocharov, Alex; Gurevich, Yuri
2015
Words, free algebras, and coequalizers. Zbl 0542.08005
Blass, Andreas
1983
Background, reserve, and Gandy machines. Zbl 0973.03053
Blass, Andreas; Gurevich, Yuri
2000
Free subgroups of the Baer-Specker group. Zbl 1022.20025
Blass, Andreas; Irwin, John
2001
Random orders and gambler’s ruin. Zbl 1075.05004
Blass, Andreas; Braun, Gábor
2005
Finite preimages under the natural map from $$\beta(\mathbb N\times\mathbb N)$$ to $$\beta\mathbb N\times\beta\mathbb N$$. Zbl 1083.54014
Blass, Andreas; Moche, Gugu
2002
Partitions and permutation groups. Zbl 1247.03108
Blass, Andreas
2011
On the Egoroff property of pointwise convergent sequences of functions. Zbl 0601.54004
Blass, Andreas; Jech, Thomas
1986
Specker’s theorem for Nöbeling’s group. Zbl 0998.20047
Blass, Andreas
2002
Negative probability. Zbl 1416.60013
Blass, Andreas; Gurevich, Yuri
2015
Pairwise testing. Zbl 1169.68352
Blass, Andreas; Gurevich, Yuri
2002
Why sets? Zbl 1133.03347
Blass, Andreas; Gurevich, Yuri
2008
The rearrangement number. Zbl 07144584
Blass, Andreas; Brendle, Jörg; Brian, Will; Hamkins, Joel David; Hardy, Michael; Larson, Paul B.
2020
Circuit pedantry. Zbl 1428.68149
Blass, Andreas; Gurevich, Yuri
2019
Who needs category theory? Zbl 1409.68095
Blass, Andreas; Gurevich, Yuri
2018
On quantum computation, anyons, and categories. Zbl 1439.81028
Blass, Andreas; Gurevich, Yuri
2016
The next best thing to a P-point. Zbl 1367.03078
Blass, Andreas; Dobrinen, Natasha; Raghavan, Dilip
2015
Finite embeddability of sets and ultrafilters. Zbl 1382.03068
Blass, Andreas; Di Nasso, Mauro
2015
Optimal ancilla-free Pauli+V circuits for axial rotations. Zbl 1333.81067
Blass, Andreas; Bocharov, Alex; Gurevich, Yuri
2015
Negative probability. Zbl 1416.60013
Blass, Andreas; Gurevich, Yuri
2015
Ancilla-approximable quantum state transformations. Zbl 1322.81015
Blass, Andreas; Gurevich, Yuri
2015
Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Zbl 1321.03008
2015
On strong $$P$$-points. Zbl 1302.03050
Blass, Andreas; Hrušák, Michael; Verner, Jonathan
2013
Quasi-selective ultrafilters and asymptotic numerosities. Zbl 1270.03105
Blass, Andreas; Di Nasso, Mauro; Forti, Marco
2012
Partitions and permutation groups. Zbl 1247.03108
Blass, Andreas
2011
Persistent queries in the behavioral theory of algorithms. Zbl 1351.68095
Blass, Andreas; Gurevich, Yuri
2011
Combinatorial cardinal characteristics of the continuum. Zbl 1198.03058
Blass, Andreas
2010
Handbook of set theory. In 3 volumes. Zbl 1197.03001
2010
Ultrafilters and set theory. Zbl 1269.03048
Blass, Andreas
2010
Existential fixed-point logic, universal quantifiers, and topoi. Zbl 1287.03085
Blass, Andreas
2010
Hilbertian deductive systems, infon logic, and Datalog. Zbl 1275.03127
Blass, Andreas; Gurevich, Yuri
2010
Content-dependent chunking for differential compression, the local maximum approach. Zbl 1201.68015
Bjørner, Nikolaj; Blass, Andreas; Gurevich, Yuri
2010
Exact exploration and hanging algorithms. Zbl 1287.68042
Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri
2010
Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Zbl 1194.03003
2010
A selection of open problems. Zbl 1217.05223
2009
When are two algorithms the same? Zbl 1192.03021
Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri
2009
Homogeneous sets from several ultrafilters. Zbl 1202.05145
Blass, Andreas
2009
Program termination and well partial orderings. Zbl 1367.68061
Blass, Andreas; Gurevich, Yuri
2008
Abstract state machines capture parallel algorithms: correction and extension. Zbl 1367.68097
Blass, Andreas; Gurevich, Yuri
2008
Why sets? Zbl 1133.03347
Blass, Andreas; Gurevich, Yuri
2008
Basic subgroups and freeness, a counterexample. Zbl 1192.20039
Blass, Andreas; Shelah, Saharon
2008
Interactive small-step algorithms. I: Axiomatization. Zbl 1132.68029
Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin
2007
Interactive small-step algorithms. II: Abstract state machines and the characterization theorem. Zbl 1132.68030
Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin
2007
Ordinary interactive small-step algorithms. II. Zbl 1367.68095
Blass, Andreas; Gurevich, Yuri
2007
Zero-one laws: thesauri and parametric conditions. Zbl 1169.03347
Blass, Andreas; Gurevich, Yuri
2007
Ordinary interactive small-step algorithms. III. Zbl 1367.68096
Blass, Andreas; Gurevich, Yuri
2007
Inaccessible cardinals without the axiom of choice. Zbl 1116.03045
Blass, Andreas; Dimitriou, Ioanna M.; Löwe, Benedikt
2007
Play to test. Zbl 1183.68176
Blass, Andreas; Gurevich, Yuri; Nachmanson, Lev; Veanes, Margus
2006
Ordinary interactive small-step algorithms. I. Zbl 1367.68094
Blass, Andreas; Gurevich, Yuri
2006
The number of near-coherence classes of ultrafilters is either finite or $$2^{\mathfrak c}$$. Zbl 1182.03076
Banakh, Taras; Blass, Andreas
2006
Algorithms: a quest for absolute definitions. Zbl 1110.03023
Blass, Andreas; Gurevich, Yuri
2006
Some questions arising from Hindman’s theorem. Zbl 1084.05008
Blass, Andreas
2005
Random orders and gambler’s ruin. Zbl 1075.05004
Blass, Andreas; Braun, Gábor
2005
Special families of sets and Baer-Specker groups. Zbl 1090.03026
Blass, Andreas; Irwin, John
2005
Unsplit families, dominating families, and ultrafilters. Zbl 1084.03038
Blass, Andreas
2005
Pairwise testing. Zbl 1065.68032
Blass, Andreas; Gurevich, Yuri
2004
Algorithms: a quest for absolute definitions. Zbl 1065.68052
Blass, Andreas; Gurevich, Yuri
2004
Abstract state machines capture parallel algorithms. Zbl 1365.68253
Blass, Andreas; Gurevich, Yuri
2003
Algorithms: a quest for absolute definitions. Zbl 1169.68408
Blass, Andreas; Gurevich, Yuri
2003
Strong extension axioms and Shelah’s zero-one law for choiceless polynomial time. Zbl 1045.03039
Blass, Andreas; Gurevich, Yuri
2003
Homotopy and homology of finite lattices. Zbl 1025.06002
Blass, Andreas
2003
Resource consciousness in classical logic. Zbl 1038.03009
Blass, Andreas
2003
On polynomial time computation over unordered structures. Zbl 1020.03038
Blass, Andreas; Gurevich, Yuri; Shelah, Saharon
2002
Finite preimages under the natural map from $$\beta(\mathbb N\times\mathbb N)$$ to $$\beta\mathbb N\times\beta\mathbb N$$. Zbl 1083.54014
Blass, Andreas; Moche, Gugu
2002
Specker’s theorem for Nöbeling’s group. Zbl 0998.20047
Blass, Andreas
2002
Pairwise testing. Zbl 1169.68352
Blass, Andreas; Gurevich, Yuri
2002
Abstract state machines and computationally complete query languages. Zbl 1009.68030
Blass, Andreas; Gurevich, Yuri; Van den Bussche, Jan
2002
Algorithms vs. machines. Zbl 1024.68101
Blass, Andreas; Gurevich, Yuri
2002
Nearly adequate sets. Zbl 1013.03054
Blass, Andreas
2002
A note on extensions of asymptotic density. Zbl 0992.28002
Blass, A.; Frankiewicz, R.; Plebanek, G.; Ryll-Nardzewski, C.
2001
Free subgroups of the Baer-Specker group. Zbl 1022.20025
Blass, Andreas; Irwin, John
2001
Inadequacy of computable loop invariants. Zbl 1365.68315
Blass, Andreas; Gurevich, Yuri
2001
Needed reals and recursion in generic reals. Zbl 0980.03055
Blass, Andreas
2001
The underlying logic of Hoare logic. Zbl 1012.03514
Blass, Andreas; Gurevich, Yuri
2001
The logic of choice. Zbl 0973.03007
Blass, Andreas; Gurevich, Yuri
2000
Background, reserve, and Gandy machines. Zbl 0973.03053
Blass, Andreas; Gurevich, Yuri
2000
Abstract state machines and computationally complete query languages. Zbl 0976.68061
Blass, Andreas; Gurevich, Yuri; Van den Bussche, Jan
2000
The underlying logic of Hoare logic. Zbl 1012.03047
Blass, Andreas; Gurevich, Yuri
2000
Abstract state machines and pure mathematics. Zbl 0976.03046
Blass, Andreas
2000
Choiceless polynomial time. Zbl 0936.03037
Blass, Andreas; Gurevich, Yuri; Shelah, Saharon
1999
On the cofinality of ultrapowers. Zbl 0930.03060
Blass, Andreas; Mildenberger, Heike
1999
Purity and Reid’s theorem. Zbl 0939.20056
Blass, Andreas; Irwin, John
1999
Basic subgroups and a freeness criterion for torsion-free Abelian groups. Zbl 0943.20052
Blass, Andreas; Irwin, John
1999
Characteristic and Ehrhart polynomials. Zbl 0899.05003
Blass, Andreas; Sagan, Bruce E.
1998
Möbius functions of lattices. Zbl 0872.06004
Blass, Andreas; Sagan, Bruce E.
1997
The linear time hierarchy theorems for abstract state machines and RAMs. Zbl 0960.68070
Blass, Andreas; Gurevich, Yuri
1997
Reductions between cardinal characteristics of the continuum. Zbl 0838.03036
Blass, Andreas
1996
Baer meets Baire: Applications of category arguments and descriptive set theory to $$\mathbb{Z}^{\aleph_ 0}$$. Zbl 0870.20037
Blass, Andreas R.; Irwin, John
1996
On the group of eventually divisible integer sequences. Zbl 0872.20047
Blass, Andreas R.
1996
Subgroups of the Baer-Specker group with few endomorphisms but large dual. Zbl 0851.20052
Blass, Andreas; Göbel, Rüdiger
1996
Matrix transformation is complete for the average case. Zbl 0828.68078
Blass, Andreas; Gurevich, Yuri
1995
Seven trees in one. Zbl 0846.18002
Blass, Andreas
1995
Questions and answers – a category arising in linear logic, complexity theory, and set theory. Zbl 0823.03039
Blass, Andreas
1995
Some abelian groups with free duals. Zbl 0843.20046
Blass, Andreas; Irwin, John; Schlitt, Greg
1995
Partition theorems for spaces of variable words. Zbl 0809.04005
Bergelson, Vitaly; Blass, Andreas; Hindman, Neil
1994
Cardinal characteristics and the product of countably many infinite cyclic groups. Zbl 0816.20047
Blass, Andreas
1994
Is game semantics necessary? Zbl 0953.03066
Blass, A.
1994
A faithful modal interpretation of propositional ontology. Zbl 0809.03014
Blass, Andreas
1994
Ultrafilters: Where topological dynamics = algebra = combinatorics. Zbl 0856.54042
Blass, Andreas
1993
Simple cardinal characteristics of the continuum. Zbl 0828.03019
Blass, Andreas
1993
Randomizing reductions of search problems. Zbl 0789.68056
Blass, Andreas; Gurevich, Yuri
1993
A game semantics for linear logic. Zbl 0763.03008
Blass, Andreas
1992
On the reduction theory for average case complexity. Zbl 0789.68068
Blass, Andreas; Gurevich, Yuri
1991
Infinitary combinatorics and modal logic. Zbl 0699.03008
Blass, Andreas
1990
Groupwise density and related cardinals. Zbl 0706.03036
Blass, Andreas
1990
Sums of ultrafilters and the Rudin-Keisler and Rudin-Frolik orders. Zbl 0704.54003
Blass, Andreas; Hindman, Neil
1990
Ultrafilters with small generating sets. Zbl 0681.03033
Blass, Andreas; Shelah, Saharon
1989
Consistency results about filters and the number of inequivalent growth types. Zbl 0673.03038
Blass, Andreas; Laflamme, Claude
1989
Near coherence of filters. III: A simplified consistency proof. Zbl 0702.03030
Blass, Andreas; Shelah, Saharon
1989
Applications of superperfect forcing and its relatives. Zbl 0683.03029
Blass, Andreas
1989
Freyd’s models for the independence of the axiom of choice. Zbl 0687.03031
Blass, Andreas; Scedrov, Andre
1989
Selctive ultrafilters and homogeneity. Zbl 0649.03036
Blass, Andreas
1988
...and 61 more Documents
all top 5

### Cited by 1,128 Authors

 68 Shelah, Saharon 39 Blass, Andreas Raphael 29 Zdoms’kyĭ, Lyubomyr Sergiĭovych 27 Tsaban, Boaz 22 Brendle, Jörg 19 Hrušák, Michael 17 Mildenberger, Heike 16 Gurevich, Yuri 15 Banakh, Taras Onufrievich 15 Japaridze, Giorgi 14 Tachtsis, Eleftherios 13 Hindman, Neil 13 Repovš, Dušan D. 12 Fischer, Vera 12 Guzmán González, Osvaldo 11 Raghavan, Dilip 11 Todorcevic, Stevo B. 10 Dobrinen, Natasha L. 10 Dow, Alan S. 10 Garti, Shimon 10 Goldstern, Martin Robert 9 Mejía, Diego Alejandro 9 Sagan, Bruce Eli 8 Brian, William Rea 8 Caramello, Olivia 8 Dawar, Anuj 8 Grädel, Erich 8 Hemaspaandra, Lane A. 8 Kellner, Jakob 8 Laflamme, Claude 8 Miller, Arnold W. 7 García-Ferreira, Salvador 7 Keremedis, Kyriakos 7 Protasov, Igor Volodymyrovych 6 Aguilera, Juan Pablo 6 Geschke, Stefan 6 Hamkins, Joel David 6 Kanellopoulos, Vassilis 6 Schewe, Klaus-Dieter 6 Strauss, Dona 6 Tomita, Artur Hideyuki 5 Brunner, Norbert 5 Carlucci, Lorenzo 5 Dershowitz, Nachum 5 Di Nasso, Mauro 5 Dodos, Pandelis 5 Fernández Bretón, David José 5 Friedman, Sy-David 5 Hallam, Joshua W. 5 Howard, Paul E. 5 Johnstone, Peter T. 5 Karagila, Asaf 5 Montoya, Diana Carolina 5 Ramos-García, Ulises Ariet 5 Santocanale, Luigi 5 Scheepers, Marion 5 Sevenster, Merlijn 5 Sobota, Damian 5 Steprāns, Juris 5 Szewczak, Piotr 5 Zhang, Shuguo 4 Anderson, Daron 4 Banaschewski, Bernhard 4 Bezhanishvili, Guram 4 Compton, Kevin J. 4 Farkas, Barnabás 4 Ferrarotti, Flavio Antonio 4 Forti, Marco 4 Glaßer, Christian 4 Göbel, Rüdiger 4 Grohe, Martin 4 Herrlich, Horst 4 Kolaitis, Phokion G. 4 Kunisada, Ryoichi 4 Kurilić, Miloš S. 4 Larson, Paul B. 4 Leivant, Daniel M. 4 Marcone, Alberto 4 McCutcheon, Randall G. 4 Minami, Hiroaki 4 Rodrigues, Vinicius De Oliveira 4 Rodríguez Ruiz, José 4 Rossman, Benjamin 4 Shore, Richard Arnold 4 Solecki, Sławomir 4 Soukup, Dániel Tamás 4 Thomas, Hugh Ross 4 Tran, Tan Nhat 4 Van den Bussche, Jan 4 Verner, Jonathan L. 4 Yoshinaga, Masahiko 3 Bankston, Paul 3 Bartoszynski, Tomek 3 Börger, Egon 3 Borodulin-Nadzieja, Piotr 3 Cai, Jin-Yi 3 Cardona, Miguel A. 3 Chatterjee, Krishnendu 3 Chodounský, David 3 Esakia, Leo ...and 1,028 more Authors
all top 5

### Cited in 203 Serials

 103 Annals of Pure and Applied Logic 78 The Journal of Symbolic Logic 73 Topology and its Applications 63 Archive for Mathematical Logic 49 Proceedings of the American Mathematical Society 49 Theoretical Computer Science 42 Transactions of the American Mathematical Society 24 Israel Journal of Mathematics 23 Discrete Mathematics 22 Advances in Mathematics 22 The Bulletin of Symbolic Logic 21 Journal of Pure and Applied Algebra 20 Fundamenta Mathematicae 18 Information and Computation 16 Journal of Computer and System Sciences 15 Studia Logica 15 Mathematical Logic Quarterly (MLQ) 13 Journal of Combinatorial Theory. Series A 10 Algebra Universalis 9 Notre Dame Journal of Formal Logic 9 Semigroup Forum 8 Discrete Applied Mathematics 8 Journal of Algebra 8 Order 7 The Electronic Journal of Combinatorics 7 Journal of Mathematical Logic 6 Journal of Mathematical Analysis and Applications 6 Advances in Applied Mathematics 6 Logical Methods in Computer Science 5 Information Processing Letters 5 Mathematical Proceedings of the Cambridge Philosophical Society 5 Czechoslovak Mathematical Journal 5 Monatshefte für Mathematik 5 European Journal of Combinatorics 5 Topology Proceedings 5 Journal of Mathematical Sciences (New York) 5 The Review of Symbolic Logic 4 Communications in Algebra 4 Commentationes Mathematicae Universitatis Carolinae 4 Journal of Combinatorial Theory. Series B 4 Journal of Philosophical Logic 4 Mathematica Slovaca 4 Siberian Mathematical Journal 4 Acta Mathematica Hungarica 4 Journal of Algebraic Combinatorics 4 Theory of Computing Systems 4 European Journal of Mathematics 3 Artificial Intelligence 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Rocky Mountain Journal of Mathematics 3 Colloquium Mathematicum 3 Journal of Functional Analysis 3 Journal of Number Theory 3 Mathematical Systems Theory 3 Quaestiones Mathematicae 3 Synthese 3 Graphs and Combinatorics 3 MSCS. Mathematical Structures in Computer Science 3 Combinatorics, Probability and Computing 3 Séminaire Lotharingien de Combinatoire 3 Journal of Applied Analysis 3 Journal of the European Mathematical Society (JEMS) 3 Journal of Applied Logic 3 Science China. Mathematics 3 The Art of Discrete and Applied Mathematics 2 Periodica Mathematica Hungarica 2 Algebra and Logic 2 Compositio Mathematica 2 Integral Equations and Operator Theory 2 Journal of Graph Theory 2 Journal of the Mathematical Society of Japan 2 Mathematische Annalen 2 Proceedings of the Edinburgh Mathematical Society. Series II 2 Programming and Computer Software 2 Rendiconti del Seminario Matematico della Università di Padova 2 Journal of Complexity 2 Algorithmica 2 Journal of the American Mathematical Society 2 Mathematical and Computer Modelling 2 Formal Aspects of Computing 2 International Journal of Foundations of Computer Science 2 Bulletin of the American Mathematical Society. New Series 2 Bulletin of the Polish Academy of Sciences, Mathematics 2 Indagationes Mathematicae. New Series 2 Computational Complexity 2 Applied Categorical Structures 2 Filomat 2 Journal of Combinatorial Designs 2 Annals of Mathematics and Artificial Intelligence 2 Annals of Combinatorics 2 Fundamenta Informaticae 2 Natural Computing 2 Central European Journal of Mathematics 2 ACM Transactions on Computational Logic 2 Mediterranean Journal of Mathematics 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 American Mathematical Monthly 1 Bulletin of the Australian Mathematical Society 1 Communications in Mathematical Physics ...and 103 more Serials
all top 5

### Cited in 48 Fields

 722 Mathematical logic and foundations (03-XX) 226 Computer science (68-XX) 225 General topology (54-XX) 203 Combinatorics (05-XX) 84 Order, lattices, ordered algebraic structures (06-XX) 66 Group theory and generalizations (20-XX) 62 Category theory; homological algebra (18-XX) 41 Topological groups, Lie groups (22-XX) 41 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 36 Functional analysis (46-XX) 35 Measure and integration (28-XX) 25 Convex and discrete geometry (52-XX) 24 Number theory (11-XX) 21 Real functions (26-XX) 20 Dynamical systems and ergodic theory (37-XX) 15 General and overarching topics; collections (00-XX) 12 History and biography (01-XX) 12 Commutative algebra (13-XX) 12 Associative rings and algebras (16-XX) 11 General algebraic systems (08-XX) 11 Probability theory and stochastic processes (60-XX) 10 Information and communication theory, circuits (94-XX) 9 Manifolds and cell complexes (57-XX) 9 Quantum theory (81-XX) 8 Operator theory (47-XX) 8 Algebraic topology (55-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 6 Sequences, series, summability (40-XX) 5 Geometry (51-XX) 5 Biology and other natural sciences (92-XX) 4 Algebraic geometry (14-XX) 4 Operations research, mathematical programming (90-XX) 3 Field theory and polynomials (12-XX) 3 Nonassociative rings and algebras (17-XX) 3 Partial differential equations (35-XX) 2 Differential geometry (53-XX) 2 Statistics (62-XX) 2 Relativity and gravitational theory (83-XX) 1 $$K$$-theory (19-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Difference and functional equations (39-XX) 1 Abstract harmonic analysis (43-XX) 1 Integral transforms, operational calculus (44-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Numerical analysis (65-XX) 1 Mechanics of deformable solids (74-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Systems theory; control (93-XX)

### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.