Schuster, Peter Michael
Schuster, Peter Michael
DIPARTIMENTO DI INFORMATICA
`A direct proof of Wiener's theorem'
2012-01-01 Hendtlass, M; Schuster, Peter Michael
`Induction in algebra: a first case study'
2012-01-01 Schuster, Peter Michael
`Kronecker's density theorem and irrational numbers in constructive reverse mathematics'
2010-01-01 Ishihara, H; Schuster, Peter Michael
`The shrinking principle and the axiom of choice'
2007-01-01 Banaschewski, B; Schuster, Peter Michael
A Constructive Picture of Noetherian Conditions and Well Quasi-orders
2023-01-01 Buriola, Gabriele; Schuster, Peter; Blechschmidt, Ingo
A General Constructive Form of Higman’s Lemma
2024-01-01 Berardi, Stefano; Buriola, Gabriele; Schuster, Peter
A General Extension Theorem for Directed-Complete Partial Orders
2018-01-01 Schuster, P; Wessel, D
A General Glivenko–Gödel Theorem for Nuclei
2021-01-01 Fellin, Giulio; Schuster, Peter
A generalised cut characterisation of the fullness axiom in CZF
2013-01-01 Crosilla, L; Palmgren, E; Schuster, Peter Michael
A predicative completion of a uniform space
2012-01-01 Berger, J; Ishihara, H; Palmgren, E; Schuster, Peter Michael
A universal algorithm for Krull's theorem
2022-01-01 Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus
A universal Krull–Lindenbaum theorem
2016-01-01 Rinaldi, Davide; Schuster, Peter Michael
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra
2019-01-01 Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus
APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE
2014-01-01 Bruni, Riccardo; Schuster, Peter Michael
Are There Enough Injective Sets?
2013-01-01 Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter Michael
Concepts of Proof in Mathematics, Philosophy, and Computer Science
2016-01-01 Schuster, Peter Michael; Probst, Dieter
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction
2016-01-01 Schuster, Peter Michael; Probst, Dieter
Constructing Gröbner bases for Noetherian rings
2014-01-01 Perdry, Hervé; Schuster, Peter Michael
Der Satz von Hahn-Banach per Disjunktionselimination
2019-01-01 Schlagbauer, Konstantin; Schuster, Peter Michael; Wessel, Daniel
Dynamic evaluation of integrity and the computational content of Krull's lemma
2022-01-01 Schuster, Peter; Wessel, Daniel; Yengui, Ihsen
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| `A direct proof of Wiener's theorem' | 1-gen-2012 | Hendtlass, M; Schuster, Peter Michael | |
| `Induction in algebra: a first case study' | 1-gen-2012 | Schuster, Peter Michael | |
| `Kronecker's density theorem and irrational numbers in constructive reverse mathematics' | 1-gen-2010 | Ishihara, H; Schuster, Peter Michael | |
| `The shrinking principle and the axiom of choice' | 1-gen-2007 | Banaschewski, B; Schuster, Peter Michael | |
| A Constructive Picture of Noetherian Conditions and Well Quasi-orders | 1-gen-2023 | Buriola, Gabriele; Schuster, Peter; Blechschmidt, Ingo | |
| A General Constructive Form of Higman’s Lemma | 1-gen-2024 | Berardi, Stefano; Buriola, Gabriele; Schuster, Peter | |
| A General Extension Theorem for Directed-Complete Partial Orders | 1-gen-2018 | Schuster, P; Wessel, D | |
| A General Glivenko–Gödel Theorem for Nuclei | 1-gen-2021 | Fellin, Giulio; Schuster, Peter | |
| A generalised cut characterisation of the fullness axiom in CZF | 1-gen-2013 | Crosilla, L; Palmgren, E; Schuster, Peter Michael | |
| A predicative completion of a uniform space | 1-gen-2012 | Berger, J; Ishihara, H; Palmgren, E; Schuster, Peter Michael | |
| A universal algorithm for Krull's theorem | 1-gen-2022 | Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus | |
| A universal Krull–Lindenbaum theorem | 1-gen-2016 | Rinaldi, Davide; Schuster, Peter Michael | |
| An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra | 1-gen-2019 | Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus | |
| APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE | 1-gen-2014 | Bruni, Riccardo; Schuster, Peter Michael | |
| Are There Enough Injective Sets? | 1-gen-2013 | Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter Michael | |
| Concepts of Proof in Mathematics, Philosophy, and Computer Science | 1-gen-2016 | Schuster, Peter Michael; Probst, Dieter | |
| Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction | 1-gen-2016 | Schuster, Peter Michael; Probst, Dieter | |
| Constructing Gröbner bases for Noetherian rings | 1-gen-2014 | Perdry, Hervé; Schuster, Peter Michael | |
| Der Satz von Hahn-Banach per Disjunktionselimination | 1-gen-2019 | Schlagbauer, Konstantin; Schuster, Peter Michael; Wessel, Daniel | |
| Dynamic evaluation of integrity and the computational content of Krull's lemma | 1-gen-2022 | Schuster, Peter; Wessel, Daniel; Yengui, Ihsen |