2015 - Fellow of the American Mathematical Society For contributions to logic, computer science, algebra, and geometry, as well as exposition and mentoring.
Andreas Blass focuses on Discrete mathematics, Combinatorics, Ultrafilter, Pure mathematics and Function. Discrete mathematics is a component of his Partially ordered set, Intermediate logic, Many-valued logic, Predicate logic and Dynamic logic studies. His work on Indifference graph, Chordal graph and Cardinality of the continuum as part of general Combinatorics research is frequently linked to T1 space and Sequential space, thereby connecting diverse disciplines of science.
His Ultrafilter study incorporates themes from Ultraproduct, Algebra over a field and Elementary equivalence. His Pure mathematics research integrates issues from Forcing, Continuum hypothesis and Hasse diagram. His Function study integrates concerns from other disciplines, such as Simple, Image, Bounding overwatch, Consistency and Calculus.
Andreas Blass mainly investigates Discrete mathematics, Combinatorics, Algebra, Pure mathematics and Theoretical computer science. Andreas Blass combines subjects such as Axiom of choice, Group and Calculus with his study of Discrete mathematics. The study of Combinatorics is intertwined with the study of Continuum in a number of ways.
His research on Algebra often connects related areas such as Algebra over a field. His work in Pure mathematics is not limited to one particular discipline; it also encompasses Topos theory. The various areas that Andreas Blass examines in his Theoretical computer science study include Computation, Abstract state machines and Search algorithm.
His scientific interests lie mostly in Theoretical computer science, Discrete mathematics, Calculus, Algebra and Algorithm. His biological study spans a wide range of topics, including Computation, Interval, Compression and Extension. His Discrete mathematics research includes themes of Distribution, Connection and Analytic proof.
In the subject of general Algebra, his work in Unification and Categorical logic is often linked to Geometric Brownian motion and Flatness, thereby combining diverse domains of study. His work on Abstract state machines as part of his general Algorithm study is frequently connected to Very-large-scale integration, Grid and Single chip, thereby bridging the divide between different branches of science. His Function research also works with subjects such as
His primary scientific interests are in Theoretical computer science, Pure mathematics, Algorithm, Abstract state machines and Calculus. His Theoretical computer science research is multidisciplinary, relying on both Differential, Computation and Artificial intelligence. His Pure mathematics research includes elements of Property, Mathematical proof, Construct and Forcing.
The Algorithm study which covers Representation theorem that intersects with Function. His studies in Function integrate themes in fields like Natural number, Combinatorics, Independence, Set and Complement. The Abstract state machines study combines topics in areas such as Sequential algorithm, State and Subroutine.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Combinatorial Cardinal Characteristics of the Continuum
Andreas Blass.
(2010)
Combinatorial Cardinal Characteristics of the Continuum
Andreas Blass.
(2010)
A game semantics for linear logic
Andreas Blass.
Annals of Pure and Applied Logic (1992)
A game semantics for linear logic
Andreas Blass.
Annals of Pure and Applied Logic (1992)
Abstract state machines capture parallel algorithms
Andreas Blass;Yuri Gurevich.
ACM Transactions on Computational Logic (2003)
Abstract state machines capture parallel algorithms
Andreas Blass;Yuri Gurevich.
ACM Transactions on Computational Logic (2003)
On the unique satisfiability problem
Andreas Blass;Yuri Gurevich.
Information & Computation (1982)
On the unique satisfiability problem
Andreas Blass;Yuri Gurevich.
Information & Computation (1982)
There may be simple Pℵ1 and Pℵ2-points and the Rudin-Keisler ordering may be downward directed
Andreas Blass;Saharon Shelah.
Annals of Pure and Applied Logic (1987)
There may be simple Pℵ1 and Pℵ2-points and the Rudin-Keisler ordering may be downward directed
Andreas Blass;Saharon Shelah.
Annals of Pure and Applied Logic (1987)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Microsoft (United States)
Hebrew University of Jerusalem
Tel Aviv University
New Mexico State University
Humboldt-Universität zu Berlin
Michigan State University
Microsoft (United States)
University of Pennsylvania
The University of Texas at El Paso
Microsoft (United States)
University of Bremen
Huazhong University of Science and Technology
Clausthal University of Technology
University of Tokyo
University of Illinois at Urbana-Champaign
Agency for Science, Technology and Research
Harvard University
Natural History Museum
State University of Maringa
University of Denver
University of Lausanne
Chang Gung University
National Marine Fisheries Service
Keio University
Université Laval
Institute Curie