×

zbMATH — the first resource for mathematics

Schuster, Peter Michael

Compute Distance To:
Author ID: schuster.peter-michael Recent zbMATH articles by "Schuster, Peter Michael"
Published as: Schuster, Peter; Schuster, Peter M.; Schuster, P.; Schuster, Peter Michael
External Links: MGP
Documents Indexed: 103 Publications since 1995, including 13 Books
Reviewing Activity: 14 Reviews
all top 5

Serials

8 Mathematical Logic Quarterly (MLQ)
6 Annals of Pure and Applied Logic
3 The Journal of Symbolic Logic
3 Proceedings of the American Mathematical Society
3 Theoretical Computer Science
3 MSCS. Mathematical Structures in Computer Science
2 Journal of Pure and Applied Algebra
2 Logique et Analyse. Nouvelle Série
2 Reports on Mathematical Logic
2 Studia Logica
2 Journal of Logic and Computation
2 Archive for Mathematical Logic
2 Indagationes Mathematicae. New Series
2 New Zealand Journal of Mathematics
2 The Bulletin of Symbolic Logic
2 Journal of Universal Computer Science
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 Synthese Library
2 Journal of Logic and Analysis
2 Ontos Mathematical Logic
1 Houston Journal of Mathematics
1 Mathematische Semesterberichte
1 Archiv der Mathematik
1 Czechoslovak Mathematical Journal
1 Manuscripta Mathematica
1 Mathematische Zeitschrift
1 Monatshefte für Mathematik
1 Notre Dame Journal of Formal Logic
1 Sitzungsberichte. Abteilung II. Österreichische Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse
1 Publicationes Mathematicae
1 Quaestiones Mathematicae
1 Journal of Operator Theory
1 Journal of Complexity
1 Elemente der Mathematik
1 Nova Acta Leopoldina. Neue Folge
1 Annals of Mathematics and Artificial Intelligence
1 Logic Journal of the IGPL
1 Nordic Journal of Philosophical Logic
1 Philosophia Mathematica. Series III
1 LMS Journal of Computation and Mathematics
1 The Quarterly Journal of Mathematics
1 The Journal of Logic and Algebraic Programming
1 MATCH - Communications in Mathematical and in Computer Chemistry
1 Oxford Logic Guides
1 Springer Series in Synergetics
1 Trends in Logic – Studia Logica Library
1 Logical Methods in Computer Science
1 Confluentes Mathematici

Publications by Year

Citations contained in zbMATH Open

