58 citations · 83 across the 6 of their papers we have counts for
6 papers
A General Glivenko-Gödel Theorem for Nuclei
Giulio Fellin, Peter Schuster
Glivenko's theorem says that, in propositional logic, classical provability of a formula entails intuitionistic provability of double negation of that formula. We generalise Gliven…
An algorithmic approach to the existence of ideal objects in commutative algebra
Thomas Powell, Peter M Schuster, Franziskus Wiesnet
The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pos…
Induction in Algebra: a First Case Study
Peter M Schuster
Many a concrete theorem of abstract algebra admits a short and elegant proof by contradiction but with Zorn's Lemma (ZL). A few of these theorems have recently turned out to follow…
Are There Enough Injective Sets?
Peter Aczel, Benno van den Berg, Johan Granstroem +1
The axiom of choice ensures precisely that, in ZFC, every set is projective: that is, a projective object in the category of sets. In constructive ZF (CZF) the existence of enough…
Chance and Necessity in Evolution: Lessons from RNA
Peter Schuster, Walter Fontana
The relationship between sequences and secondary structures or shapes in RNA exhibits robust statistical properties summarized by three notions: (1) the notion of a typical shape (…
Dynamics of Small Autocatalytic Reaction Network II: Replication, Mutation and Catalysis
Peter F. Stadler, Wolfgang Schnabl, Christian V. Forst +1
Mutation is introduced into autocatalytic reaction networks. Examples of low dimensional dynamical systems --- n = 2, 3 and 4 --- are discussed and complete qualitative analysis is…