Schuster, Peter Michael
Schuster, Peter Michael
DIPARTIMENTO DI INFORMATICA
`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 General Extension Theorem for Directed-Complete Partial Orders
2018-01-01 Schuster, P; Wessel, D
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
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
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
Eliminating disjunctions by disjunction elimination
2018-01-01 Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
2017-01-01 Rinaldi, Davide; Schuster, Peter Michael; Wessel, Daniel
Finitely generated Banach algebras and local Nullstellensätze
2006-01-01 Bridges, D.; Havea, R.; Schuster, P.
Induction in Algebra: a First Case Study
2013-01-01 Schuster, Peter Michael
Minima and best approximations in constructive analysis
2011-01-01 Hendtlass, M; Schuster, Peter Michael
Noetherian orders
2011-01-01 Perdry, H; Schuster, Peter Michael
On Scott’s semantics for many-valued logic
2020-01-01 Niki, Satoru; Schuster, Peter
On the contrapositive of countable choice
2011-01-01 Ishihara, H; Schuster, Peter Michael
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| `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 General Extension Theorem for Directed-Complete Partial Orders | 1-gen-2018 | Schuster, P; Wessel, D | |
| 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 | |
| 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 | |
| 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 | |
| Eliminating disjunctions by disjunction elimination | 1-gen-2018 | Rinaldi, Davide; Schuster, Peter; Wessel, Daniel | |
| ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION | 1-gen-2017 | Rinaldi, Davide; Schuster, Peter Michael; Wessel, Daniel | |
| Finitely generated Banach algebras and local Nullstellensätze | 1-gen-2006 | Bridges, D.; Havea, R.; Schuster, P. | |
| Induction in Algebra: a First Case Study | 1-gen-2013 | Schuster, Peter Michael | |
| Minima and best approximations in constructive analysis | 1-gen-2011 | Hendtlass, M; Schuster, Peter Michael | |
| Noetherian orders | 1-gen-2011 | Perdry, H; Schuster, Peter Michael | |
| On Scott’s semantics for many-valued logic | 1-gen-2020 | Niki, Satoru; Schuster, Peter | |
| On the contrapositive of countable choice | 1-gen-2011 | Ishihara, H; Schuster, Peter Michael |