71 Publications have been cited 265 times in 135 Documents Cited by Year
The fan theorem and unique existence of maxima. Zbl 1107.03064
Berger, Josef; Bridges, Douglas; Schuster, Peter
9
2006
Spatiality for formal topologies. Zbl 1139.03045
Gambino, Nicola; Schuster, Peter
9
2007
A weak countable choice principle. Zbl 0949.03060
Bridges, Douglas; Richman, Fred; Schuster, Peter
9
2000
Strong continuity implies uniform sequential continuity. Zbl 1088.03048
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter; Vîţă, Luminiţa
9
2005
Formal Zariski topology: Positivity and points. Zbl 1088.03050
Schuster, Peter
9
2006
Apartness as a relation between subsets. Zbl 0999.54021
Schuster, Peter; Vîţă, Luminiţa; Bridges, Douglas S.
9
2001
The Gröbner ring conjecture in one variable. Zbl 1242.13012
Lombardi, Henri; Schuster, Peter; Yengui, Ihsen
9
2012
Unique solutions. Zbl 1110.03059
Schuster, Peter
8
2006
Compactness under constructive scrutiny. Zbl 1060.03084
Ishihara, Hajime; Schuster, Peter
8
2004
On constructing completions. Zbl 1099.03044
Crosilla, Laura; Ishihara, Hajime; Schuster, Peter
7
2005
Eliminating disjunctions by disjunction elimination. Zbl 1437.03163
Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
7
2018
Eliminating disjunctions by disjunction elimination. Zbl 1455.03074
Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
7
2017
Quasi-apartness and neighbourhood spaces. Zbl 1099.03053
Ishihara, Hajime; Mines, Ray; Schuster, Peter; Vîţă, Luminiţa
6
2006
The projective spectrum as a distributive lattice. Zbl 1131.03035
Coquand, Thierry; Lombardi, Henri; Schuster, Peter
6
2007
Induction in algebra: a first case study. Zbl 1364.03086
Schuster, Peter
6
2012
Reuniting the antipodes—constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16–22, 1999. Zbl 0982.00037
Schuster, Peter (ed.); Berger, Ulrich (ed.); Osswald, Horst (ed.)
6
2001
Adjoints, absolute values and polar decompositions. Zbl 0988.03093
Bridges, Douglas; Richman, Fred; Schuster, Peter
6
2000
Apartness, topology, and uniformity: A constructive view. Zbl 1044.03047
Bridges, Douglas; Schuster, Peter; Vîţă, Luminiţa
6
2002
A universal Krull-Lindenbaum theorem. Zbl 1420.03128
Rinaldi, Davide; Schuster, Peter
6
2016
The Zariski spectrum as a formal geometry. Zbl 1154.03038
Schuster, Peter
5
2008
A continuity principle, a version of Baire’s theorem and a boundedness principle. Zbl 1160.03041
Ishihara, Hajime; Schuster, Peter
5
2008
A nilregular element property. Zbl 1093.03035
Coquand, Thierry; Lombardi, Henri; Schuster, Peter
5
2005
Unique existence, approximate solutions, and countable choice. Zbl 1050.03042
Schuster, Peter M.
5
2003
The mathematics of Darwin’s theory of evolution: 1859 and 150 years later. Zbl 1379.92042
Schuster, Peter
5
2011
The shrinking principle and the axiom of choice. Zbl 1124.03023
Banaschewski, Bernhard; Schuster, Peter
4
2007
Binary refinement implies discrete exponentiation. Zbl 1112.03048
Aczel, Peter; Crosilla, Laura; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
4
2006
Classifying Dini’s theorem. Zbl 1156.03055
Berger, Josef; Schuster, Peter
4
2006
A constructive look at generalised Cauchy reals. Zbl 0943.03049
Schuster, Peter M.
4
2000
Spectral schemes as ringed lattices. Zbl 1254.03114
Coquand, Thierry; Lombardi, Henri; Schuster, Peter
4
2009
Induction in algebra: a first case study. Zbl 1277.03065
Schuster, Peter M.
4
2013
Corrigendum to “Unique solutions”. Zbl 1111.03322
Schuster, Peter
3
2007
A simple constructive proof of Kronecker’s density theorem. Zbl 1132.11040
Bridges, Douglas; Schuster, Peter
3
2006
Apartness, compactness and nearness. Zbl 1156.54013
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter M.; Vîţă, Luminiţa
3
2008
The weak König lemma, Brouwer’s fan theorem, De Morgan’s law, and dependent choice. Zbl 1325.03076
Berger, Josef; Ishihara, Hajime; Schuster, Peter
3
2012
The basic Zariski topology. Zbl 1328.03056
Rinaldi, Davide; Sambin, Giovanni; Schuster, Peter
3
2015
Constructive solutions of continuous equations. Zbl 1074.03030
Schuster, Peter; Schwichtenberg, Helmut
3
2004
Countable choice as a questionable uniformity principle. Zbl 1074.03003
Schuster, Peter M.
3
2004
A constructive uniform continuity theorem. Zbl 1004.54011
Ishihara, Hajime; Schuster, Peter
3
2002
A direct proof of Wiener’s theorem. Zbl 1358.03094
Hendtlass, Matthew; Schuster, Peter
3
2012
A predicative completion of a uniform space. Zbl 1257.03092
Berger, Josef; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
3
2012
On Kripke’s schema and countable subsets. (Über das Kripke-Schema und abzählbare Teilmengen.) Zbl 1171.03038
Schuster, Peter; Zappe, Júlia
2
2008
Finite methods in mathematical practice. Zbl 1329.03013
Crosilla, Laura; Schuster, Peter
2
2014
What is continuity, constructively? Zbl 1124.03041
Schuster, P.
2
2005
Ideals in constructive Banach algebra theory. Zbl 1114.46056
Bridges, Douglas; Havea, Robin; Schuster, Peter
2
2006
Sequential compactness in constructive analysis. Zbl 1001.03056
Bridges, D.; Ishihara, H.; Schuster, P.
2
1999
Compactness and continuity, constructively revisited. Zbl 1021.03056
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter
2
2002
Elementary choiceless constructive analysis. Zbl 0973.03079
Schuster, Peter M.
2
2000
The Kripke schema in metric topology. Zbl 1259.03081
Lubarsky, Robert; Richman, Fred; Schuster, Peter
2
2012
Noetherian orders. Zbl 1216.03065
Perdry, Hervé; Schuster, Peter
2
2011
Dini’s theorem in the light of reverse mathematics. Zbl 1162.03032
Berger, Josef; Schuster, Peter
2
2009
An algorithmic approach to the existence of ideal objects in commutative algebra. Zbl 07176946
Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus
2
2019
The polydisk Nullstellensatz. Zbl 1055.03038
Bridges, Douglas; Mines, Ray; Richman, Fred; Schuster, Peter
2
2004
Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem. Zbl 07299515
Schuster, Peter; Wessel, Daniel
2
2020
Apartness and formal topology. Zbl 1108.03058
Palmgren, Erik; Schuster, Peter
1
2006
Do Noetherian modules have Noetherian basis functions? Zbl 1145.03342
Schuster, Peter; Zappe, Júlia
1
2006
Approximating Beppo Levi’s principio di approssimazione. Zbl 1428.03002
Bruni, Riccardo; Schuster, Peter
1
2014
Logically enforced subprinciples of ZFC. (Logisch zwingende Teilprinzipien von ZFC.) Zbl 1099.03045
Schuster, Peter
1
2005
Modules of singular curves with prescribed normalization. (Moduln singulärer Kurven mit vorgegebener Normalisierung.) Zbl 0882.32020
Schuster, Peter Michael
1
1995
From sets and types to topology and analysis. Towards practicable foundations for constructive mathematics. Based on the workshop, Venice, Italy, May 12–16, 2003. Zbl 1076.03003
Crosilla, Laura (ed.); Schuster, Peter (ed.)
1
2005
Strong versus uniform continuity: A constructive round. Zbl 1031.54016
Schuster, Peter; Vîţă, Luminiţa; Bridges, Douglas
1
2003
Linear independence without choice. Zbl 0939.03070
Bridges, Douglas; Richman, Fred; Schuster, Peter
1
2000
Unique paths as formal points. Zbl 1296.03036
Coquand, Thierry; Schuster, Peter
1
2011
Almost locatedness in uniform spaces. Zbl 1174.03027
Bridges, Douglas; Ishihara, Hajime; Mines, Ray; Richman, Fred; Schuster, Peter; Vîţă, Luminiţa
1
2007
Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Zbl 1431.03011
Centrone, Stefania (ed.); Negri, Sara (ed.); Sarikaya, Deniz (ed.); Schuster, Peter M. (ed.)
1
2019
Proof and computation. Digitization in mathematics, computer science, and philosophy. Based on the international autumn school “Proof and computation”, Fischbachau, Germany, October 3–8, 2016. Zbl 1400.03005
Mainzer, Klaus (ed.); Schuster, Peter (ed.); Schwichtenberg, Helmut (ed.)
1
2018
Problems, solutions, and completions. Zbl 1184.03059
Schuster, Peter
1
2010
Uniqueness, continuity and the existence of implicit functions in constructive analysis. Zbl 1259.03080
Diener, H.; Schuster, P.
1
2011
Stochasticity in processes. Fundamentals and applications to chemistry and biology. Zbl 1359.60006
Schuster, Peter
1
2016
Kronecker’s density theorem and irrational numbers in constructive reverse mathematics. Zbl 1280.03059
Ishihara, Hajime; Schuster, Peter
1
2010
Are there enough injective sets? Zbl 1319.03053
Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter
1
2013
Dynamic evaluation of integrity and the computational content of Krull’s lemma. Zbl 07389899
Schuster, Peter; Wessel, Daniel; Yengui, Ihsen
1
2022
Dynamic evaluation of integrity and the computational content of Krull’s lemma. Zbl 07389899
Schuster, Peter; Wessel, Daniel; Yengui, Ihsen
1
2022
Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem. Zbl 07299515
Schuster, Peter; Wessel, Daniel
2
2020
An algorithmic approach to the existence of ideal objects in commutative algebra. Zbl 07176946
Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus
2
2019
Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Zbl 1431.03011
Centrone, Stefania; Negri, Sara; Sarikaya, Deniz; Schuster, Peter M.
1
2019
Eliminating disjunctions by disjunction elimination. Zbl 1437.03163
Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
7
2018
Proof and computation. Digitization in mathematics, computer science, and philosophy. Based on the international autumn school “Proof and computation”, Fischbachau, Germany, October 3–8, 2016. Zbl 1400.03005
Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut
1
2018
Eliminating disjunctions by disjunction elimination. Zbl 1455.03074
Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
7
2017
A universal Krull-Lindenbaum theorem. Zbl 1420.03128
Rinaldi, Davide; Schuster, Peter
6
2016
Stochasticity in processes. Fundamentals and applications to chemistry and biology. Zbl 1359.60006
Schuster, Peter
1
2016
The basic Zariski topology. Zbl 1328.03056
Rinaldi, Davide; Sambin, Giovanni; Schuster, Peter
3
2015
Finite methods in mathematical practice. Zbl 1329.03013
Crosilla, Laura; Schuster, Peter
2
2014
Approximating Beppo Levi’s principio di approssimazione. Zbl 1428.03002
Bruni, Riccardo; Schuster, Peter
1
2014
Induction in algebra: a first case study. Zbl 1277.03065
Schuster, Peter M.
4
2013
Are there enough injective sets? Zbl 1319.03053
Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter
1
2013
The Gröbner ring conjecture in one variable. Zbl 1242.13012
Lombardi, Henri; Schuster, Peter; Yengui, Ihsen
9
2012
Induction in algebra: a first case study. Zbl 1364.03086
Schuster, Peter
6
2012
The weak König lemma, Brouwer’s fan theorem, De Morgan’s law, and dependent choice. Zbl 1325.03076
Berger, Josef; Ishihara, Hajime; Schuster, Peter
3
2012
A direct proof of Wiener’s theorem. Zbl 1358.03094
Hendtlass, Matthew; Schuster, Peter
3
2012
A predicative completion of a uniform space. Zbl 1257.03092
Berger, Josef; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
3
2012
The Kripke schema in metric topology. Zbl 1259.03081
Lubarsky, Robert; Richman, Fred; Schuster, Peter
2
2012
The mathematics of Darwin’s theory of evolution: 1859 and 150 years later. Zbl 1379.92042
Schuster, Peter
5
2011
Noetherian orders. Zbl 1216.03065
Perdry, Hervé; Schuster, Peter
2
2011
Unique paths as formal points. Zbl 1296.03036
Coquand, Thierry; Schuster, Peter
1
2011
Uniqueness, continuity and the existence of implicit functions in constructive analysis. Zbl 1259.03080
Diener, H.; Schuster, P.
1
2011
Problems, solutions, and completions. Zbl 1184.03059
Schuster, Peter
1
2010
Kronecker’s density theorem and irrational numbers in constructive reverse mathematics. Zbl 1280.03059
Ishihara, Hajime; Schuster, Peter
1
2010
Spectral schemes as ringed lattices. Zbl 1254.03114
Coquand, Thierry; Lombardi, Henri; Schuster, Peter
4
2009
Dini’s theorem in the light of reverse mathematics. Zbl 1162.03032
Berger, Josef; Schuster, Peter
2
2009
The Zariski spectrum as a formal geometry. Zbl 1154.03038
Schuster, Peter
5
2008
A continuity principle, a version of Baire’s theorem and a boundedness principle. Zbl 1160.03041
Ishihara, Hajime; Schuster, Peter
5
2008
Apartness, compactness and nearness. Zbl 1156.54013
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter M.; Vîţă, Luminiţa
3
2008
On Kripke’s schema and countable subsets. (Über das Kripke-Schema und abzählbare Teilmengen.) Zbl 1171.03038
Schuster, Peter; Zappe, Júlia
2
2008
Spatiality for formal topologies. Zbl 1139.03045
Gambino, Nicola; Schuster, Peter
9
2007
The projective spectrum as a distributive lattice. Zbl 1131.03035
Coquand, Thierry; Lombardi, Henri; Schuster, Peter
6
2007
The shrinking principle and the axiom of choice. Zbl 1124.03023
Banaschewski, Bernhard; Schuster, Peter
4
2007
Corrigendum to “Unique solutions”. Zbl 1111.03322
Schuster, Peter
3
2007
Almost locatedness in uniform spaces. Zbl 1174.03027
Bridges, Douglas; Ishihara, Hajime; Mines, Ray; Richman, Fred; Schuster, Peter; Vîţă, Luminiţa
1
2007
The fan theorem and unique existence of maxima. Zbl 1107.03064
Berger, Josef; Bridges, Douglas; Schuster, Peter
9
2006
Formal Zariski topology: Positivity and points. Zbl 1088.03050
Schuster, Peter
9
2006
Unique solutions. Zbl 1110.03059
Schuster, Peter
8
2006
Quasi-apartness and neighbourhood spaces. Zbl 1099.03053
Ishihara, Hajime; Mines, Ray; Schuster, Peter; Vîţă, Luminiţa
6
2006
Binary refinement implies discrete exponentiation. Zbl 1112.03048
Aczel, Peter; Crosilla, Laura; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
4
2006
Classifying Dini’s theorem. Zbl 1156.03055
Berger, Josef; Schuster, Peter
4
2006
A simple constructive proof of Kronecker’s density theorem. Zbl 1132.11040
Bridges, Douglas; Schuster, Peter
3
2006
Ideals in constructive Banach algebra theory. Zbl 1114.46056
Bridges, Douglas; Havea, Robin; Schuster, Peter
2
2006
Apartness and formal topology. Zbl 1108.03058
Palmgren, Erik; Schuster, Peter
1
2006
Do Noetherian modules have Noetherian basis functions? Zbl 1145.03342
Schuster, Peter; Zappe, Júlia
1
2006
Strong continuity implies uniform sequential continuity. Zbl 1088.03048
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter; Vîţă, Luminiţa
9
2005
On constructing completions. Zbl 1099.03044
Crosilla, Laura; Ishihara, Hajime; Schuster, Peter
7
2005
A nilregular element property. Zbl 1093.03035
Coquand, Thierry; Lombardi, Henri; Schuster, Peter
5
2005
What is continuity, constructively? Zbl 1124.03041
Schuster, P.
2
2005
Logically enforced subprinciples of ZFC. (Logisch zwingende Teilprinzipien von ZFC.) Zbl 1099.03045
Schuster, Peter
1
2005
From sets and types to topology and analysis. Towards practicable foundations for constructive mathematics. Based on the workshop, Venice, Italy, May 12–16, 2003. Zbl 1076.03003
Crosilla, Laura; Schuster, Peter
1
2005
Compactness under constructive scrutiny. Zbl 1060.03084
Ishihara, Hajime; Schuster, Peter
8
2004
Constructive solutions of continuous equations. Zbl 1074.03030
Schuster, Peter; Schwichtenberg, Helmut
3
2004
Countable choice as a questionable uniformity principle. Zbl 1074.03003
Schuster, Peter M.
3
2004
The polydisk Nullstellensatz. Zbl 1055.03038
Bridges, Douglas; Mines, Ray; Richman, Fred; Schuster, Peter
2
2004
Unique existence, approximate solutions, and countable choice. Zbl 1050.03042
Schuster, Peter M.
5
2003
Strong versus uniform continuity: A constructive round. Zbl 1031.54016
Schuster, Peter; Vîţă, Luminiţa; Bridges, Douglas
1
2003
Apartness, topology, and uniformity: A constructive view. Zbl 1044.03047
Bridges, Douglas; Schuster, Peter; Vîţă, Luminiţa
6
2002
A constructive uniform continuity theorem. Zbl 1004.54011
Ishihara, Hajime; Schuster, Peter
3
2002
Compactness and continuity, constructively revisited. Zbl 1021.03056
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter
2
2002
Apartness as a relation between subsets. Zbl 0999.54021
Schuster, Peter; Vîţă, Luminiţa; Bridges, Douglas S.
9
2001
Reuniting the antipodes—constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16–22, 1999. Zbl 0982.00037
Schuster, Peter; Berger, Ulrich; Osswald, Horst
6
2001
A weak countable choice principle. Zbl 0949.03060
Bridges, Douglas; Richman, Fred; Schuster, Peter
9
2000
Adjoints, absolute values and polar decompositions. Zbl 0988.03093
Bridges, Douglas; Richman, Fred; Schuster, Peter
6
2000
A constructive look at generalised Cauchy reals. Zbl 0943.03049
Schuster, Peter M.
4
2000
Elementary choiceless constructive analysis. Zbl 0973.03079
Schuster, Peter M.
2
2000
Linear independence without choice. Zbl 0939.03070
Bridges, Douglas; Richman, Fred; Schuster, Peter
1
2000
Sequential compactness in constructive analysis. Zbl 1001.03056
Bridges, D.; Ishihara, H.; Schuster, P.
2
1999
Modules of singular curves with prescribed normalization. (Moduln singulärer Kurven mit vorgegebener Normalisierung.) Zbl 0882.32020
Schuster, Peter Michael
1
1995
all top 5

