Peter Schuster

64 papers A* 2B 2C 9Journal 48Unranked 3

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