Peter Schuster

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 17

Top Topics

Monadic Datalog

Hierarchically Organized

Top Venues

Bull. Symb. Log.

J. Log. Comput.

Publications

Stefano Berardi, Gabriele Buriola, Peter Schuster
A General Constructive Form of Higman's Lemma. CSL (2024)
Gabriele Buriola, Peter Schuster, Ingo Blechschmidt
A Constructive Picture of Noetherian Conditions and Well Quasi-orders. CiE (2023)
Peter Schuster, Daniel Wessel
The Jacobson radical for an inconsistency predicate. Comput. 11 (2) (2022)
Thomas Powell, Peter Schuster, Franziskus Wiesnet
A universal algorithm for Krull's theorem. Inf. Comput. 287 (2022)
Ingo Blechschmidt, Peter Schuster
Maximal Ideals in Countable Rings, Constructively. CiE (2022)
Giulio Fellin, Peter Schuster, Daniel Wessel
The Jacobson radical of a Propositional Theory. Bull. Symb. Log. 28 (2) (2022)
Satoru Niki, Peter Schuster
On Scott's semantics for many-valued logic. J. Log. Comput. 30 (6) (2020)
Peter Schuster, Daniel Wessel
The Computational Significance of Hausdorff's Maximal Chain Principle. CiE (2020)
Peter Schuster, Daniel Wessel
Resolving finite indeterminacy: A definitive constructive universal prime ideal theorem. LICS (2020)
Peter Schuster, Daniel Wessel
Some forms of excluded middle for linear orders. Math. Log. Q. 65 (1) (2019)
Dirk Pattinson, Peter Schuster, Ana Sokolova
Preface for the special issue of Proof, Structure, and Computation 2014. J. Log. Comput. 29 (4) (2019)
Thomas Powell, Peter Schuster, Franziskus Wiesnet
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra. WoLLIC (2019)
Peter Schuster, Daniel Wessel
A General Extension Theorem for Directed-Complete Partial Orders. Reports Math. Log. 53 (2018)
Peter Schuster, Daniel Wessel
Suzumura Consistency, an Alternative Approach. FLAP 5 (1) (2018)
Davide Rinaldi, Peter Schuster, Daniel Wessel
Eliminating Disjunctions by Disjunction Elimination. Bull. Symb. Log. 23 (2) (2017)
Hannes Leitgeb, Iosif Petrakis, Peter Schuster, Helmut Schwichtenberg
Editorial. FLAP 3 (4) (2016)
Thierry Coquand, Maria Emilia Maietti, Giovanni Sambin, Peter Schuster
Preface. Ann. Pure Appl. Log. 167 (9) (2016)
Hervé Perdry, Peter Schuster
Constructing Gröbner bases for Noetherian rings. Math. Struct. Comput. Sci. 24 (2) (2014)
Peter Aczel, Benno van den Berg, Johan Georg Granström, Peter Schuster
Are There Enough Injective Sets? Stud Logica 101 (3) (2013)
Peter Schuster
Induction in Algebra: a First Case Study. Log. Methods Comput. Sci. 9 (3) (2013)
Laura Crosilla, Erik Palmgren, Peter Schuster
A generalized cut characterization of the fullness axiom in CZF. Log. J. IGPL 21 (1) (2013)
Robert S. Lubarsky, Fred Richman, Peter Schuster
The Kripke schema in metric topology. Math. Log. Q. 58 (6) (2012)
Peter Schuster
Induction in Algebra: A First Case Study. LICS (2012)
Josef Berger, Hajime Ishihara, Peter Schuster
The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice. Reports Math. Log. 47 (2012)
Matthew Hendtlass, Peter Schuster
A Direct Proof of Wiener's Theorem. CiE (2012)
Josef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster
A predicative completion of a uniform space. Ann. Pure Appl. Log. 163 (8) (2012)
Thierry Coquand, Peter Schuster
Unique paths as formal points. J. Log. Anal. 3 (2011)
Hervé Perdry, Peter Schuster
Noetherian orders. Math. Struct. Comput. Sci. 21 (1) (2011)
Hannes Diener, Peter Schuster
Uniqueness, continuity and the existence of implicit functions in constructive analysis. LMS J. Comput. Math. 14 (2011)
Matthew Hendtlass, Peter Schuster
Minima and best approximations in constructive analysis. J. Log. Anal. 3 (2011)
Hajime Ishihara, Peter Schuster
On the contrapositive of countable choice. Arch. Math. Log. 50 (1-2) (2011)
Peter Schuster
Problems, solutions, and completions. J. Log. Algebraic Methods Program. 79 (1) (2010)
Hannes Diener, Peter Schuster
On Choice Principles and Fan Theorems. J. Univers. Comput. Sci. 16 (18) (2010)
Thierry Coquand, Henri Lombardi, Peter Schuster
Spectral schemes as ringed lattices. Ann. Math. Artif. Intell. 56 (3-4) (2009)
Hannes Diener, Peter Schuster
Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis. CCA (2009)
Hajime Ishihara, Peter Schuster
A continuity principle, a version of Baire's theorem and a boundedness principle. J. Symb. Log. 73 (4) (2008)
Josef Berger, Dirk Pattinson, Peter Schuster, Júlia Zappe
Editorial: Math. Log. Quart. 1/2008. Math. Log. Q. 54 (1) (2008)
Peter Schuster
The Zariski spectrum as a formal geometry. Theor. Comput. Sci. 405 (1-2) (2008)
Peter Schuster
Corrigendum to "Unique solutions". Math. Log. Q. 53 (2) (2007)
Peter Schuster
Problems as Solutions. CiE (2007)
Douglas S. Bridges, Robin Havea, Peter Schuster
Ideals in constructive Banach algebra theory. J. Complex. 22 (6) (2006)
Josef Berger, Peter Schuster
Classifying Dini's Theorem. Notre Dame J. Formal Log. 47 (2) (2006)
Hajime Ishihara, Ray Mines, Peter Schuster, Luminita Vîta
Quasi-apartness and neighbourhood spaces. Ann. Pure Appl. Log. 141 (1-2) (2006)
Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster
Binary Refinement Implies Discrete Exponentiation. Stud Logica 84 (3) (2006)
Josef Berger, Douglas S. Bridges, Peter Schuster
The fan theorem and unique existence of maxima. J. Symb. Log. 71 (2) (2006)
Peter Schuster
Formal Zariski topology: Positivity and points. Ann. Pure Appl. Log. 137 (1-3) (2006)
Peter Schuster, Júlia Zappe
Do Noetherian Modules Have Noetherian Basis Functions?. CiE (2006)
Peter Schuster
Unique solutions. Math. Log. Q. 52 (6) (2006)
Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
Strong continuity implies uniform sequential continuity. Arch. Math. Log. 44 (7) (2005)
Thierry Coquand, Henri Lombardi, Peter Schuster
A Nilregular Element Property. Mathematics, Algorithms, Proofs (2005)
Laura Crosilla, Hajime Ishihara, Peter Schuster
On constructing completions. J. Symb. Log. 70 (3) (2005)
Douglas S. Bridges, Robin Havea, Peter Schuster
Ideals in Constructive Banach Algebra Theory. CCA (2005)
Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
Compactness in apartness spaces? Spatial Representation (2005)
Hajime Ishihara, Peter Schuster
Compactness under constructive scrutiny. Math. Log. Q. 50 (6) (2004)
Peter Schuster
Unique existence, approximate solutions, and countable choice. Theor. Comput. Sci. 305 (1-3) (2003)
Douglas S. Bridges, Peter Schuster, Luminita Vîta
Apartness, Topology, and Uniformity: a Constructive View. Math. Log. Q. 48 (S1) (2002)
Douglas S. Bridges, Hajime Ishihara, Peter Schuster
Compactness and Continuity, Constructively Revisited. CSL (2002)
Peter Schuster, Luminita Vîta, Douglas S. Bridges
Apartness as a Relation Between Subsets. DMTCS (2001)
Douglas S. Bridges, Fred Richman, Peter Schuster
Linear Independence without Choice. Ann. Pure Appl. Log. 101 (1) (1999)