Cited by 99 Authors

26 Bridges, Douglas Suth
26 Schuster, Peter Michael
16 Ishihara, Hajime
9 Rinaldi, Davide
9 Vîţă, Luminiţa Simona
7 Wessel, Daniel
7 Yengui, Ihsen
6 Berger, Josef
6 Ciraulo, Francesco
6 Diener, Hannes
6 Sambin, Giovanni
5 Hendtlass, Matthew Ralph John
5 Lombardi, Henri
4 Ducos, Lionel
4 Kawai, Tatsuji
4 Lubarsky, Robert S.
4 Palmgren, Erik
4 Petrakis, Iosif
4 Richman, Fred
3 Aczel, Peter
3 Brattka, Vasco
3 Coquand, Thierry
3 Tanaka, Yasuhito
2 Baroni, Marian Alexandru
2 Gherardi, Guido
2 Herrlich, Horst
2 Katz, Mikhail G.
2 Loeb, Iris
2 Mines, Ray
2 Monceur, Samiha
2 Nemoto, Takako
2 Quitté, Claude
2 Rathjen, Michael
2 Sanders, Sam
2 Spitters, Bas
2 Svindland, Gregor
1 Alonso García, María Emilia
1 Andres, Eric
1 Ariwahjoedi, Seramika
1 Banaschewski, Bernhard
1 Banerjee, Abhishek
1 Bastin, Georges
1 Bauer, Andrej
1 Booij, Auke B.
1 Bruni, Riccardo
1 Buss, Samuel R.
1 Chollet, Agathe
1 Ciobanu, Gabriel
1 Coron, Jean-Michel
1 Crosilla, Laura
1 Dillhage, Ruth
1 Düntsch, Ivo
1 Fuchs, Laurent
1 Granström, Johan Georg
1 Hamidoglu, Ali
1 Havea, Robin S.
1 Herzberg, Frederik S.
1 Howard, Paul E.
1 Husin, I.
1 Iemhoff, Rosalie
1 Katz, Boris
1 Katz, Karin Usadi
1 Kihara, Takayuki
1 Kock, Joachim
1 Kohlenbach, Ulrich Wilhelm
1 Kudryk, Taras S.
1 Kuznets, Roman
1 Largeteau-Skapin, Gaëlle
1 Li, Dongmei
1 Lietz, Peter
1 Liu, Jinwang
1 Maietti, Maria Emilia
1 Mainzer, Klaus
1 Mortini, Raymond
1 Orłowska, Ewa S.
1 Pasquali, Fabio
1 Perdry, Hervé
1 Pitsch, Wolfgang
1 Roslavcev, Maja
1 Rupp, Rudolf
1 Rusu, Dănuţ
1 Sangu, Yasushi
1 Sebastian, I.
1 Simmons, William D.
1 Streicher, Thomas
1 Tachtsis, Eleftherios
1 Taghiyev, Mustafa H.
1 Takamura, Hiroki
1 Taschner, Rudolf J.
1 Towsner, Henry
1 Valibouze, Annick
1 van Atten, Mark
1 Van den Berg, Benno
1 Veldman, Wim
1 Wallet, Guy
1 Ward, Nicholas Dudley
1 Zen, Freddy Permana
1 Zheng, Licui
1 Ziegler, Albert
all top 5

