Edit Profile (opens in new tab) Blass, Andreas Raphael Co-Author Distance 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: 234 Publications since 1968, including 1 Book and 4 Additional arXiv Preprints 9 Contributions as Editor · 2 Further Contributions Co-Authors: 80 Co-Authors with 155 Joint Publications 3,494 Co-Co-Authors all top 5 Co-Authors 90 single-authored 76 Gurevich, Yuri 9 Shelah, Saharon 8 Irwin, John M. 6 Dershowitz, Nachum 6 Harary, Frank 6 Stanojević, Časlav V. 5 Scedrov, Andre 4 Hindman, Neil 3 Bergelson, Vitaly 3 Di Nasso, Mauro 3 Rossman, Benjamin 3 Sagan, Bruce Eli 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 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 Feldman, David Victor 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 Kulshreshtha, Dhruv 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 Orhon, Mehmet 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 ...and 13 more Co-Authors all top 5 Serials 21 Bulletin of the European Association for Theoretical Computer Science EATCS 19 The Journal of Symbolic Logic 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 Information and Computation 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 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 Journal of Physics A: Mathematical and Theoretical 1 Perspectives in Mathematical Logic all top 5 Fields 161 Mathematical logic and foundations (03-XX) 69 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) 13 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) 7 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) 4 Functional analysis (46-XX) 3 Number theory (11-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Information and communication theory, circuits (94-XX) 2 History and biography (01-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) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 173 Publications have been cited 1,716 times in 1,308 Documents Cited by ▼ Year ▼ Combinatorial cardinal characteristics of the continuum. Zbl 1198.03058 Blass, Andreas 265 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 79 1987 A game semantics for linear logic. Zbl 0763.03008 Blass, Andreas 67 1992 On the unique satisfiability problem. Zbl 0543.03027 Blass, Andreas; Gurevich, Yuri 54 1982 Ultrafilters with small generating sets. Zbl 0681.03033 Blass, Andreas; Shelah, Saharon 36 1989 The Rudin-Keisler ordering of P-points. Zbl 0269.02025 Blass, Andreas 33 1973 Henkin quantifiers and complete problems. Zbl 0618.03016 Blass, Andreas; Gurevich, Yuri 33 1986 Möbius functions of lattices. Zbl 0872.06004 Blass, Andreas; Sagan, Bruce E. 32 1997 Partition theorems for spaces of variable words. Zbl 0809.04005 Bergelson, Vitaly; Blass, Andreas; Hindman, Neil 31 1994 Near coherence of filters. I: Cofinal equivalence of models of arithmetic. Zbl 0622.03040 Blass, Andreas 29 1986 Properties of almost all graphs and complexes. Zbl 0418.05050 Blass, Andreas; Harary, Frank 29 1979 Consistency results about filters and the number of inequivalent growth types. Zbl 0673.03038 Blass, Andreas; Laflamme, Claude 28 1989 A partition theorem for perfect sets. Zbl 0472.03038 Blass, Andreas 28 1981 Injectivity, projectivity, and the axiom of choice. Zbl 0426.03053 Blass, Andreas 28 1979 Choiceless polynomial time. Zbl 0936.03037 Blass, Andreas; Gurevich, Yuri; Shelah, Saharon 26 1999 Paley graphs satisfy all first-order adjacency axioms. Zbl 0472.05058 Blass, Andreas; Exoo, Geoffrey; Harary, Frank 26 1981 Selctive ultrafilters and homogeneity. Zbl 0649.03036 Blass, Andreas 25 1988 Near coherence of filters. III: A simplified consistency proof. Zbl 0702.03030 Blass, Andreas; Shelah, Saharon 25 1989 Characteristic and Ehrhart polynomials. Zbl 0899.05003 Blass, Andreas; Sagan, Bruce E. 21 1998 Ultrafilters: Where topological dynamics = algebra = combinatorics. Zbl 0856.54042 Blass, Andreas 21 1993 Applications of superperfect forcing and its relatives. Zbl 0683.03029 Blass, Andreas 20 1989 A zero-one law for logic with a fixed-point operator. Zbl 0608.68077 Blass, Andreas; Gurevich, Yuri; Kozen, Dexter 20 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 19 1987 Abstract state machines capture parallel algorithms. Zbl 1365.68253 Blass, Andreas; Gurevich, Yuri 19 2003 On strongly summable ultrafilters and union ultrafilters. Zbl 0643.03032 Blass, Andreas; Hindman, Neil 18 1987 A note on extensions of asymptotic density. Zbl 0992.28002 Blass, A.; Frankiewicz, R.; Plebanek, G.; Ryll-Nardzewski, C. 18 2001 Ramsey’s theorem in the hierarchy of choice principles. Zbl 0374.02037 Blass, Andreas 18 1978 On polynomial time computation over unordered structures. Zbl 1020.03038 Blass, Andreas; Gurevich, Yuri; Shelah, Saharon 18 2002 Classifying topoi and finite forcing. Zbl 0516.03042 Blass, Andreas; Scedrov, Andrej 17 1983 On the cofinality of ultrapowers. Zbl 0930.03060 Blass, Andreas; Mildenberger, Heike 17 1999 Infinitary combinatorics and modal logic. Zbl 0699.03008 Blass, Andreas 17 1990 Matrix transformation is complete for the average case. Zbl 0828.68078 Blass, Andreas; Gurevich, Yuri 14 1995 Degrees of indeterminacy of games. Zbl 0234.90066 Blass, Andreas 14 1972 A model without ultrafilters. Zbl 0365.02054 Blass, Andreas 14 1977 Ultrafilters related to Hindman’s finite-unions theorem and its extensions. Zbl 0634.03045 Blass, Andreas 13 1987 Existential fixed-point logic. Zbl 0647.03018 Blass, Andreas; Gurevich, Yuri 13 1987 Existence of bases implies the axiom of choice. Zbl 0557.03030 Blass, Andreas 13 1984 Graphs with unique maximal clumpings. Zbl 0377.05036 Blass, Andreas 13 1978 Logical analysis of some theorems of combinatorics and topological dynamics. Zbl 0652.03040 Blass, Andreas R.; Hirst, Jeffry L.; Simpson, Stephen G. 12 1987 Simple cardinal characteristics of the continuum. Zbl 0828.03019 Blass, Andreas 12 1993 Ultrafilter mappings and their Dedekind cuts. Zbl 0305.02065 Blass, Andreas 12 1974 Which trees are link graphs? Zbl 0448.05028 Blass, Andreas; Harary, Frank; Miller, Zevi 12 1980 Seven trees in one. Zbl 0846.18002 Blass, Andreas 11 1995 Bijective proofs of two broken circuit theorems. Zbl 0592.05022 Blass, Andreas; Sagan, Bruce Eli 11 1986 Prime ideals yield almost maximal ideals. Zbl 0609.06006 Blass, Andreas 11 1987 Handbook of set theory. In 3 volumes. Zbl 1197.03001 10 2010 Two closed categories of filters. Zbl 0357.18004 Blass, Andreas 10 1977 Cardinal characteristics and the product of countably many infinite cyclic groups. Zbl 0816.20047 Blass, Andreas 10 1994 Program termination and well partial orderings. Zbl 1367.68061 Blass, Andreas; Gurevich, Yuri 10 2008 Play to test. Zbl 1183.68176 Blass, Andreas; Gurevich, Yuri; Nachmanson, Lev; Veanes, Margus 9 2006 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 The next best thing to a P-point. Zbl 1367.03078 Blass, Andreas; Dobrinen, Natasha; Raghavan, Dilip 9 2015 Abstract state machines capture parallel algorithms: correction and extension. Zbl 1367.68097 Blass, Andreas; Gurevich, Yuri 9 2008 Quasi-selective ultrafilters and asymptotic numerosities. Zbl 1270.03105 Blass, Andreas; Di Nasso, Mauro; Forti, Marco 9 2012 Freyd’s models for the independence of the axiom of choice. Zbl 0687.03031 Blass, Andreas; Scedrov, Andre 8 1989 Interactive small-step algorithms. I: Axiomatization. Zbl 1132.68029 Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin 8 2007 Equivalence relations, invariants, and normal forms. Zbl 0545.68035 Blass, Andreas; Gurevich, Yuri 8 1984 Questions and answers – a category arising in linear logic, complexity theory, and set theory. Zbl 0823.03039 Blass, Andreas 8 1995 Groupwise density and related cardinals. Zbl 0706.03036 Blass, Andreas 8 1990 A characterization and sum decomposition for operator ideals. Zbl 0414.47017 Blass, Andreas; Weiss, Gary 8 1978 Randomizing reductions of search problems. Zbl 0789.68056 Blass, Andreas; Gurevich, Yuri 8 1993 On strong \(P\)-points. Zbl 1302.03050 Blass, Andreas; Hrušák, Michael; Verner, Jonathan 8 2013 The number of near-coherence classes of ultrafilters is either finite or \(2^{\mathfrak c}\). Zbl 1182.03076 Banakh, Taras; Blass, Andreas 7 2006 Equivalence of two strong forms of determinacy. Zbl 0336.02048 Blass, Andreas 7 1975 Algorithms: a quest for absolute definitions. Zbl 1169.68408 Blass, Andreas; Gurevich, Yuri 7 2003 Exact functors and measurable cardinals. Zbl 0348.18007 Blass, Andreas 7 1976 Ordinary interactive small-step algorithms. I. Zbl 1367.68094 Blass, Andreas; Gurevich, Yuri 7 2006 Cohomology detects failures of the axiom of choice. Zbl 0532.04002 Blass, Andreas 6 1983 End extensions, conservative extensions, and the Rudin-Frolik ordering. Zbl 0362.02052 Blass, Andreas 6 1977 The logic of choice. Zbl 0973.03007 Blass, Andreas; Gurevich, Yuri 6 2000 An application of universal algebra in group theory. Zbl 0292.20033 Blass, Andreas; Neumann, Peter M. 6 1974 Some questions arising from Hindman’s theorem. Zbl 1084.05008 Blass, Andreas 6 2005 The model of set theory generated by countably many generic reals. Zbl 0482.03022 Blass, Andreas 5 1981 Words, free algebras, and coequalizers. Zbl 0542.08005 Blass, Andreas 5 1983 Reductions between cardinal characteristics of the continuum. Zbl 0838.03036 Blass, Andreas 5 1996 Background, reserve, and Gandy machines. Zbl 0973.03053 Blass, Andreas; Gurevich, Yuri 5 2000 Strong extension axioms and Shelah’s zero-one law for choiceless polynomial time. Zbl 1045.03039 Blass, Andreas; Gurevich, Yuri 5 2003 An axiomatic approach to rank in model theory. Zbl 0298.02055 Baldwin, J. T.; Blass, Andreas 5 1974 A model-theoretic view of some special ultrafilters. Zbl 0439.03031 Blass, Andreas 5 1978 Finite embeddability of sets and ultrafilters. Zbl 1382.03068 Blass, Andreas; Di Nasso, Mauro 5 2015 The rearrangement number. Zbl 1516.03015 Blass, Andreas; Brendle, Jörg; Brian, Will; Hamkins, Joel David; Hardy, Michael; Larson, Paul B. 5 2020 Background of computation. Zbl 1169.68353 Blass, Andreas; Gurevich, Yuri 4 2007 A selection of open problems. Zbl 1217.05223 4 2009 Free subgroups of the homeomorphism group of the reals. Zbl 0604.57015 Blass, Andreas; Kister, James M. 4 1986 When are two algorithms the same? Zbl 1192.03021 Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri 4 2009 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 The logic in computer science column - topoi and computation. Zbl 0681.03044 Blass, Andreas 3 1988 Inaccessible cardinals without the axiom of choice. Zbl 1116.03045 Blass, Andreas; Dimitriou, Ioanna M.; Löwe, Benedikt 3 2007 Boolean classifying topoi. Zbl 0504.03030 Blass, Andreas; Scedrov, Andrej 3 1983 Equivalence relations, invariants, and normal forms. II. Zbl 0545.68036 Blass, Andreas; Gurevich, Yuri 3 1984 The interaction between category theory and set theory. Zbl 0551.18001 Blass, Andreas 3 1984 Ultrafilters and set theory. Zbl 1269.03048 Blass, Andreas 3 2010 Partitions and permutation groups. Zbl 1247.03108 Blass, Andreas 3 2011 The underlying logic of Hoare logic. Zbl 1012.03514 Blass, Andreas; Gurevich, Yuri 3 2001 Free subgroups of the Baer-Specker group. Zbl 1022.20025 Blass, Andreas; Irwin, John 3 2001 Specker’s theorem for Nöbeling’s group. Zbl 0998.20047 Blass, Andreas 3 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 3 2002 Random orders and gambler’s ruin. Zbl 1075.05004 Blass, Andreas; Braun, Gábor 3 2005 Quantum circuits with classical channels and the principle of deferred measurements. Zbl 07527762 Gurevich, Yuri; Blass, Andreas 1 2022 The rearrangement number. Zbl 1516.03015 Blass, Andreas; Brendle, Jörg; Brian, Will; Hamkins, Joel David; Hardy, Michael; Larson, Paul B. 5 2020 Witness algebra and anyon braiding. Zbl 1495.81024 Blass, Andreas; Gurevich, Yuri 2 2020 Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Zbl 1498.03010 2 2020 Circuits: an abstract viewpoint. Zbl 1512.68090 Blass, Andreas; Gurevich, Yuri 1 2020 Circuit pedantry. Zbl 1428.68149 Blass, Andreas; Gurevich, Yuri 1 2019 Who needs category theory? Zbl 1409.68095 Blass, Andreas; Gurevich, Yuri 2 2018 An invitation to quantum computing. Zbl 1428.68158 Blass, Andreas; Gurevich, Yuri 1 2018 On quantum computation, anyons, and categories. Zbl 1439.81028 Blass, Andreas; Gurevich, Yuri 2 2016 Partitions and conservativity. Zbl 1355.54028 Blass, Andreas 1 2016 The next best thing to a P-point. Zbl 1367.03078 Blass, Andreas; Dobrinen, Natasha; Raghavan, Dilip 9 2015 Finite embeddability of sets and ultrafilters. Zbl 1382.03068 Blass, Andreas; Di Nasso, Mauro 5 2015 Optimal ancilla-free Pauli+V circuits for axial rotations. Zbl 1333.81067 Blass, Andreas; Bocharov, Alex; Gurevich, Yuri 3 2015 Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Zbl 1321.03008 2 2015 Negative probability. Zbl 1416.60013 Blass, Andreas; Gurevich, Yuri 2 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 8 2013 Quasi-selective ultrafilters and asymptotic numerosities. Zbl 1270.03105 Blass, Andreas; Di Nasso, Mauro; Forti, Marco 9 2012 Partitions and permutation groups. Zbl 1247.03108 Blass, Andreas 3 2011 Persistent queries in the behavioral theory of algorithms. Zbl 1351.68095 Blass, Andreas; Gurevich, Yuri 1 2011 Combinatorial cardinal characteristics of the continuum. Zbl 1198.03058 Blass, Andreas 265 2010 Handbook of set theory. In 3 volumes. Zbl 1197.03001 10 2010 Ultrafilters and set theory. Zbl 1269.03048 Blass, Andreas 3 2010 Existential fixed-point logic, universal quantifiers, and topoi. Zbl 1287.03085 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 Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Zbl 1194.03003 1 2010 Exact exploration and hanging algorithms. Zbl 1287.68042 Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri 1 2010 Ultrafilters across mathematics. International congress ULTRAMATH 2008: Applications of ultrafilters and ultraproducts in mathematics, Pisa, Italy, June 1–7, 2008. Zbl 1202.03009 1 2010 Hilbertian deductive systems, infon logic, and Datalog. Zbl 1275.03127 Blass, Andreas; Gurevich, Yuri 1 2010 A selection of open problems. Zbl 1217.05223 4 2009 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 2 2009 Program termination and well partial orderings. Zbl 1367.68061 Blass, Andreas; Gurevich, Yuri 10 2008 Abstract state machines capture parallel algorithms: correction and extension. Zbl 1367.68097 Blass, Andreas; Gurevich, Yuri 9 2008 Why sets? Zbl 1133.03347 Blass, Andreas; Gurevich, Yuri 2 2008 Basic subgroups and freeness, a counterexample. Zbl 1192.20039 Blass, Andreas; Shelah, Saharon 1 2008 Two forms of one useful logic: Existential fixed point logic and liberal Datalog. Zbl 1169.68501 Blass, Andreas; Gurevich, Yuri 1 2008 Interactive small-step algorithms. I: Axiomatization. Zbl 1132.68029 Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin 8 2007 Background of computation. Zbl 1169.68353 Blass, Andreas; Gurevich, Yuri 4 2007 Inaccessible cardinals without the axiom of choice. Zbl 1116.03045 Blass, Andreas; Dimitriou, Ioanna M.; Löwe, Benedikt 3 2007 Interactive small-step algorithms. II: Abstract state machines and the characterization theorem. Zbl 1132.68030 Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin 2 2007 Ordinary interactive small-step algorithms. II. Zbl 1367.68095 Blass, Andreas; Gurevich, Yuri 2 2007 Zero-one laws: thesauri and parametric conditions. Zbl 1169.03347 Blass, Andreas; Gurevich, Yuri 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 The number of near-coherence classes of ultrafilters is either finite or \(2^{\mathfrak c}\). Zbl 1182.03076 Banakh, Taras; Blass, Andreas 7 2006 Ordinary interactive small-step algorithms. I. Zbl 1367.68094 Blass, Andreas; Gurevich, Yuri 7 2006 Algorithms: a quest for absolute definitions. Zbl 1110.03023 Blass, Andreas; Gurevich, Yuri 3 2006 Some questions arising from Hindman’s theorem. Zbl 1084.05008 Blass, Andreas 6 2005 Random orders and gambler’s ruin. Zbl 1075.05004 Blass, Andreas; Braun, Gábor 3 2005 Unsplit families, dominating families, and ultrafilters. Zbl 1084.03038 Blass, Andreas 1 2005 Special families of sets and Baer-Specker groups. Zbl 1090.03026 Blass, Andreas; Irwin, John 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 19 2003 Algorithms: a quest for absolute definitions. Zbl 1169.68408 Blass, Andreas; Gurevich, Yuri 7 2003 Strong extension axioms and Shelah’s zero-one law for choiceless polynomial time. Zbl 1045.03039 Blass, Andreas; Gurevich, Yuri 5 2003 Resource consciousness in classical logic. Zbl 1038.03009 Blass, Andreas 1 2003 Homotopy and homology of finite lattices. Zbl 1025.06002 Blass, Andreas 1 2003 On polynomial time computation over unordered structures. Zbl 1020.03038 Blass, Andreas; Gurevich, Yuri; Shelah, Saharon 18 2002 Specker’s theorem for Nöbeling’s group. Zbl 0998.20047 Blass, Andreas 3 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 3 2002 Abstract state machines and computationally complete query languages. Zbl 1009.68030 Blass, Andreas; Gurevich, Yuri; Van den Bussche, Jan 3 2002 Pairwise testing. Zbl 1169.68352 Blass, Andreas; Gurevich, Yuri 2 2002 Algorithms vs. machines. Zbl 1024.68101 Blass, Andreas; Gurevich, Yuri 2 2002 Nearly adequate sets. Zbl 1013.03054 Blass, Andreas 2 2002 A note on extensions of asymptotic density. Zbl 0992.28002 Blass, A.; Frankiewicz, R.; Plebanek, G.; Ryll-Nardzewski, C. 18 2001 The underlying logic of Hoare logic. Zbl 1012.03514 Blass, Andreas; Gurevich, Yuri 3 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 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 6 2000 Background, reserve, and Gandy machines. Zbl 0973.03053 Blass, Andreas; Gurevich, Yuri 5 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 26 1999 On the cofinality of ultrapowers. Zbl 0930.03060 Blass, Andreas; Mildenberger, Heike 17 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. 21 1998 Möbius functions of lattices. Zbl 0872.06004 Blass, Andreas; Sagan, Bruce E. 32 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 14 1995 Seven trees in one. Zbl 0846.18002 Blass, Andreas 11 1995 Questions and answers – a category arising in linear logic, complexity theory, and set theory. Zbl 0823.03039 Blass, Andreas 8 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 31 1994 Cardinal characteristics and the product of countably many infinite cyclic groups. Zbl 0816.20047 Blass, Andreas 10 1994 A faithful modal interpretation of propositional ontology. Zbl 0809.03014 Blass, Andreas 2 1994 Is game semantics necessary? Zbl 0953.03066 Blass, A. 1 1994 On the divisible parts of quotient groups. Zbl 0823.20057 Blass, Andreas 1 1994 Ultrafilters: Where topological dynamics = algebra = combinatorics. Zbl 0856.54042 Blass, Andreas 21 1993 Simple cardinal characteristics of the continuum. Zbl 0828.03019 Blass, Andreas 12 1993 Randomizing reductions of search problems. Zbl 0789.68056 Blass, Andreas; Gurevich, Yuri 8 1993 A game semantics for linear logic. Zbl 0763.03008 Blass, Andreas 67 1992 ...and 73 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,274 Authors 73 Shelah, Saharon 43 Blass, Andreas Raphael 34 Zdoms’kyĭ, Lyubomyr Sergiĭovych 27 Tsaban, Boaz 26 Brendle, Jörg 21 Banakh, Taras Onufrievich 21 Tachtsis, Eleftherios 20 Gurevich, Yuri 20 Hrušák, Michael 19 Mildenberger, Heike 17 Fischer, Vera 16 Japaridze, Giorgi 14 Guzmán González, Osvaldo 14 Repovš, Dušan D. 13 Hindman, Neil 13 Raghavan, Dilip 12 Brian, William Rea 11 Dobrinen, Natasha L. 11 Sagan, Bruce Eli 11 Todorcevic, Stevo B. 10 Dawar, Anuj 10 Dow, Alan S. 10 Garti, Shimon 10 Goldstern, Martin Robert 10 Grädel, Erich 10 Mejía, Diego Alejandro 10 Schewe, Klaus-Dieter 9 Hemaspaandra, Lane A. 9 Keremedis, Kyriakos 8 Caramello, Olivia 8 Kellner, Jakob 8 Laflamme, Claude 8 Miller, Arnold W. 7 Aguilera, Juan Pablo 7 García-Ferreira, Salvador 7 Protasov, Igor Volodymyrovych 7 Sobota, Damian 7 Steprāns, Juris 7 Tomita, Artur Hideyuki 7 Zhang, Shuguo 6 Bardyla, Serhii 6 Dershowitz, Nachum 6 Fernández Bretón, David José 6 Ferrarotti, Flavio Antonio 6 Friedman, Sy-David 6 Geschke, Stefan 6 Hamkins, Joel David 6 Kanellopoulos, Vassilis 6 Karagila, Asaf 6 Montoya, Diana Carolina 6 Rodrigues, Vinicius De Oliveira 6 Strauss, Dona 5 Borodulin-Nadzieja, Piotr 5 Brunner, Norbert 5 Carlucci, Lorenzo 5 Di Nasso, Mauro 5 Dodos, Pandelis 5 Glaßer, Christian 5 Grohe, Martin 5 Hallam, Joshua W. 5 Hathaway, Dan 5 Howard, Paul E. 5 Johnstone, Peter T. 5 Ramos-García, Ulises Ariet 5 Santocanale, Luigi 5 Scedrov, Andre 5 Scheepers, Marion 5 Sevenster, Merlijn 5 Switzer, Corey Bacal 5 Szewczak, Piotr 5 Verner, Jonathan L. 4 Anderson, Daron 4 Banaschewski, Bernhard 4 Bezhanishvili, Guram 4 Chodounský, David 4 Compton, Kevin J. 4 Farkas, Barnabás 4 Forti, Marco 4 Göbel, Rüdiger 4 Gottlob, Georg 4 He, Jialiang 4 Herrlich, Horst 4 Kolaitis, Phokion G. 4 Kunisada, Ryoichi 4 Kurilić, Miloš S. 4 Larson, Paul B. 4 Leivant, Daniel M. 4 Lipparini, Paolo 4 Marcone, Alberto 4 McCutcheon, Randall G. 4 Minami, Hiroaki 4 Monk, James Donald 4 Morillon, Marianne 4 Rodríguez Ruiz, José 4 Rossman, Benjamin 4 Shore, Richard Arnold 4 Smythe, Iian B. 4 Solecki, Sławomir 4 Soukup, Dániel Tamás 4 Thomas, Hugh Ross ...and 1,174 more Authors all top 5 Cited in 225 Serials 110 Annals of Pure and Applied Logic 84 The Journal of Symbolic Logic 83 Topology and its Applications 71 Archive for Mathematical Logic 51 Proceedings of the American Mathematical Society 50 Theoretical Computer Science 44 Transactions of the American Mathematical Society 35 Mathematical Logic Quarterly (MLQ) 28 Fundamenta Mathematicae 25 Israel Journal of Mathematics 24 Discrete Mathematics 23 Advances in Mathematics 23 The Bulletin of Symbolic Logic 21 Journal of Pure and Applied Algebra 19 Information and Computation 17 Journal of Computer and System Sciences 15 Studia Logica 13 Journal of Combinatorial Theory. Series A 12 Algebra Universalis 11 Notre Dame Journal of Formal Logic 10 Semigroup Forum 9 Journal of Mathematical Logic 8 Discrete Applied Mathematics 8 Journal of Algebra 8 Order 8 The Electronic Journal of Combinatorics 8 Logical Methods in Computer Science 7 Commentationes Mathematicae Universitatis Carolinae 6 Journal of Mathematical Analysis and Applications 6 Monatshefte für Mathematik 6 Advances in Applied Mathematics 6 Topology Proceedings 5 Information Processing Letters 5 Mathematical Proceedings of the Cambridge Philosophical Society 5 Colloquium Mathematicum 5 Czechoslovak Mathematical Journal 5 Journal of Philosophical Logic 5 European Journal of Combinatorics 5 Acta Mathematica Hungarica 5 Journal of Mathematical Sciences (New York) 5 Theory of Computing Systems 5 The Review of Symbolic Logic 5 European Journal of Mathematics 4 Communications in Algebra 4 Journal of Combinatorial Theory. Series B 4 Journal of Number Theory 4 Mathematica Slovaca 4 Quaestiones Mathematicae 4 Siberian Mathematical Journal 4 Journal of Algebraic Combinatorics 4 Journal of the European Mathematical Society (JEMS) 4 Science China. Mathematics 3 Artificial Intelligence 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Rocky Mountain Journal of Mathematics 3 Canadian Mathematical Bulletin 3 Journal of Functional Analysis 3 Journal of Graph Theory 3 Mathematical Systems Theory 3 Synthese 3 Graphs and Combinatorics 3 Formal Aspects of Computing 3 MSCS. Mathematical Structures in Computer Science 3 Combinatorics, Probability and Computing 3 Séminaire Lotharingien de Combinatoire 3 Journal of Applied Analysis 3 ACM Transactions on Computational Logic 3 Journal of Applied Logic 3 Journal of Logical and Algebraic Methods in Programming 3 The Art of Discrete and Applied Mathematics 2 Mathematical Notes 2 Periodica Mathematica Hungarica 2 The Mathematical Intelligencer 2 Algebra and Logic 2 Bulletin of the London Mathematical Society 2 Compositio Mathematica 2 Integral Equations and Operator 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 Results in Mathematics 2 SIAM Journal on Computing 2 Journal of Complexity 2 Algorithmica 2 Journal of the American Mathematical Society 2 Mathematical and Computer Modelling 2 International Journal of Algebra and Computation 2 International Journal of Foundations of Computer Science 2 Designs, Codes and Cryptography 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 Tatra Mountains Mathematical Publications 2 Applied Categorical Structures 2 Turkish Journal of Mathematics 2 Filomat 2 Journal of Combinatorial Designs ...and 125 more Serials all top 5 Cited in 48 Fields 840 Mathematical logic and foundations (03-XX) 265 Computer science (68-XX) 263 General topology (54-XX) 224 Combinatorics (05-XX) 96 Order, lattices, ordered algebraic structures (06-XX) 77 Group theory and generalizations (20-XX) 70 Category theory; homological algebra (18-XX) 45 Topological groups, Lie groups (22-XX) 44 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 40 Functional analysis (46-XX) 39 Measure and integration (28-XX) 27 Number theory (11-XX) 25 Convex and discrete geometry (52-XX) 21 Dynamical systems and ergodic theory (37-XX) 20 Real functions (26-XX) 15 General and overarching topics; collections (00-XX) 15 Associative rings and algebras (16-XX) 13 History and biography (01-XX) 13 Information and communication theory, circuits (94-XX) 12 Commutative algebra (13-XX) 11 Probability theory and stochastic processes (60-XX) 11 Quantum theory (81-XX) 10 General algebraic systems (08-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 9 Operator theory (47-XX) 9 Manifolds and cell complexes (57-XX) 8 Sequences, series, summability (40-XX) 8 Algebraic topology (55-XX) 7 Operations research, mathematical programming (90-XX) 5 Geometry (51-XX) 5 Biology and other natural sciences (92-XX) 4 Field theory and polynomials (12-XX) 4 Algebraic geometry (14-XX) 3 Nonassociative rings and algebras (17-XX) 3 Partial differential equations (35-XX) 2 Differential geometry (53-XX) 2 Statistics (62-XX) 2 Numerical analysis (65-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 Mechanics of deformable solids (74-XX) 1 Statistical mechanics, structure of matter (82-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.