×

zbMATH — the first resource for mathematics

Blass, Andreas Raphael

Compute Distance To:
Author ID: blass.andreas-raphael Recent zbMATH articles by "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

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

Publications by Year

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

Citations by Year

Wikidata Timeline

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