# zbMATH — the first resource for mathematics

## Blass, Andreas Raphael

Compute Distance To:
 Author ID: blass.andreas-raphael Published as: Blass, Andreas; Blass, A. R.; Blass, Andreas R.; Blass, A. Homepage: http://www.math.lsa.umich.edu/~ablass/ External Links: MGP · Math-Net.Ru · Wikidata · MathOverflow · ResearchGate · dblp · GND
 Documents Indexed: 228 Publications since 1968, including 6 Books
all top 5

#### Co-Authors

 88 single-authored 67 Gurevich, Yuri 9 Shelah, Saharon 8 Irwin, John M. 6 Harary, Frank 6 Stanojević, Časlav V. 5 Dershowitz, Nachum 3 Di Nasso, Mauro 3 Hindman, Neil 3 Rossman, Benjamin 3 Sagan, Bruce Eli 3 Scedrov, Andre 2 Baldwin, John T. 2 Bergelson, Vitaly 2 Exoo, Geoffrey 2 Jiarasuksakun, Thiradet 2 Pambuccian, Victor V. 2 Reisig, Wolfgang 2 Rosenzweig, Dean 2 Ščedrov, Andrej 2 Van den Bussche, Jan 2 Zhang, Yi 1 Adelman, Murray 1 Banakh, Taras Onufrievich 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 Cenzer, Douglas 1 Dimitriou, Ioanna Matilde 1 Dobrinen, Natasha L. 1 Erdős, Pál 1 Falcao, L. 1 Finkbeiner, Bernd 1 Forti, Marco 1 Frankiewicz, Ryszard 1 Gao, Su 1 Glass, Andrew M. W. 1 Göbel, Rüdiger 1 Hamkins, Joel David 1 Hardy, Michael 1 Hirst, Jeffry Lynn 1 Hrušák, Michael 1 Hudis, Efim 1 Jech, Thomas J. 1 Jin, Renling 1 Kister, James M. 1 Kozen, Dexter C. 1 Kreinovich, Vladik Yakovlevich 1 Kueker, David W. 1 Laflamme, Claude 1 Larson, Paul B. 1 Longpré, Luc 1 Löwe, Benedikt 1 Mildenberger, Heike 1 Miller, Zevi 1 Mitavskiy, Boris S. 1 Moche, Gugu 1 Nachmanson, Lev 1 Neumann, Peter Michael 1 Plebanek, Grzegorz 1 Raghavan, Dilip 1 Ryll-Nardzewski, Czesław 1 Schlitt, Greg M. 1 Schulte, Wolfram 1 Simpson, Stephen G. 1 Taylor, Alan D. 1 Veanes, Margus 1 Verner, Jonathan L. 1 Weiss, Gary
all top 5

#### Serials

 19 The Journal of Symbolic Logic 18 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 4 Communications in Algebra 4 Journal of Graph Theory 4 Journal of Pure and Applied Algebra 4 Topology and its Applications 3 American Mathematical Monthly 3 SIAM Journal on Computing 3 Journal of Algebraic Combinatorics 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 Information and Computation 2 Topology Proceedings 2 The Electronic Journal of Combinatorics 2 The Bulletin of Symbolic Logic 2 Contemporary Mathematics 2 Lecture Notes in Computer Science 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 Theoretical Computer Science 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
all top 5

