Andreas Blass

From MaRDI portal
Person:195660

Available identifiers

zbMath Open blass.andreas-raphaelWikidataQ4755386 ScholiaQ4755386MaRDI QIDQ195660

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61908842024-02-06Paper
Primal logic of information2023-07-12Paper
https://portal.mardi4nfdi.de/entity/Q61001922023-06-22Paper
Software science view on quantum circuit algorithms2023-05-19Paper
Negative probabilities: what are they for? *2023-02-10Paper
Functional Thesauri, Classifying Topoi, Unification, and Flatness2022-11-09Paper
Quantum circuits with classical channels and the principle of deferred measurements2022-05-17Paper
Wigner's quasidistribution and Dirac's kets2022-04-28Paper
https://portal.mardi4nfdi.de/entity/Q33849272021-12-17Paper
Simple circuit simulations of classical and quantum Turing machines2021-11-21Paper
Quantum circuits with classical channels and the principle of deferred measurements2021-07-17Paper
Infinitary Partition Properties of Sums of Selective Ultrafilters2021-06-15Paper
Witness algebra and anyon braiding2020-12-08Paper
Negative probabilities: What they are and what they are for2020-09-22Paper
On Quantum Computation, Anyons, and Categories2020-08-06Paper
Introduction to Secret-Sharing2020-02-04Paper
Braided distributivity2020-01-22Paper
https://portal.mardi4nfdi.de/entity/Q52078792020-01-13Paper
https://portal.mardi4nfdi.de/entity/Q52078942020-01-13Paper
The rearrangement number2019-12-18Paper
https://portal.mardi4nfdi.de/entity/Q52039302019-12-09Paper
https://portal.mardi4nfdi.de/entity/Q49671792019-07-03Paper
https://portal.mardi4nfdi.de/entity/Q49672302019-07-03Paper
https://portal.mardi4nfdi.de/entity/Q49672442019-07-03Paper
Surveyable sets2018-10-08Paper
Ordinary interactive small-step algorithms, I2017-07-12Paper
Ordinary interactive small-step algorithms, II2017-07-12Paper
Ordinary interactive small-step algorithms, III2017-07-12Paper
Program termination and well partial orderings2017-07-12Paper
Abstract state machines capture parallel algorithms2017-07-12Paper
Inadequacy of computable loop invariants2017-06-13Paper
Abstract state machines capture parallel algorithms2017-06-13Paper
The Rearrangement Number2016-12-22Paper
Partitions and conservativity2016-10-24Paper
Symbioses between mathematical logic and computer science2016-07-22Paper
A variation on the zero-one law2016-06-09Paper
Finite Embeddability of Sets and Ultrafilters2016-02-24Paper
Optimal ancilla-free Pauli+V circuits for axial rotations2016-01-12Paper
Composants of the Stone-Čech remainder of the reals2015-11-09Paper
THE NEXT BEST THING TO A P-POINT2015-11-09Paper
Existential Fixed-Point Logic as a Fragment of Second-Order Logic2015-09-22Paper
Persistent queries in the behavioral theory of algorithms2015-09-17Paper
Ancilla-approximable quantum state transformations2015-05-15Paper
Zero-One Laws: Thesauri and Parametric Conditions2015-04-17Paper
Abstract Hilbertian deductive systems, infon logic, and Datalog2014-01-16Paper
On strong $P$-points2013-07-05Paper
https://portal.mardi4nfdi.de/entity/Q49041412013-01-28Paper
Quasi-selective ultrafilters and asymptotic numerosities2012-10-16Paper
Errata to: ``Quasi-varieties, congruences, and generalized Dowling lattices2012-10-16Paper
Developments from Ernst Specker's work in set theory2012-09-21Paper
https://portal.mardi4nfdi.de/entity/Q31183902012-03-02Paper
https://portal.mardi4nfdi.de/entity/Q29983442011-05-18Paper
https://portal.mardi4nfdi.de/entity/Q30591922010-12-08Paper
Combinatorial Cardinal Characteristics of the Continuum2010-11-05Paper
Yuri, Logic, and Computer Science2010-09-03Paper
Existential Fixed-Point Logic, Universal Quantifiers, and Topoi2010-09-03Paper
Exact Exploration and Hanging Algorithms2010-09-03Paper
Content-dependent chunking for differential compression, the local maximum approach2010-05-25Paper
Basic Subgroups and Freeness, A Counterexample2010-01-13Paper
Homogeneous sets from several ultrafilters2009-11-05Paper
https://portal.mardi4nfdi.de/entity/Q33965612009-09-19Paper
https://portal.mardi4nfdi.de/entity/Q33966072009-09-19Paper
https://portal.mardi4nfdi.de/entity/Q33966172009-09-19Paper
https://portal.mardi4nfdi.de/entity/Q33966392009-09-19Paper
https://portal.mardi4nfdi.de/entity/Q33959462009-09-15Paper
https://portal.mardi4nfdi.de/entity/Q33959802009-09-15Paper
https://portal.mardi4nfdi.de/entity/Q33960122009-09-15Paper
https://portal.mardi4nfdi.de/entity/Q51909272009-07-27Paper
When are Two Algorithms the Same?2009-06-17Paper
One Useful Logic That Defines Its Own Truth2009-02-03Paper
https://portal.mardi4nfdi.de/entity/Q53013572008-04-29Paper
Generalizing Hartogs' Trichotomy Theorem2008-04-04Paper
Interactive Small-Step Algorithms I: Axiomatization2008-04-01Paper
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem2008-04-01Paper
Why Sets?2008-03-25Paper
https://portal.mardi4nfdi.de/entity/Q54394492008-02-11Paper
https://portal.mardi4nfdi.de/entity/Q52956992007-07-30Paper
Inaccessible cardinals without the axiom of choice2007-05-30Paper
Play to Test2007-05-02Paper
https://portal.mardi4nfdi.de/entity/Q34250642007-03-05Paper
https://portal.mardi4nfdi.de/entity/Q54937402006-10-16Paper
https://portal.mardi4nfdi.de/entity/Q33700692006-02-06Paper
https://portal.mardi4nfdi.de/entity/Q57119382005-12-08Paper
Foundations of Genetic Algorithms2005-11-11Paper
Random orders and gambler's ruin2005-11-01Paper
DIVISIBILITY OF DEDEKIND FINITE SETS2005-09-29Paper
Special Families of Sets and Baer-Specker Groups2005-08-25Paper
Ultrafilters and Partial Products of Infinite Cyclic Groups2005-08-25Paper
https://portal.mardi4nfdi.de/entity/Q46657292005-04-11Paper
https://portal.mardi4nfdi.de/entity/Q46657332005-04-11Paper
https://portal.mardi4nfdi.de/entity/Q46657342005-04-11Paper
https://portal.mardi4nfdi.de/entity/Q46657362005-04-11Paper
Is There a Core Class for Almost Free Groups of Size ℵ1?2005-01-14Paper
https://portal.mardi4nfdi.de/entity/Q48193742004-09-24Paper
Strong extension axioms and Shelah's zero-one law for choiceless polynomial time2004-03-25Paper
https://portal.mardi4nfdi.de/entity/Q44536372004-03-07Paper
On polynomial time computation over unordered structures2003-10-06Paper
Homotopy and homology of finite lattices2003-09-24Paper
FREE SUBGROUPS OF THE BAER-SPECKER GROUP2003-08-10Paper
https://portal.mardi4nfdi.de/entity/Q47904042003-05-21Paper
Sperner spaces and first‐order logic2003-04-10Paper
Abstract state machines and computationally complete query languages2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q47817592002-11-13Paper
https://portal.mardi4nfdi.de/entity/Q31528012002-10-23Paper
https://portal.mardi4nfdi.de/entity/Q27387472002-07-16Paper
Addendum to ``Choiceless polynomial time2002-03-25Paper
Specker’s theorem for Nöbeling’s group2002-03-19Paper
Needed reals and recursion in generic reals2002-03-12Paper
https://portal.mardi4nfdi.de/entity/Q27536642001-12-03Paper
The Logic of Choice2001-11-23Paper
https://portal.mardi4nfdi.de/entity/Q27536632001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q27536992001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q27537002001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q45057002001-09-04Paper
A note on extensions of asymptotic density2001-07-30Paper
https://portal.mardi4nfdi.de/entity/Q27292292001-07-18Paper
https://portal.mardi4nfdi.de/entity/Q45204962001-02-26Paper
https://portal.mardi4nfdi.de/entity/Q45252752001-01-22Paper
https://portal.mardi4nfdi.de/entity/Q46991972000-06-13Paper
Choiceless polynomial time2000-04-13Paper
https://portal.mardi4nfdi.de/entity/Q46991962000-04-11Paper
On the cofinality of ultrapowers2000-02-15Paper
Characteristic and Ehrhart polynomials1998-11-08Paper
https://portal.mardi4nfdi.de/entity/Q31274281998-07-15Paper
Some semantical aspects of linear logic1998-02-17Paper
Möbius functions of lattices1997-10-06Paper
https://portal.mardi4nfdi.de/entity/Q56887011997-08-04Paper
https://portal.mardi4nfdi.de/entity/Q56887021997-07-16Paper
https://portal.mardi4nfdi.de/entity/Q38377251997-03-11Paper
Quasi-varieties, congruences, and generalized Dowling lattices1997-01-21Paper
An induction principle and pigeonhole principles for K-finite sets1996-10-27Paper
Seven trees in one1996-09-22Paper
On a problem of H. N. Gupta1996-08-05Paper
https://portal.mardi4nfdi.de/entity/Q48633291996-05-27Paper
https://portal.mardi4nfdi.de/entity/Q48686011996-05-05Paper
https://portal.mardi4nfdi.de/entity/Q48658591996-04-18Paper
Matrix Transformation Is Complete for the Average Case1996-01-08Paper
https://portal.mardi4nfdi.de/entity/Q48485681995-12-18Paper
https://portal.mardi4nfdi.de/entity/Q48429681995-10-31Paper
Cardinal characteristics and the product of countably many infinite cyclic groups1995-07-17Paper
https://portal.mardi4nfdi.de/entity/Q43265011995-04-05Paper
https://portal.mardi4nfdi.de/entity/Q43155791995-02-09Paper
On exponentiation of \(G\)-sets1995-02-01Paper
https://portal.mardi4nfdi.de/entity/Q43138581994-11-29Paper
Partition Theorems for Spaces of Variable Words1994-06-15Paper
https://portal.mardi4nfdi.de/entity/Q42816801994-03-10Paper
Randomizing Reductions of Search Problems1993-12-20Paper
Complete topoi representing models of set theory1992-09-27Paper
A game semantics for linear logic1992-09-27Paper
Diverse homogeneous sets1992-06-28Paper
Groupwise density and related cardinals1990-01-01Paper
Infinitary combinatorics and modal logic1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34840001990-01-01Paper
Near coherence of filters. III: A simplified consistency proof1989-01-01Paper
On matijasevitch's nontraditional approach to search problems1989-01-01Paper
Classifying topoi and the axiom of infinity1989-01-01Paper
Ultrafilters with small generating sets1989-01-01Paper
Consistency results about filters and the number of inequivalent growth types1989-01-01Paper
Freyd’s models for the independence of the axiom of choice1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47324621989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47338641989-01-01Paper
Selctive ultrafilters and homogeneity1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47297841988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q52030031988-01-01Paper
There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed1987-01-01Paper
Prime ideals yield almost maximal ideals1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37722061987-01-01Paper
On Strongly Summable Ultrafilters and Union Ultrafilters1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37911231987-01-01Paper
Near Coherence of Filters. II: Applications to Operator Ideals, the Stone-Cech Remainder of a Half-Line, Order Ideals of Sequences, and Slenderness of Groups1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37971801987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38015461987-01-01Paper
Functions on universal algebras1986-01-01Paper
Free subgroups of the homeomorphism group of the reals1986-01-01Paper
Henkin quantifiers and complete problems1986-01-01Paper
Near coherence of filters. I: Cofinal equivalence of models of arithmetic1986-01-01Paper
Bijective proofs of two broken circuit theorems1986-01-01Paper
On the Egoroff Property of Pointwise Convergent Sequences of Functions1986-01-01Paper
Small decidable sheaves1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36908071985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37391421985-01-01Paper
A zero-one law for logic with a fixed-point operator1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32221801984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32221841984-01-01Paper
Equivalence Relations, Invariants, and Normal Forms1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33349861984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33443361984-01-01Paper
There are not exactly five objects1984-01-01Paper
Exact functors, local connectedness and measurable cardinals1984-01-01Paper
Classifying topoi and finite forcing1983-01-01Paper
Boolean classifying topoi1983-01-01Paper
Cohomology Detects Failures of the Axiom of Choice1983-01-01Paper
Words, free algebras, and coequalizers1983-01-01Paper
On the unique satisfiability problem1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47428161982-01-01Paper
Degree Sequences of Infinite Graphs1981-01-01Paper
Some initial segments of the Rudin-Keisler ordering1981-01-01Paper
A Partition Theorem For Perfect Sets1981-01-01Paper
Paley graphs satisfy all first-order adjacency axioms1981-01-01Paper
The model of set theory generated by countably many generic reals1981-01-01Paper
Which trees are link graphs?1980-01-01Paper
Conservative extensions of models of arithmetic1980-01-01Paper
Natural Endomorphisms of Burnside Rings1979-01-01Paper
Properties of almost all graphs and complexes1979-01-01Paper
Injectivity, Projectivity, and the Axiom of Choice1979-01-01Paper
A Characterization and Sum Decomposition for Operator Ideals1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38808321978-01-01Paper
Ramsey's theorem in the hierarchy of choice principles1978-01-01Paper
Graphs with unique maximal clumpings1978-01-01Paper
Amalgamation of nonstandard models of arithmetic1978-01-01Paper
Two closed categories of filters1977-01-01Paper
End Extensions, Conservative Extensions, and the Rudin-Frolik Ordering1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41412491977-01-01Paper
Exact functors and measurable cardinals1976-01-01Paper
Partial Mielnik Spaces and Characterization of Uniformly Convex Spaces1976-01-01Paper
Cores of Π11 sets of reals1975-01-01Paper
A Forcing Proof of the Kechris-Moschovakis Constructibility Theorem1975-01-01Paper
Equivalence of Two Strong Forms of Determinacy1975-01-01Paper
An application of universal algebra in group theory1974-01-01Paper
On certain types and models for arithmetic1974-01-01Paper
An axiomatic approach to rank in model theory1974-01-01Paper
Ultrafilter Mappings and Their Dedekind Cuts1974-01-01Paper
A natural theory without a prime model1973-01-01Paper
Determinateness and Continuity1973-01-01Paper
The Rudin-Keisler Ordering of P-Points1973-01-01Paper
Complexity of winning strategies1972-01-01Paper
Degrees of indeterminacy of games1972-01-01Paper
The intersection of nonstandard models of arithmetic1972-01-01Paper
Theories without countable models1972-01-01Paper
On the inadequacy of inner models1972-01-01Paper
Weak Partition Relations1972-01-01Paper
A Note on Idempotents in Banach Algebras1971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56327361971-01-01Paper
On the Location of Singularities of Analytic Functions1970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56072921970-01-01Paper
On Certain Classes of Associative Rings1968-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Andreas Blass