Daniel Wessel

Generating author description...

All published works

Action	Title	Year	Authors
+	Radical theory of Scott-open filters	2022	Daniel Wessel Peter Schuster
+ PDF Chat	Towards formal Baer criteria	2022	Daniel Wessel Davide Rinaldi
+	The Jacobson radical for an inconsistency predicate	2022	Peter Schuster Daniel Wessel
+	Algebras of Complemented Subsets	2022	Iosif Petrakis Daniel Wessel
+	A note on connected reduced rings	2021	Daniel Wessel
+	Dynamic evaluation of integrity and the computational content of Krull's lemma	2021	Peter Schuster Daniel Wessel Ihsen Yengui
+ PDF Chat	Syntax for Semantics: Krull’s Maximal Ideal Theorem	2021	Peter Schuster Daniel Wessel
+	Ribenboim’s order extension theorem from a constructive point of view	2019	Roberta Bonacina Daniel Wessel
+	Eliminating disjunctions by disjunction elimination	2017	Davide Rinaldi Peter Schuster Daniel Wessel
+	ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION	2017	Davide Rinaldi Peter Schuster Daniel Wessel
+	Extension by Conservation. Sikorski's Theorem	2016	Davide Rinaldi Daniel Wessel
+	Extension by Conservation. Sikorski's Theorem	2016	Davide Rinaldi Daniel Wessel

Common Coauthors

Coauthor	Papers Together
Peter Schuster	6
Davide Rinaldi	5
Ihsen Yengui	1
Roberta Bonacina	1
Iosif Petrakis	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Dynamical method in algebra: effective Nullstellensätze	2001	Michel Coste Henri Lombardi Marie-Françoise Roy	9
+	Commutative Algebra: Constructive Methods : Finite Projective Modules	2015	Henri Lombardi Claude Quitt�	7
+	A universal Krull–Lindenbaum theorem	2016	Davide Rinaldi Peter Schuster	7
+	A Course in Constructive Algebra	1988	Ray Mines Fred Richman Wim Ruitenburg	7
+	ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION	2017	Davide Rinaldi Peter Schuster Daniel Wessel	7
+	Making the use of maximal ideals constructive	2007	Ihsen Yengui	5
+ PDF Chat	Commutative Algebra: Constructive Methods	2015	Henri Lombardi Claude Quitté	5
+	Some points in formal topology	2003	Giovanni Sambin	5
+	Constructive Commutative Algebra: Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases	2015	Ihsen Yengui	4
+	A globalization of the Hahn-Banach theorem	1991	Christopher J. Mulvey Joan Wick Pelletier	4
+ PDF Chat	Geometric Hahn-Banach theorem	2006	Thierry Coquand	4
+	Algebraische und logistische Untersuchungen über freie Verbände	1951	Paul Lorenzen	4
+	Consequences of the Axiom of Choice	1998	Paul Howard Jean Rubin	4
+ PDF Chat	Induction in Algebra: a First Case Study	2013	Peter Schuster	4
+	Constructive Commutative Algebra	2015	Ihsen Yengui	4
+	Lattice-ordered groups generated by an ordered group and regular systems of ideals	2019	Thierry Coquand Henri Lombardi Stefan Neuwirth	4
+	Aspects of general topology in constructive set theory	2005	Peter Aczel	4
+	Eliminating disjunctions by disjunction elimination	2017	Davide Rinaldi Peter Schuster Daniel Wessel	4
+	Commutative Ring Theory and Applications	2017		3
+	Über halbgeordnete Gruppen	1950	Paul Lorenzen	3
+	Hidden Constructions in Abstract Algebra: Krull Dimension of Distributive Lattices and Commutative Rings	2017	Thierry Coquand Henri Lombardi	3
+ PDF Chat	Lindenbaum’s Lemma via Open Induction	2016	Francesco Ciraulo Davide Rinaldi Peter Schuster	3
+	Convergence in formal topology: a unifying notion	2013	Francesco Ciraulo Maria Emilia Maietti Giovanni Sambin	3
+	Zorn's lemma and complete Boolean algebras in intuitionistic type theories	1997	John L. Bell	3
+	Space of valuations	2008	Thierry Coquand	3
+	Valuations and Dedekind's Prague Theorem	2001	Thierry Coquand Henrik Persson	3
+	Polynomials and radical ideals	1996	Bernhard Banaschewski J.J.C. Vermeulen	3
+	A New Proof that “Krull implies Zorn”	1994	Bernhard Banaschewski	3
+	The origin of “Zorn's Lemma”	1978	Paul J. Campbell	2
+	Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert	2005	Henri Lombardi	2
+	More on a curious nucleus	2019	Levon Haykazyan	2
+ PDF Chat	On some peculiar aspects of the constructive theory of point‐free spaces	2010	Giovanni Curi	2
+ PDF Chat	An introduction to Lorenzen's ``Algebraic and logistic investigations on free lattices'' (1951)	2017	Thierry Coquand Stefan Neuwirth	2
+ PDF Chat	An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra	2019	Thomas Powell Peter Schuster Franziskus Wiesnet	2
+	Finite Methods in Mathematical Practice	2014	Laura Crosilla Peter Schuster	2
+	Untersuchungen �ber das logische Schlie�en. I	1935	Gerhard Gentzen	2
+	STONE SPACES (Cambridge Studies in Advanced Mathematics 3)	1987	John Bell	2
+	The dual locale of a seminormed space	1982	Christopher J. Mulvey J. Wick-Pelletier	2
+	A Note on Zariski's Lemma	1976	John McCabe	2
+	On a conservative extension argument of Dana Scott	2010	Lloyd Humberstone	2
+	Finitary formal topologies and Stone’s representation theorem	2008	Francesco Ciraulo Giovanni Sambin	2
+ PDF Chat	Induction in Algebra: A First Case Study	2012	Peter Schuster	2
+	Continuous domains as formal spaces	2002	Sara Negri	2
+	A continuous and rational solution to Hubert’s 17th problem and several cases of the Positivstellensatz	1993	Charles N. Delzell Laureano González-Vega Henri Lombardi	2
+	The Radical and Semi-Simplicity for Arbitrary Rings	1945	Nathan Jacobson	2
+	Relecture constructive de la théorie d'Artin-Schreier	1998	Henri Lombardi	2
+	Über die Zerlegung definiter Funktionen in Quadrate	1927	Emil Artin	2
+ PDF Chat	A remark on method in transfinite algebra	1935	Max Zorn	2
+ PDF Chat	Some new intuitionistic equivalents of Zorn?s Lemma	2003	John Bell	2
+	Hidden constructions in abstract algebra (1): integral dependance	2002	Henri Lombardi	2