#### Fields

 154 Mathematical logic and foundations (03-XX) 63 Computer science (68-XX) 29 Combinatorics (05-XX) 25 Category theory; homological algebra (18-XX) 22 Group theory and generalizations (20-XX) 19 General topology (54-XX) 8 Quantum theory (81-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 General algebraic systems (08-XX) 6 General and overarching topics; collections (00-XX) 5 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 Functional analysis (46-XX) 3 Information and communication theory, circuits (94-XX) 2 History and biography (01-XX) 2 Number theory (11-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

152 Publications have been cited 1,311 times in 1,025 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
Henkin quantifiers and complete problems. Zbl 0618.03016
Blass, Andreas; Gurevich, Yuri
1986
A partition theorem for perfect sets. Zbl 0472.03038
Blass, Andreas
1981
Ultrafilters with small generating sets. Zbl 0681.03033
Blass, Andreas; Shelah, Saharon
1989
Möbius functions of lattices. Zbl 0872.06004
Blass, Andreas; Sagan, Bruce E.
1997
Consistency results about filters and the number of inequivalent growth types. Zbl 0673.03038
Blass, Andreas; Laflamme, Claude
1989
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
Properties of almost all graphs and complexes. Zbl 0418.05050
Blass, Andreas; Harary, Frank
1979
The Rudin-Keisler ordering of P-points. Zbl 0269.02025
Blass, Andreas
1973
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
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
Ultrafilters: Where topological dynamics = algebra = combinatorics. Zbl 0856.54042
Blass, Andreas
1993
On strongly summable ultrafilters and union ultrafilters. Zbl 0643.03032
Blass, Andreas; Hindman, Neil
1987
Choiceless polynomial time. Zbl 0936.03037
Blass, Andreas; Gurevich, Yuri; Shelah, Saharon
1999
A zero-one law for logic with a fixed-point operator. Zbl 0608.68077
Blass, Andreas; Gurevich, Yuri; Kozen, Dexter
1985
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
Infinitary combinatorics and modal logic. Zbl 0699.03008
Blass, Andreas
1990
Classifying topoi and finite forcing. Zbl 0516.03042
Blass, Andreas; Scedrov, Andrej
1983
A note on extensions of asymptotic density. Zbl 0992.28002
Blass, A.; Frankiewicz, R.; Plebanek, G.; Ryll-Nardzewski, C.
2001
Degrees of indeterminacy of games. Zbl 0234.90066
Blass, Andreas
1972
Graphs with unique maximal clumpings. Zbl 0377.05036
Blass, Andreas
1978
Ultrafilter mappings and their Dedekind cuts. Zbl 0305.02065
Blass, Andreas
1974
Which trees are link graphs? Zbl 0448.05028
Blass, Andreas; Harary, Frank; Miller, Zevi
1980
Matrix transformation is complete for the average case. Zbl 0828.68078
Blass, Andreas; Gurevich, Yuri
1995
On polynomial time computation over unordered structures. Zbl 1020.03038
Blass, Andreas; Gurevich, Yuri; Shelah, Saharon
2002
Abstract state machines capture parallel algorithms. Zbl 1365.68253
Blass, Andreas; Gurevich, Yuri
2003
A model without ultrafilters. Zbl 0365.02054
Blass, Andreas
1977
Cardinal characteristics and the product of countably many infinite cyclic groups. Zbl 0816.20047
Blass, Andreas
1994
Two closed categories of filters. Zbl 0357.18004
Blass, Andreas
1977
Play to test. Zbl 1183.68176
Blass, Andreas; Gurevich, Yuri; Nachmanson, Lev; Veanes, Margus
2006
Seven trees in one. Zbl 0846.18002
Blass, Andreas
1995
Complexity of winning strategies. Zbl 0243.90052
Blass, Andreas
1972
A ”natural” theory without a prime model. Zbl 0273.02033
Baldwin, J. T.; Blass, A. R.; Glass, A. M. W.; Kueker, D. W.
1973
Bijective proofs of two broken circuit theorems. Zbl 0592.05022
Blass, Andreas; Sagan, Bruce Eli
1986
Ultrafilters related to Hindman’s finite-unions theorem and its extensions. Zbl 0634.03045
Blass, Andreas
1987
Existential fixed-point logic. Zbl 0647.03018
Blass, Andreas; Gurevich, Yuri
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
Existence of bases implies the axiom of choice. Zbl 0557.03030
Blass, Andreas
1984
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
A characterization and sum decomposition for operator ideals. Zbl 0414.47017
Blass, Andreas; Weiss, Gary
1978
Prime ideals yield almost maximal ideals. Zbl 0609.06006
Blass, Andreas
1987
Logical analysis of some theorems of combinatorics and topological dynamics. Zbl 0652.03040
Blass, Andreas R.; Hirst, Jeffry L.; Simpson, Stephen G.
1987
Quasi-selective ultrafilters and asymptotic numerosities. Zbl 1270.03105
Blass, Andreas; Di Nasso, Mauro; Forti, Marco
2012
An application of universal algebra in group theory. Zbl 0292.20033
Blass, Andreas; Neumann, Peter M.
1974
Algorithms: a quest for absolute definitions. Zbl 1169.68408
Blass, Andreas; Gurevich, Yuri
2003
Simple cardinal characteristics of the continuum. Zbl 0828.03019
Blass, Andreas
1993
Interactive small-step algorithms. I: Axiomatization. Zbl 1132.68029
Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin
2007
Program termination and well partial orderings. Zbl 1367.68061
Blass, Andreas; Gurevich, Yuri
2008
An axiomatic approach to rank in model theory. Zbl 0298.02055
Baldwin, J. T.; Blass, Andreas
1974
End extensions, conservative extensions, and the Rudin-Frolik ordering. Zbl 0362.02052
Blass, Andreas
1977
Reductions between cardinal characteristics of the continuum. Zbl 0838.03036
Blass, Andreas
1996
The logic of choice. Zbl 0973.03007
Blass, Andreas; Gurevich, Yuri
2000
The model of set theory generated by countably many generic reals. Zbl 0482.03022
Blass, Andreas
1981
Randomizing reductions of search problems. Zbl 0789.68056
Blass, Andreas; Gurevich, Yuri
1993
On strong $$P$$-points. Zbl 1302.03050
Blass, Andreas; Hrušák, Michael; Verner, Jonathan
2013
Ordinary interactive small-step algorithms. I. Zbl 1367.68094
Blass, Andreas; Gurevich, Yuri
2006
The next best thing to a P-point. Zbl 1367.03078
Blass, Andreas; Dobrinen, Natasha; Raghavan, Dilip
2015
Equivalence of two strong forms of determinacy. Zbl 0336.02048
Blass, Andreas
1975
Cohomology detects failures of the axiom of choice. Zbl 0532.04002
Blass, Andreas
1983
The number of near-coherence classes of ultrafilters is either finite or $$2^{\mathfrak c}$$. Zbl 1182.03076
Banakh, Taras; Blass, Andreas
2006
A model-theoretic view of some special ultrafilters. Zbl 0439.03031
Blass, Andreas
1978
Strong extension axioms and Shelah’s zero-one law for choiceless polynomial time. Zbl 1045.03039
Blass, Andreas; Gurevich, Yuri
2003
Amalgamation of nonstandard models of arithmetic. Zbl 0381.03050
Blass, Andreas
1978
Natural endomorphisms of Burnside rings. Zbl 0417.20006
Blass, Andreas
1979
When are two algorithms the same? Zbl 1192.03021
Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri
2009
Some questions arising from Hindman’s theorem. Zbl 1084.05008
Blass, Andreas
2005
Abstract state machines capture parallel algorithms: correction and extension. Zbl 1367.68097
Blass, Andreas; Gurevich, Yuri
2008
Equivalence relations, invariants, and normal forms. Zbl 0545.68035
Blass, Andreas; Gurevich, Yuri
1984
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
Boolean classifying topoi. Zbl 0504.03030
Blass, Andreas; Scedrov, Andrej
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
On the Egoroff property of pointwise convergent sequences of functions. Zbl 0601.54004
Blass, Andreas; Jech, Thomas
1986
Free subgroups of the homeomorphism group of the reals. Zbl 0604.57015
Blass, Andreas; Kister, James M.
1986
Specker’s theorem for Nöbeling’s group. Zbl 0998.20047
Blass, Andreas
2002
Random orders and gambler’s ruin. Zbl 1075.05004
Blass, Andreas; Braun, Gábor
2005
Optimal ancilla-free Pauli+V circuits for axial rotations. Zbl 1333.81067
Blass, Andreas; Bocharov, Alex; Gurevich, Yuri
2015
Partitions and permutation groups. Zbl 1247.03108
Blass, Andreas
2011
Existential fixed-point logic, universal quantifiers, and topoi. Zbl 1287.03085
Blass, Andreas
2010
Pairwise testing. Zbl 1169.68352
Blass, Andreas; Gurevich, Yuri
2002
Ultrafilters and set theory. Zbl 1269.03048
Blass, Andreas
2010
The linear time hierarchy theorems for abstract state machines and RAMs. Zbl 0960.68070
Blass, Andreas; Gurevich, Yuri
1997
Needed reals and recursion in generic reals. Zbl 0980.03055
Blass, Andreas
2001
Abstract state machines and computationally complete query languages. Zbl 0976.68061
Blass, Andreas; Gurevich, Yuri; Van den Bussche, Jan
2000
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
Conservative extensions of models of arithmetic. Zbl 0453.03072
Blass, Andreas
1980
The underlying logic of Hoare logic. Zbl 1012.03514
Blass, Andreas; Gurevich, Yuri
2001
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
Optimal ancilla-free Pauli+V circuits for axial rotations. Zbl 1333.81067
Blass, Andreas; Bocharov, Alex; Gurevich, Yuri
2015
Finite embeddability of sets and ultrafilters. Zbl 1382.03068
Blass, Andreas; Di Nasso, Mauro
2015
Negative probability. Zbl 1416.60013
Blass, Andreas; Gurevich, Yuri
2015
Ancilla-approximable quantum state transformations. Zbl 1322.81015
Blass, Andreas; Gurevich, Yuri
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
Combinatorial cardinal characteristics of the continuum. Zbl 1198.03058
Blass, Andreas
2010
Existential fixed-point logic, universal quantifiers, and topoi. Zbl 1287.03085
Blass, Andreas
2010
Ultrafilters and set theory. Zbl 1269.03048
Blass, Andreas
2010
Content-dependent chunking for differential compression, the local maximum approach. Zbl 1201.68015
Bjørner, Nikolaj; Blass, Andreas; Gurevich, Yuri
2010
Hilbertian deductive systems, infon logic, and Datalog. Zbl 1275.03127
Blass, Andreas; Gurevich, Yuri
2010
Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Zbl 1194.03003
Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang
2010
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
Basic subgroups and freeness, a counterexample. Zbl 1192.20039
Blass, Andreas; Shelah, Saharon
2008
Why sets? Zbl 1133.03347
Blass, Andreas; Gurevich, Yuri
2008
Interactive small-step algorithms. I: Axiomatization. Zbl 1132.68029
Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin
2007
Ordinary interactive small-step algorithms. II. Zbl 1367.68095
Blass, Andreas; Gurevich, Yuri
2007
Inaccessible cardinals without the axiom of choice. Zbl 1116.03045
Blass, Andreas; Dimitriou, Ioanna M.; Löwe, Benedikt
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. III. Zbl 1367.68096
Blass, Andreas; Gurevich, Yuri
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
Specker’s theorem for Nöbeling’s group. Zbl 0998.20047
Blass, Andreas
2002
Pairwise testing. Zbl 1169.68352
Blass, Andreas; Gurevich, Yuri
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
Algorithms vs. machines. Zbl 1024.68101
Blass, Andreas; Gurevich, Yuri
2002
Nearly adequate sets. Zbl 1013.03054
Blass, Andreas
2002
Abstract state machines and computationally complete query languages. Zbl 1009.68030
Blass, Andreas; Gurevich, Yuri; Van den Bussche, Jan
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
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
Inadequacy of computable loop invariants. Zbl 1365.68315
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
Subgroups of the Baer-Specker group with few endomorphisms but large dual. Zbl 0851.20052
Blass, Andreas; Göbel, Rüdiger
1996
On the group of eventually divisible integer sequences. Zbl 0872.20047
Blass, Andreas R.
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
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
The logic in computer science column - topoi and computation. Zbl 0681.03044
Blass, Andreas
1988
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
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
Ultrafilters related to Hindman’s finite-unions theorem and its extensions. Zbl 0634.03045
Blass, Andreas
1987
Existential fixed-point logic. Zbl 0647.03018
Blass, Andreas; Gurevich, Yuri
1987
Prime ideals yield almost maximal ideals. Zbl 0609.06006
Blass, Andreas
1987
Logical analysis of some theorems of combinatorics and topological dynamics. Zbl 0652.03040
Blass, Andreas R.; Hirst, Jeffry L.; Simpson, Stephen G.
1987
Well-ordering and induction in intuitionistic logic and topoi. Zbl 0655.03039
Blass, Andreas
1987
...and 52 more Documents
all top 5

#### Cited by 1,028 Authors

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

#### Cited in 182 Serials

 99 Annals of Pure and Applied Logic 69 The Journal of Symbolic Logic 67 Topology and its Applications 56 Archive for Mathematical Logic 49 Proceedings of the American Mathematical Society 46 Theoretical Computer Science 41 Transactions of the American Mathematical Society 23 Discrete Mathematics 21 Israel Journal of Mathematics 21 Advances in Mathematics 21 The Bulletin of Symbolic Logic 20 Journal of Pure and Applied Algebra 17 Information and Computation 16 Journal of Computer and System Sciences 15 Fundamenta Mathematicae 15 Mathematical Logic Quarterly (MLQ) 13 Journal of Combinatorial Theory. Series A 13 Studia Logica 10 Algebra Universalis 8 Notre Dame Journal of Formal Logic 8 Semigroup Forum 8 Order 7 Discrete Applied Mathematics 7 Journal of Algebra 6 Journal of Mathematical Analysis and Applications 5 Information Processing Letters 5 Czechoslovak Mathematical Journal 5 Monatshefte für Mathematik 5 European Journal of Combinatorics 5 Advances in Applied Mathematics 5 Journal of Mathematical Sciences (New York) 5 The Electronic Journal of Combinatorics 5 Journal of Mathematical Logic 5 Logical Methods in Computer Science 4 Communications in Algebra 4 Mathematical Proceedings of the Cambridge Philosophical Society 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 Topology Proceedings 4 Theory of Computing Systems 4 The Review of Symbolic Logic 3 Artificial Intelligence 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Rocky Mountain Journal of Mathematics 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 2 Compositio Mathematica 2 Integral Equations and Operator Theory 2 Journal of Functional Analysis 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 Journal of Combinatorial Designs 2 Annals of Mathematics and Artificial Intelligence 2 Annals of Combinatorics 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 1 International Journal of Theoretical Physics 1 Journal d’Analyse Mathématique 1 Journal of Mathematical Biology 1 Mathematical Notes 1 Periodica Mathematica Hungarica 1 Problems of Information Transmission 1 Studia Mathematica ...and 82 more Serials
all top 5

#### Cited in 46 Fields

 654 Mathematical logic and foundations (03-XX) 207 General topology (54-XX) 200 Computer science (68-XX) 177 Combinatorics (05-XX) 75 Order, lattices, ordered algebraic structures (06-XX) 61 Group theory and generalizations (20-XX) 55 Category theory; homological algebra (18-XX) 37 Topological groups, Lie groups (22-XX) 36 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 32 Measure and integration (28-XX) 32 Functional analysis (46-XX) 22 Convex and discrete geometry (52-XX) 19 Number theory (11-XX) 19 Real functions (26-XX) 17 Dynamical systems and ergodic theory (37-XX) 13 General and overarching topics; collections (00-XX) 12 Associative rings and algebras (16-XX) 11 History and biography (01-XX) 11 General algebraic systems (08-XX) 11 Information and communication theory, circuits (94-XX) 10 Commutative algebra (13-XX) 10 Probability theory and stochastic processes (60-XX) 9 Manifolds and cell complexes (57-XX) 7 Operator theory (47-XX) 7 Quantum theory (81-XX) 6 Algebraic topology (55-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 4 Operations research, mathematical programming (90-XX) 4 Biology and other natural sciences (92-XX) 3 Nonassociative rings and algebras (17-XX) 3 Sequences, series, summability (40-XX) 3 Geometry (51-XX) 2 Field theory and polynomials (12-XX) 2 Algebraic geometry (14-XX) 2 Partial differential equations (35-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 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-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.