Publication | Date of Publication | Type |
---|
https://portal.mardi4nfdi.de/entity/Q6190884 | 2024-02-06 | Paper |
Primal logic of information | 2023-07-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q6100192 | 2023-06-22 | Paper |
Software science view on quantum circuit algorithms | 2023-05-19 | Paper |
Negative probabilities: what are they for? * | 2023-02-10 | Paper |
Functional Thesauri, Classifying Topoi, Unification, and Flatness | 2022-11-09 | Paper |
Quantum circuits with classical channels and the principle of deferred measurements | 2022-05-17 | Paper |
Wigner's quasidistribution and Dirac's kets | 2022-04-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q3384927 | 2021-12-17 | Paper |
Simple circuit simulations of classical and quantum Turing machines | 2021-11-21 | Paper |
Quantum circuits with classical channels and the principle of deferred measurements | 2021-07-17 | Paper |
Infinitary Partition Properties of Sums of Selective Ultrafilters | 2021-06-15 | Paper |
Witness algebra and anyon braiding | 2020-12-08 | Paper |
Negative probabilities: What they are and what they are for | 2020-09-22 | Paper |
On Quantum Computation, Anyons, and Categories | 2020-08-06 | Paper |
Introduction to Secret-Sharing | 2020-02-04 | Paper |
Braided distributivity | 2020-01-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q5207879 | 2020-01-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q5207894 | 2020-01-13 | Paper |
The rearrangement number | 2019-12-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q5203930 | 2019-12-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4967179 | 2019-07-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q4967230 | 2019-07-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q4967244 | 2019-07-03 | Paper |
Surveyable sets | 2018-10-08 | Paper |
Ordinary interactive small-step algorithms, I | 2017-07-12 | Paper |
Ordinary interactive small-step algorithms, II | 2017-07-12 | Paper |
Ordinary interactive small-step algorithms, III | 2017-07-12 | Paper |
Program termination and well partial orderings | 2017-07-12 | Paper |
Abstract state machines capture parallel algorithms | 2017-07-12 | Paper |
Inadequacy of computable loop invariants | 2017-06-13 | Paper |
Abstract state machines capture parallel algorithms | 2017-06-13 | Paper |
The Rearrangement Number | 2016-12-22 | Paper |
Partitions and conservativity | 2016-10-24 | Paper |
Symbioses between mathematical logic and computer science | 2016-07-22 | Paper |
A variation on the zero-one law | 2016-06-09 | Paper |
Finite Embeddability of Sets and Ultrafilters | 2016-02-24 | Paper |
Optimal ancilla-free Pauli+V circuits for axial rotations | 2016-01-12 | Paper |
Composants of the Stone-Čech remainder of the reals | 2015-11-09 | Paper |
THE NEXT BEST THING TO A P-POINT | 2015-11-09 | Paper |
Existential Fixed-Point Logic as a Fragment of Second-Order Logic | 2015-09-22 | Paper |
Persistent queries in the behavioral theory of algorithms | 2015-09-17 | Paper |
Ancilla-approximable quantum state transformations | 2015-05-15 | Paper |
Zero-One Laws: Thesauri and Parametric Conditions | 2015-04-17 | Paper |
Abstract Hilbertian deductive systems, infon logic, and Datalog | 2014-01-16 | Paper |
On strong $P$-points | 2013-07-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4904141 | 2013-01-28 | Paper |
Quasi-selective ultrafilters and asymptotic numerosities | 2012-10-16 | Paper |
Errata to: ``Quasi-varieties, congruences, and generalized Dowling lattices | 2012-10-16 | Paper |
Developments from Ernst Specker's work in set theory | 2012-09-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q3118390 | 2012-03-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q2998344 | 2011-05-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q3059192 | 2010-12-08 | Paper |
Combinatorial Cardinal Characteristics of the Continuum | 2010-11-05 | Paper |
Yuri, Logic, and Computer Science | 2010-09-03 | Paper |
Existential Fixed-Point Logic, Universal Quantifiers, and Topoi | 2010-09-03 | Paper |
Exact Exploration and Hanging Algorithms | 2010-09-03 | Paper |
Content-dependent chunking for differential compression, the local maximum approach | 2010-05-25 | Paper |
Basic Subgroups and Freeness, A Counterexample | 2010-01-13 | Paper |
Homogeneous sets from several ultrafilters | 2009-11-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q3396561 | 2009-09-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3396607 | 2009-09-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3396617 | 2009-09-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3396639 | 2009-09-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3395946 | 2009-09-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q3395980 | 2009-09-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q3396012 | 2009-09-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q5190927 | 2009-07-27 | Paper |
When are Two Algorithms the Same? | 2009-06-17 | Paper |
One Useful Logic That Defines Its Own Truth | 2009-02-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q5301357 | 2008-04-29 | Paper |
Generalizing Hartogs' Trichotomy Theorem | 2008-04-04 | Paper |
Interactive Small-Step Algorithms I: Axiomatization | 2008-04-01 | Paper |
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem | 2008-04-01 | Paper |
Why Sets? | 2008-03-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q5439449 | 2008-02-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q5295699 | 2007-07-30 | Paper |
Inaccessible cardinals without the axiom of choice | 2007-05-30 | Paper |
Play to Test | 2007-05-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q3425064 | 2007-03-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q5493740 | 2006-10-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q3370069 | 2006-02-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q5711938 | 2005-12-08 | Paper |
Foundations of Genetic Algorithms | 2005-11-11 | Paper |
Random orders and gambler's ruin | 2005-11-01 | Paper |
DIVISIBILITY OF DEDEKIND FINITE SETS | 2005-09-29 | Paper |
Special Families of Sets and Baer-Specker Groups | 2005-08-25 | Paper |
Ultrafilters and Partial Products of Infinite Cyclic Groups | 2005-08-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4665729 | 2005-04-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4665733 | 2005-04-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4665734 | 2005-04-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4665736 | 2005-04-11 | Paper |
Is There a Core Class for Almost Free Groups of Size ℵ1? | 2005-01-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4819374 | 2004-09-24 | Paper |
Strong extension axioms and Shelah's zero-one law for choiceless polynomial time | 2004-03-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4453637 | 2004-03-07 | Paper |
On polynomial time computation over unordered structures | 2003-10-06 | Paper |
Homotopy and homology of finite lattices | 2003-09-24 | Paper |
FREE SUBGROUPS OF THE BAER-SPECKER GROUP | 2003-08-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4790404 | 2003-05-21 | Paper |
Sperner spaces and first‐order logic | 2003-04-10 | Paper |
Abstract state machines and computationally complete query languages | 2003-01-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4781759 | 2002-11-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q3152801 | 2002-10-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q2738747 | 2002-07-16 | Paper |
Addendum to ``Choiceless polynomial time | 2002-03-25 | Paper |
Specker’s theorem for Nöbeling’s group | 2002-03-19 | Paper |
Needed reals and recursion in generic reals | 2002-03-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q2753664 | 2001-12-03 | Paper |
The Logic of Choice | 2001-11-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q2753663 | 2001-11-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2753699 | 2001-11-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2753700 | 2001-11-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4505700 | 2001-09-04 | Paper |
A note on extensions of asymptotic density | 2001-07-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q2729229 | 2001-07-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4520496 | 2001-02-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q4525275 | 2001-01-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4699197 | 2000-06-13 | Paper |
Choiceless polynomial time | 2000-04-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4699196 | 2000-04-11 | Paper |
On the cofinality of ultrapowers | 2000-02-15 | Paper |
Characteristic and Ehrhart polynomials | 1998-11-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q3127428 | 1998-07-15 | Paper |
Some semantical aspects of linear logic | 1998-02-17 | Paper |
Möbius functions of lattices | 1997-10-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q5688701 | 1997-08-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q5688702 | 1997-07-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q3837725 | 1997-03-11 | Paper |
Quasi-varieties, congruences, and generalized Dowling lattices | 1997-01-21 | Paper |
An induction principle and pigeonhole principles for K-finite sets | 1996-10-27 | Paper |
Seven trees in one | 1996-09-22 | Paper |
On a problem of H. N. Gupta | 1996-08-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4863329 | 1996-05-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4868601 | 1996-05-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4865859 | 1996-04-18 | Paper |
Matrix Transformation Is Complete for the Average Case | 1996-01-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q4848568 | 1995-12-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4842968 | 1995-10-31 | Paper |
Cardinal characteristics and the product of countably many infinite cyclic groups | 1995-07-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4326501 | 1995-04-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4315579 | 1995-02-09 | Paper |
On exponentiation of \(G\)-sets | 1995-02-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4313858 | 1994-11-29 | Paper |
Partition Theorems for Spaces of Variable Words | 1994-06-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4281680 | 1994-03-10 | Paper |
Randomizing Reductions of Search Problems | 1993-12-20 | Paper |
Complete topoi representing models of set theory | 1992-09-27 | Paper |
A game semantics for linear logic | 1992-09-27 | Paper |
Diverse homogeneous sets | 1992-06-28 | Paper |
Groupwise density and related cardinals | 1990-01-01 | Paper |
Infinitary combinatorics and modal logic | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3484000 | 1990-01-01 | Paper |
Near coherence of filters. III: A simplified consistency proof | 1989-01-01 | Paper |
On matijasevitch's nontraditional approach to search problems | 1989-01-01 | Paper |
Classifying topoi and the axiom of infinity | 1989-01-01 | Paper |
Ultrafilters with small generating sets | 1989-01-01 | Paper |
Consistency results about filters and the number of inequivalent growth types | 1989-01-01 | Paper |
Freyd’s models for the independence of the axiom of choice | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4732462 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4733864 | 1989-01-01 | Paper |
Selctive ultrafilters and homogeneity | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4729784 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5203003 | 1988-01-01 | Paper |
There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed | 1987-01-01 | Paper |
Prime ideals yield almost maximal ideals | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3772206 | 1987-01-01 | Paper |
On Strongly Summable Ultrafilters and Union Ultrafilters | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3791123 | 1987-01-01 | Paper |
Near Coherence of Filters. II: Applications to Operator Ideals, the Stone-Cech Remainder of a Half-Line, Order Ideals of Sequences, and Slenderness of Groups | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3797180 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3801546 | 1987-01-01 | Paper |
Functions on universal algebras | 1986-01-01 | Paper |
Free subgroups of the homeomorphism group of the reals | 1986-01-01 | Paper |
Henkin quantifiers and complete problems | 1986-01-01 | Paper |
Near coherence of filters. I: Cofinal equivalence of models of arithmetic | 1986-01-01 | Paper |
Bijective proofs of two broken circuit theorems | 1986-01-01 | Paper |
On the Egoroff Property of Pointwise Convergent Sequences of Functions | 1986-01-01 | Paper |
Small decidable sheaves | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3690807 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3739142 | 1985-01-01 | Paper |
A zero-one law for logic with a fixed-point operator | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3222180 | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3222184 | 1984-01-01 | Paper |
Equivalence Relations, Invariants, and Normal Forms | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3334986 | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3344336 | 1984-01-01 | Paper |
There are not exactly five objects | 1984-01-01 | Paper |
Exact functors, local connectedness and measurable cardinals | 1984-01-01 | Paper |
Classifying topoi and finite forcing | 1983-01-01 | Paper |
Boolean classifying topoi | 1983-01-01 | Paper |
Cohomology Detects Failures of the Axiom of Choice | 1983-01-01 | Paper |
Words, free algebras, and coequalizers | 1983-01-01 | Paper |
On the unique satisfiability problem | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4742816 | 1982-01-01 | Paper |
Degree Sequences of Infinite Graphs | 1981-01-01 | Paper |
Some initial segments of the Rudin-Keisler ordering | 1981-01-01 | Paper |
A Partition Theorem For Perfect Sets | 1981-01-01 | Paper |
Paley graphs satisfy all first-order adjacency axioms | 1981-01-01 | Paper |
The model of set theory generated by countably many generic reals | 1981-01-01 | Paper |
Which trees are link graphs? | 1980-01-01 | Paper |
Conservative extensions of models of arithmetic | 1980-01-01 | Paper |
Natural Endomorphisms of Burnside Rings | 1979-01-01 | Paper |
Properties of almost all graphs and complexes | 1979-01-01 | Paper |
Injectivity, Projectivity, and the Axiom of Choice | 1979-01-01 | Paper |
A Characterization and Sum Decomposition for Operator Ideals | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3880832 | 1978-01-01 | Paper |
Ramsey's theorem in the hierarchy of choice principles | 1978-01-01 | Paper |
Graphs with unique maximal clumpings | 1978-01-01 | Paper |
Amalgamation of nonstandard models of arithmetic | 1978-01-01 | Paper |
Two closed categories of filters | 1977-01-01 | Paper |
End Extensions, Conservative Extensions, and the Rudin-Frolik Ordering | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4141249 | 1977-01-01 | Paper |
Exact functors and measurable cardinals | 1976-01-01 | Paper |
Partial Mielnik Spaces and Characterization of Uniformly Convex Spaces | 1976-01-01 | Paper |
Cores of Π11 sets of reals | 1975-01-01 | Paper |
A Forcing Proof of the Kechris-Moschovakis Constructibility Theorem | 1975-01-01 | Paper |
Equivalence of Two Strong Forms of Determinacy | 1975-01-01 | Paper |
An application of universal algebra in group theory | 1974-01-01 | Paper |
On certain types and models for arithmetic | 1974-01-01 | Paper |
An axiomatic approach to rank in model theory | 1974-01-01 | Paper |
Ultrafilter Mappings and Their Dedekind Cuts | 1974-01-01 | Paper |
A natural theory without a prime model | 1973-01-01 | Paper |
Determinateness and Continuity | 1973-01-01 | Paper |
The Rudin-Keisler Ordering of P-Points | 1973-01-01 | Paper |
Complexity of winning strategies | 1972-01-01 | Paper |
Degrees of indeterminacy of games | 1972-01-01 | Paper |
The intersection of nonstandard models of arithmetic | 1972-01-01 | Paper |
Theories without countable models | 1972-01-01 | Paper |
On the inadequacy of inner models | 1972-01-01 | Paper |
Weak Partition Relations | 1972-01-01 | Paper |
A Note on Idempotents in Banach Algebras | 1971-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5632736 | 1971-01-01 | Paper |
On the Location of Singularities of Analytic Functions | 1970-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5607292 | 1970-01-01 | Paper |
On Certain Classes of Associative Rings | 1968-01-01 | Paper |