Cited in 50 Serials

14 Annals of Pure and Applied Logic
12 Archive for Mathematical Logic
9 Mathematical Logic Quarterly (MLQ)
7 Journal of Algebra
7 Theoretical Computer Science
7 Indagationes Mathematicae. New Series
6 The Journal of Symbolic Logic
5 MSCS. Mathematical Structures in Computer Science
4 Logical Methods in Computer Science
4 Journal of Logic and Analysis
3 Journal of Pure and Applied Algebra
3 The Bulletin of Symbolic Logic
2 Communications in Algebra
2 Archiv der Mathematik
2 Studia Logica
2 The Journal of Logic and Algebraic Programming
2 ISRN Computational Mathematics
1 General Relativity and Gravitation
1 Journal of Mathematical Analysis and Applications
1 Mathematische Semesterberichte
1 Rocky Mountain Journal of Mathematics
1 Advances in Mathematics
1 Czechoslovak Mathematical Journal
1 Manuscripta Mathematica
1 Matematički Vesnik
1 Mathematische Zeitschrift
1 Monatshefte für Mathematik
1 Proceedings of the American Mathematical Society
1 SIAM Journal on Control and Optimization
1 Transactions of the American Mathematical Society
1 Journal of Symbolic Computation
1 Journal of Complexity
1 Historia Mathematica
1 Bulletin of the Polish Academy of Sciences, Mathematics
1 Applied Categorical Structures
1 Journal of Applied Non-Classical Logics
1 Annals of Mathematics and Artificial Intelligence
1 Journal of Difference Equations and Applications
1 Documenta Mathematica
1 Erkenntnis
1 LMS Journal of Computation and Mathematics
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Journal of Algebra and its Applications
1 Oberwolfach Reports
1 Logica Universalis
1 Logic and Analysis
1 Confluentes Mathematici
1 ISRN Applied Mathematics
1 Computability
1 Actes des Rencontres du C.I.R.M.

Citations by Year