Sfoglia per Autore
Finitely generated Banach algebras and local Nullstellensätze
2006-01-01 Bridges, D.; Havea, R.; Schuster, P.
`The shrinking principle and the axiom of choice'
2007-01-01 Banaschewski, B; Schuster, Peter Michael
`Kronecker's density theorem and irrational numbers in constructive reverse mathematics'
2010-01-01 Ishihara, H; Schuster, Peter Michael
Minima and best approximations in constructive analysis
2011-01-01 Hendtlass, M; Schuster, Peter Michael
Unique paths as formal points
2011-01-01 Coquand, T; Schuster, Peter Michael
Noetherian orders
2011-01-01 Perdry, H; Schuster, Peter Michael
On the contrapositive of countable choice
2011-01-01 Ishihara, H; Schuster, Peter Michael
Uniqueness, continuity, and existence of implicit functions in constructive analysis
2011-01-01 Diener, H; Schuster, Peter Michael
Uniqueness, continuity and the existence of implicit functions in constructive analysis
2011-01-01 Diener, H.; Schuster, P.
Logic, Construction, Computation
2012-01-01 Berger, Ulrich; Diener, Hannes; Schuster, Peter Michael; Seisenberger, Monika
`A direct proof of Wiener's theorem'
2012-01-01 Hendtlass, M; Schuster, Peter Michael
The weak König lemma, Brouwer's fan theorem, de Morgan's law, and dependent choice
2012-01-01 Berger, J; Ishihara, H; Schuster, Peter Michael
The Gröbner ring conjecture in one variable
2012-01-01 Lombardi, H; Schuster, Peter Michael; Yengui, I.
A predicative completion of a uniform space
2012-01-01 Berger, J; Ishihara, H; Palmgren, E; Schuster, Peter Michael
The Kripke schema in metric topology
2012-01-01 Lubarsky, R; Richman, F; Schuster, Peter Michael
`Induction in algebra: a first case study'
2012-01-01 Schuster, Peter Michael
Preface
2012-01-01 Bauer, Andrej; Coquand, Thierry; Sambin, Giovanni; Schuster, Peter Michael
Induction in Algebra: a First Case Study
2013-01-01 Schuster, Peter Michael
A generalised cut characterisation of the fullness axiom in CZF
2013-01-01 Crosilla, L; Palmgren, E; Schuster, Peter Michael
Are There Enough Injective Sets?
2013-01-01 Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter Michael
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Finitely generated Banach algebras and local Nullstellensätze | 1-gen-2006 | Bridges, D.; Havea, R.; Schuster, P. | |
| `The shrinking principle and the axiom of choice' | 1-gen-2007 | Banaschewski, B; Schuster, Peter Michael | |
| `Kronecker's density theorem and irrational numbers in constructive reverse mathematics' | 1-gen-2010 | Ishihara, H; Schuster, Peter Michael | |
| Minima and best approximations in constructive analysis | 1-gen-2011 | Hendtlass, M; Schuster, Peter Michael | |
| Unique paths as formal points | 1-gen-2011 | Coquand, T; Schuster, Peter Michael | |
| Noetherian orders | 1-gen-2011 | Perdry, H; Schuster, Peter Michael | |
| On the contrapositive of countable choice | 1-gen-2011 | Ishihara, H; Schuster, Peter Michael | |
| Uniqueness, continuity, and existence of implicit functions in constructive analysis | 1-gen-2011 | Diener, H; Schuster, Peter Michael | |
| Uniqueness, continuity and the existence of implicit functions in constructive analysis | 1-gen-2011 | Diener, H.; Schuster, P. | |
| Logic, Construction, Computation | 1-gen-2012 | Berger, Ulrich; Diener, Hannes; Schuster, Peter Michael; Seisenberger, Monika | |
| `A direct proof of Wiener's theorem' | 1-gen-2012 | Hendtlass, M; Schuster, Peter Michael | |
| The weak König lemma, Brouwer's fan theorem, de Morgan's law, and dependent choice | 1-gen-2012 | Berger, J; Ishihara, H; Schuster, Peter Michael | |
| The Gröbner ring conjecture in one variable | 1-gen-2012 | Lombardi, H; Schuster, Peter Michael; Yengui, I. | |
| A predicative completion of a uniform space | 1-gen-2012 | Berger, J; Ishihara, H; Palmgren, E; Schuster, Peter Michael | |
| The Kripke schema in metric topology | 1-gen-2012 | Lubarsky, R; Richman, F; Schuster, Peter Michael | |
| `Induction in algebra: a first case study' | 1-gen-2012 | Schuster, Peter Michael | |
| Preface | 1-gen-2012 | Bauer, Andrej; Coquand, Thierry; Sambin, Giovanni; Schuster, Peter Michael | |
| Induction in Algebra: a First Case Study | 1-gen-2013 | Schuster, Peter Michael | |
| A generalised cut characterisation of the fullness axiom in CZF | 1-gen-2013 | Crosilla, L; Palmgren, E; Schuster, Peter Michael | |
| Are There Enough Injective Sets? | 1-gen-2013 | Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter Michael |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile