×
Author ID: ishihara.hajime Recent zbMATH articles by "Ishihara, Hajime"
Published as: Ishihara, Hajime; Ishihara, H.
all top 5

Serials

11 Mathematical Logic Quarterly (MLQ)
9 Annals of Pure and Applied Logic
6 Proceedings of the American Mathematical Society
6 Archive for Mathematical Logic
6 Indagationes Mathematicae. New Series
5 The Journal of Symbolic Logic
4 Journal of Universal Computer Science
3 Bulletin of the London Mathematical Society
3 Mathematical Structures in Computer Science
2 Theoretical Computer Science
2 New Zealand Journal of Mathematics
1 International Journal of Modern Physics B
1 Journal of Mathematical Analysis and Applications
1 Journal of Mathematical Physics
1 Mathematische Semesterberichte
1 Archiv der Mathematik
1 Canadian Mathematical Bulletin
1 Czechoslovak Mathematical Journal
1 Hokkaido Mathematical Journal
1 Kodai Mathematical Journal
1 Notre Dame Journal of Formal Logic
1 Sitzungsberichte. Abteilung II. Österreichische Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse
1 Reports on Mathematical Logic
1 Studia Logica
1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1 Information and Computation
1 Journal of Logic and Computation
1 International Journal of Foundations of Computer Science
1 Computational Complexity
1 The Bulletin of Symbolic Logic
1 RIMS Kokyuroku
1 The Quarterly Journal of Mathematics
1 Journal of the Physical Society of Japan
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Encyclopedia of Mathematics and Its Applications
1 Logical Methods in Computer Science
1 Annalen der Physik

Publications by Year

Citations contained in zbMATH Open

77 Publications have been cited 485 times in 245 Documents Cited by Year
Constructive reverse mathematics: compactness properties. Zbl 1095.03075
Ishihara, Hajime
41
2005
Continuity properties in constructive mathematics. Zbl 0771.03018
Ishihara, Hajime
25
1992
Continuity and nondiscontinuity in constructive mathematics. Zbl 0745.03048
Ishihara, Hajime
24
1991
On the constructive Hahn-Banach theorem. Zbl 0638.46056
Ishihara, Hajime
19
1989
Brouwer’s fan theorem and unique existence in constructive analysis. Zbl 1079.03059
Berger, Josef; Ishihara, Hajime
18
2005
An omniscience principle, the König lemma and the Hahn-Banach theorem. Zbl 0684.03024
Ishihara, Hajime
15
1990
Fixed point theorems for uniformly Lipschitzian semigroups in Hilbert spaces. Zbl 0637.47028
Ishihara, Hajime; Takahashi, Wataru
13
1987
Markov’s principle, Church’s thesis and Lindelöf’s theorem. Zbl 0795.03087
Ishihara, Hajime
12
1993
A constructive look at the completeness of the space \({\mathcal D}(\mathbb{R})\). Zbl 1053.03036
Ishihara, Hajime; Yoshida, Satoru
10
2002
Compactness under constructive scrutiny. Zbl 1060.03084
Ishihara, Hajime; Schuster, Peter
9
2004
On constructing completions. Zbl 1099.03044
Crosilla, Laura; Ishihara, Hajime; Schuster, Peter
9
2005
Strong continuity implies uniform sequential continuity. Zbl 1088.03048
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter; Vîţă, Luminiţa
9
2005
Linear mappings are fairly well-behaved. Zbl 0715.46053
Bridges, Douglas; Ishihara, Hajime
9
1990
Weak König’s lemma implies Brouwer’s fan theorem: a direct proof. Zbl 1111.03052
Ishihara, Hajime
9
2006
Modules of convexity, characteristic of convexity and fixed point theorems. Zbl 0654.47041
Ishihara, Hajime; Takahashi, Wataru
9
1987
Relating Bishop’s function spaces to neighbourhood spaces. Zbl 1275.03163
Ishihara, Hajime
9
2013
Consistency of the intensional level of the minimalist foundation with Church’s thesis and axiom of choice. Zbl 1522.03323
Ishihara, Hajime; Maietti, Maria Emilia; Maschio, Samuele; Streicher, Thomas
9
2018
Quotient topologies in constructive set theory and type theory. Zbl 1094.03053
Ishihara, Hajime; Palmgren, Erik
8
2006
Quasi-apartness and neighbourhood spaces. Zbl 1099.03053
Ishihara, Hajime; Mines, Ray; Schuster, Peter; Vîţă, Luminiţa
8
2006
A continuity principle, a version of Baire’s theorem and a boundedness principle. Zbl 1160.03041
Ishihara, Hajime; Schuster, Peter
8
2008
Some principles weaker than Markov’s principle. Zbl 1354.03093
Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako
8
2015
A note on the Gödel-Gentzen translation. Zbl 0939.03008
Ishihara, Hajime
8
2000
A nonlinear ergodic theorem for a reversible semigroup of Lipschitzian mappings in a Hilbert space. Zbl 0692.47010
Ishihara, Hajime; Takahashi, Wataru
8
1988
The binary expansion and the intermediate value theorem in constructive reverse mathematics. Zbl 07006134
Berger, Josef; Ishihara, Hajime; Kihara, Takayuki; Nemoto, Takako
8
2019
Sequentially continuity in constructive mathematics. Zbl 0987.03053
Ishihara, Hajime
7
2001
Fixed point theorems for Lipschitzian semigroups. Zbl 0638.47061
Ishihara, Hajime
7
1989
Classical propositional logic and decidability of variables in intuitionistic propositional logic. Zbl 1337.03017
Ishihara, Hajime
7
2014
Constructive compact operators on a Hilbert space. Zbl 0752.47040
Ishihara, Hajime
7
1991
A constructive version of Banach’s inverse mapping theorem. Zbl 0835.46068
Ishihara, Hajime
7
1994
Two subcategories of apartness spaces. Zbl 1251.03094
Ishihara, Hajime
7
2012
Binary refinement implies discrete exponentiation. Zbl 1112.03048
Aczel, Peter; Crosilla, Laura; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
6
2006
Sequential continuity of linear mappings in constructive mathematics. Zbl 0970.46050
Ishihara, Hajime
6
1997
Locating the range of an operator on a Hilbert space. Zbl 0801.46096
Bridges, Douglas; Ishihara, Hajime
6
1992
On Brouwer’s continuity principle. Zbl 1437.03175
Ishihara, Hajime
6
2018
Locating subsets of a Hilbert space. Zbl 0982.46062
Ishihara, Hajime
5
2001
Embedding classical in minimal implicational logic. Zbl 1367.03020
Ishihara, Hajime; Schwichtenberg, Helmut
5
2016
Decidable Kripke models of intuitionistic theories. Zbl 0924.03060
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil
5
1998
Generalized geometric theories and set-generated classes. Zbl 1362.03056
Aczel, Peter; Ishihara, Hajime; Nemoto, Takako; Sangu, Yasushi
4
2015
Constructive closed range and open mapping theorems. Zbl 1018.46038
Bridges, Douglas; Ishihara, Hajime
4
2000
Ishihara’s proof technique in constructive analysis. Zbl 1075.03034
Bridges, Douglas; van Dalen, Dirk; Ishihara, Hajime
4
2003
A note on the independence of premiss rule. Zbl 1357.03039
Ishihara, Hajime; Nemoto, Takako
4
2016
Coding with minimal programs. Zbl 1319.68116
Calude, Cristian S.; Ishihara, Hajime; Yamaguchi, Takeshi
4
2001
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
4
2012
Non-deterministic inductive definitions and fullness. Zbl 1433.03124
Ishihara, Hajime; Nemoto, Takako
4
2016
A definitive constructive open mapping theorem? Zbl 0917.46072
Bridges, Douglas; Ishihara, Hajime
4
1998
Apartness, compactness and nearness. Zbl 1156.54013
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter M.; Vîţă, Luminiţa
3
2008
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
3
2002
Complexity of some infinite games played on finite graphs. Zbl 1022.68086
Ishihara, Hajime; Khoussainov, Bakhadyr
3
2002
Locating subsets of a normed space. Zbl 1128.46030
Ishihara, Hajime; Vîţă, Luminiţa
3
2003
Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models. Zbl 0984.68026
Ishihara, Hajime; Kurata, Toshihiko
3
2002
Sequential compactness in constructive analysis. Zbl 1001.03056
Bridges, D.; Ishihara, H.; Schuster, P.
3
1999
A canonical model construction for substructural logics. Zbl 0959.03015
Ishihara, Hajime
3
2000
Completeness and cocompleteness of the categories of basic pairs and concrete spaces. Zbl 1362.03057
Ishihara, Hajime; Kawai, Tatsuji
3
2015
Constructive compact linear mappings. Zbl 0661.46070
Ishihara, Hajime
3
1989
A predicative completion of a uniform space. Zbl 1257.03092
Berger, Josef; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
3
2012
The uniform boundedness theorem and a boundedness principle. Zbl 1251.03087
Ishihara, Hajime
3
2012
Some conservative extension results on classical and intuitionistic sequent calculi. Zbl 1315.03108
Ishihara, Hajime
3
2012
Bishop-style constructive reverse mathematics. Zbl 07464649
Diener, Hannes; Ishihara, Hajime
3
2021
A new constructive version of Baire’s theorem. Zbl 1111.46058
Bridges, Douglas; Ishihara, Hajime; Vîţă, Luminiţa
2
2006
Various continuity properties in constructive analysis. Zbl 1036.03049
Ishihara, Hajime; Mines, Ray
2
2001
Locating the range of an operator with an adjoint. Zbl 1092.47063
Bridges, Douglas; Ishihara, Hajime; Spitters, Bas
2
2002
Absolute continuity and the uniqueness of the constructive functional calculus. Zbl 0813.03042
Bridges, Douglas; Ishihara, Hajime
2
1994
Spectra of selfadjoint operators in constructive analysis. Zbl 0852.47010
Bridges, Douglas; Ishihara, Hajime
2
1996
Computable Kripke models and intermediate logics. Zbl 0913.03033
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil
2
1998
Extended frames and separations of logical principles. Zbl 07749829
Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako; Suzuki, Nobu-Yuki; Yokoyama, Keita
2
2023
Almost locatedness in uniform spaces. Zbl 1174.03027
Bridges, Douglas; Ishihara, Hajime; Mines, Ray; Richman, Fred; Schuster, Peter; Vîţă, Luminiţa
1
2007
Relativization of real numbers to a universe. Zbl 1167.03039
Ishihara, Hajime
1
2009
Function algebraic characterizations of the polytime functions. Zbl 0962.68073
Ishihara, Hajime
1
1999
Kronecker’s density theorem and irrational numbers in constructive reverse mathematics. Zbl 1280.03059
Ishihara, Hajime; Schuster, Peter
1
2010
Unique existence and computability in constructive reverse mathematics. Zbl 1151.03351
Ishihara, Hajime
1
2007
Separation properties in neighbourhood and quasi-apartness spaces. Zbl 1134.03036
Havea, Robin; Ishihara, Hajime; Vîţă, Luminiţa
1
2008
Constructive existence of Minkowski functionals. Zbl 0776.46039
Ishihara, Hajime
1
1992
Complements of intersections in constructive mathematics. Zbl 0813.03043
Bridges, Douglas S.; Ishihara, Hajime
1
1994
Equivalents of the finitary non-deterministic inductive definitions. Zbl 1532.03079
Hirata, Ayana; Ishihara, Hajime; Kawai, Tatsuji; Nemoto, Takako
1
2019
Constructive reflexibility of a uniformly convex Banach space. Zbl 0695.46037
Ishihara, Hajime
1
1988
On the independence of premiss axiom and rule. Zbl 1485.03249
Ishihara, Hajime; Nemoto, Takako
1
2020
Extended frames and separations of logical principles. Zbl 07749829
Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako; Suzuki, Nobu-Yuki; Yokoyama, Keita
2
2023
Bishop-style constructive reverse mathematics. Zbl 07464649
Diener, Hannes; Ishihara, Hajime
3
2021
On the independence of premiss axiom and rule. Zbl 1485.03249
Ishihara, Hajime; Nemoto, Takako
1
2020
The binary expansion and the intermediate value theorem in constructive reverse mathematics. Zbl 07006134
Berger, Josef; Ishihara, Hajime; Kihara, Takayuki; Nemoto, Takako
8
2019
Equivalents of the finitary non-deterministic inductive definitions. Zbl 1532.03079
Hirata, Ayana; Ishihara, Hajime; Kawai, Tatsuji; Nemoto, Takako
1
2019
Consistency of the intensional level of the minimalist foundation with Church’s thesis and axiom of choice. Zbl 1522.03323
Ishihara, Hajime; Maietti, Maria Emilia; Maschio, Samuele; Streicher, Thomas
9
2018
On Brouwer’s continuity principle. Zbl 1437.03175
Ishihara, Hajime
6
2018
Embedding classical in minimal implicational logic. Zbl 1367.03020
Ishihara, Hajime; Schwichtenberg, Helmut
5
2016
A note on the independence of premiss rule. Zbl 1357.03039
Ishihara, Hajime; Nemoto, Takako
4
2016
Non-deterministic inductive definitions and fullness. Zbl 1433.03124
Ishihara, Hajime; Nemoto, Takako
4
2016
Some principles weaker than Markov’s principle. Zbl 1354.03093
Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako
8
2015
Generalized geometric theories and set-generated classes. Zbl 1362.03056
Aczel, Peter; Ishihara, Hajime; Nemoto, Takako; Sangu, Yasushi
4
2015
Completeness and cocompleteness of the categories of basic pairs and concrete spaces. Zbl 1362.03057
Ishihara, Hajime; Kawai, Tatsuji
3
2015
Classical propositional logic and decidability of variables in intuitionistic propositional logic. Zbl 1337.03017
Ishihara, Hajime
7
2014
Relating Bishop’s function spaces to neighbourhood spaces. Zbl 1275.03163
Ishihara, Hajime
9
2013
Two subcategories of apartness spaces. Zbl 1251.03094
Ishihara, Hajime
7
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
4
2012
A predicative completion of a uniform space. Zbl 1257.03092
Berger, Josef; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
3
2012
The uniform boundedness theorem and a boundedness principle. Zbl 1251.03087
Ishihara, Hajime
3
2012
Some conservative extension results on classical and intuitionistic sequent calculi. Zbl 1315.03108
Ishihara, Hajime
3
2012
Kronecker’s density theorem and irrational numbers in constructive reverse mathematics. Zbl 1280.03059
Ishihara, Hajime; Schuster, Peter
1
2010
Relativization of real numbers to a universe. Zbl 1167.03039
Ishihara, Hajime
1
2009
A continuity principle, a version of Baire’s theorem and a boundedness principle. Zbl 1160.03041
Ishihara, Hajime; Schuster, Peter
8
2008
Apartness, compactness and nearness. Zbl 1156.54013
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter M.; Vîţă, Luminiţa
3
2008
Separation properties in neighbourhood and quasi-apartness spaces. Zbl 1134.03036
Havea, Robin; Ishihara, Hajime; Vîţă, Luminiţa
1
2008
Almost locatedness in uniform spaces. Zbl 1174.03027
Bridges, Douglas; Ishihara, Hajime; Mines, Ray; Richman, Fred; Schuster, Peter; Vîţă, Luminiţa
1
2007
Unique existence and computability in constructive reverse mathematics. Zbl 1151.03351
Ishihara, Hajime
1
2007
Weak König’s lemma implies Brouwer’s fan theorem: a direct proof. Zbl 1111.03052
Ishihara, Hajime
9
2006
Quotient topologies in constructive set theory and type theory. Zbl 1094.03053
Ishihara, Hajime; Palmgren, Erik
8
2006
Quasi-apartness and neighbourhood spaces. Zbl 1099.03053
Ishihara, Hajime; Mines, Ray; Schuster, Peter; Vîţă, Luminiţa
8
2006
Binary refinement implies discrete exponentiation. Zbl 1112.03048
Aczel, Peter; Crosilla, Laura; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
6
2006
A new constructive version of Baire’s theorem. Zbl 1111.46058
Bridges, Douglas; Ishihara, Hajime; Vîţă, Luminiţa
2
2006
Constructive reverse mathematics: compactness properties. Zbl 1095.03075
Ishihara, Hajime
41
2005
Brouwer’s fan theorem and unique existence in constructive analysis. Zbl 1079.03059
Berger, Josef; Ishihara, Hajime
18
2005
On constructing completions. Zbl 1099.03044
Crosilla, Laura; Ishihara, Hajime; Schuster, Peter
9
2005
Strong continuity implies uniform sequential continuity. Zbl 1088.03048
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter; Vîţă, Luminiţa
9
2005
Compactness under constructive scrutiny. Zbl 1060.03084
Ishihara, Hajime; Schuster, Peter
9
2004
Ishihara’s proof technique in constructive analysis. Zbl 1075.03034
Bridges, Douglas; van Dalen, Dirk; Ishihara, Hajime
4
2003
Locating subsets of a normed space. Zbl 1128.46030
Ishihara, Hajime; Vîţă, Luminiţa
3
2003
A constructive look at the completeness of the space \({\mathcal D}(\mathbb{R})\). Zbl 1053.03036
Ishihara, Hajime; Yoshida, Satoru
10
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
3
2002
Complexity of some infinite games played on finite graphs. Zbl 1022.68086
Ishihara, Hajime; Khoussainov, Bakhadyr
3
2002
Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models. Zbl 0984.68026
Ishihara, Hajime; Kurata, Toshihiko
3
2002
Locating the range of an operator with an adjoint. Zbl 1092.47063
Bridges, Douglas; Ishihara, Hajime; Spitters, Bas
2
2002
Sequentially continuity in constructive mathematics. Zbl 0987.03053
Ishihara, Hajime
7
2001
Locating subsets of a Hilbert space. Zbl 0982.46062
Ishihara, Hajime
5
2001
Coding with minimal programs. Zbl 1319.68116
Calude, Cristian S.; Ishihara, Hajime; Yamaguchi, Takeshi
4
2001
Various continuity properties in constructive analysis. Zbl 1036.03049
Ishihara, Hajime; Mines, Ray
2
2001
A note on the Gödel-Gentzen translation. Zbl 0939.03008
Ishihara, Hajime
8
2000
Constructive closed range and open mapping theorems. Zbl 1018.46038
Bridges, Douglas; Ishihara, Hajime
4
2000
A canonical model construction for substructural logics. Zbl 0959.03015
Ishihara, Hajime
3
2000
Sequential compactness in constructive analysis. Zbl 1001.03056
Bridges, D.; Ishihara, H.; Schuster, P.
3
1999
Function algebraic characterizations of the polytime functions. Zbl 0962.68073
Ishihara, Hajime
1
1999
Decidable Kripke models of intuitionistic theories. Zbl 0924.03060
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil
5
1998
A definitive constructive open mapping theorem? Zbl 0917.46072
Bridges, Douglas; Ishihara, Hajime
4
1998
Computable Kripke models and intermediate logics. Zbl 0913.03033
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil
2
1998
Sequential continuity of linear mappings in constructive mathematics. Zbl 0970.46050
Ishihara, Hajime
6
1997
Spectra of selfadjoint operators in constructive analysis. Zbl 0852.47010
Bridges, Douglas; Ishihara, Hajime
2
1996
A constructive version of Banach’s inverse mapping theorem. Zbl 0835.46068
Ishihara, Hajime
7
1994
Absolute continuity and the uniqueness of the constructive functional calculus. Zbl 0813.03042
Bridges, Douglas; Ishihara, Hajime
2
1994
Complements of intersections in constructive mathematics. Zbl 0813.03043
Bridges, Douglas S.; Ishihara, Hajime
1
1994
Markov’s principle, Church’s thesis and Lindelöf’s theorem. Zbl 0795.03087
Ishihara, Hajime
12
1993
Continuity properties in constructive mathematics. Zbl 0771.03018
Ishihara, Hajime
25
1992
Locating the range of an operator on a Hilbert space. Zbl 0801.46096
Bridges, Douglas; Ishihara, Hajime
6
1992
Constructive existence of Minkowski functionals. Zbl 0776.46039
Ishihara, Hajime
1
1992
Continuity and nondiscontinuity in constructive mathematics. Zbl 0745.03048
Ishihara, Hajime
24
1991
Constructive compact operators on a Hilbert space. Zbl 0752.47040
Ishihara, Hajime
7
1991
An omniscience principle, the König lemma and the Hahn-Banach theorem. Zbl 0684.03024
Ishihara, Hajime
15
1990
Linear mappings are fairly well-behaved. Zbl 0715.46053
Bridges, Douglas; Ishihara, Hajime
9
1990
On the constructive Hahn-Banach theorem. Zbl 0638.46056
Ishihara, Hajime
19
1989
Fixed point theorems for Lipschitzian semigroups. Zbl 0638.47061
Ishihara, Hajime
7
1989
Constructive compact linear mappings. Zbl 0661.46070
Ishihara, Hajime
3
1989
A nonlinear ergodic theorem for a reversible semigroup of Lipschitzian mappings in a Hilbert space. Zbl 0692.47010
Ishihara, Hajime; Takahashi, Wataru
8
1988
Constructive reflexibility of a uniformly convex Banach space. Zbl 0695.46037
Ishihara, Hajime
1
1988
Fixed point theorems for uniformly Lipschitzian semigroups in Hilbert spaces. Zbl 0637.47028
Ishihara, Hajime; Takahashi, Wataru
13
1987
Modules of convexity, characteristic of convexity and fixed point theorems. Zbl 0654.47041
Ishihara, Hajime; Takahashi, Wataru
9
1987
all top 5

Cited by 181 Authors

36 Ishihara, Hajime
33 Bridges, Douglas Suth
21 Schuster, Peter Michael
15 Fujiwara, Makoto
12 Petrakis, Iosif
11 Berger, Josef
10 Diener, Hannes
10 Nemoto, Takako
9 Kawai, Tatsuji
9 Vîţă, Luminiţa Simona
7 Hendtlass, Matthew Ralph John
7 Lubarsky, Robert S.
7 Rathjen, Michael
7 Takahashi, Wataru
7 Wessel, Daniel
5 Calude, Cristian S.
5 Khoussainov, Bakhadyr M.
5 Maschio, Samuele
5 Svindland, Gregor
4 Brattka, Vasco
4 Maietti, Maria Emilia
4 Sanders, Sam
4 Velupillai, Kumaraswamy (Vela)
3 Aczel, Peter
3 Ciraulo, Francesco
3 Jain, Sanjay
3 Kamide, Norihiro
3 Kihara, Takayuki
3 Kohlenbach, Ulrich Wilhelm
3 Loeb, Iris
3 Nerode, Anil
3 Richman, Fred
3 Rinaldi, Davide
3 Spitters, Bas
3 Stephan, Frank
3 Xu, Hong-Kun
2 Baroni, Marian Alexandru
2 Fellin, Giulio
2 Gherardi, Guido
2 Havea, Robin S.
2 Hötzel Escardó, Martín
2 Kurahashi, Taishi
2 Li, Wei
2 McKubre-Jordens, Maarten
2 Morillon, Marianne
2 Moschovakis, Joan Rand
2 Negri, Sara
2 Niki, Satoru
2 Palmgren, Erik
2 Papini, Pier Luigi
2 Sambin, Giovanni
2 Suzuki, Nobu-Yuki
2 Tan, Kok-Keong
2 Tanaka, Yasuhito
2 Vafeiadou, Garyfallia
2 Van den Berg, Benno
2 Zhang, Peijun
1 Albius, Edmond
1 Banaschewski, Bernhard
1 Baronti, Marco
1 Bauer, Andrej
1 Beckenstein, Edward
1 Bickford, Mark
1 Blechschmidt, Ingo
1 Booij, Auke Bart
1 Buss, Samuel R.
1 Carnielli, Walter Alexandre
1 Chen, Ray-Ming
1 Cheng, Qingjin
1 Chumuang, Kornwirin
1 Cohen, Liron
1 Constable, Robert Lee
1 Contente, Michele
1 Crosilla, Laura
1 Deng, Lei
1 Djafari Rouhani, Behzad
1 Dodu, Juliette
1 Düntsch, Ivo
1 Dumitrescu, Monica E. Bad
1 Eberhard, Sebastian
1 Espínola García, Rafael
1 Fleischer, Rudolf
1 Forster, Yannick
1 Ganguli, Suman
1 Gaspar, Jaime
1 Gatema, Raweewan
1 Ghilezan, Silvia
1 Gordeev, Lev
1 Górnicki, Jarosław
1 Granström, Johan Georg
1 Haeusler, Edward Hermann
1 Hagemeier, Christian
1 He, Lili
1 Higuchi, Kojiro
1 Hirata, Ayana
1 Hirvonen, Åsa
1 Hoyrup, Mathieu
1 Hudzik, Henryk
1 Humberstone, Lloyd
1 Iemhoff, Rosalie
...and 81 more Authors
all top 5

Cited in 55 Serials

26 Annals of Pure and Applied Logic
23 Archive for Mathematical Logic
22 Mathematical Logic Quarterly (MLQ)
15 The Journal of Symbolic Logic
11 Indagationes Mathematicae. New Series
8 Theoretical Computer Science
7 Logical Methods in Computer Science
6 Journal of Mathematical Analysis and Applications
6 Proceedings of the American Mathematical Society
6 Mathematical Structures in Computer Science
5 Studia Logica
5 The Bulletin of Symbolic Logic
5 Nonlinear Analysis. Theory, Methods & Applications
3 Applied Mathematics and Computation
3 Journal of Philosophical Logic
3 Kodai Mathematical Journal
3 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
3 Notre Dame Journal of Formal Logic
3 New Mathematics and Natural Computation
3 Computability
2 Bulletin of the Section of Logic
2 Journal of Complexity
2 LMS Journal of Computation and Mathematics
2 The Journal of Logic and Algebraic Programming
2 Thai Journal of Mathematics
2 Fixed Point Theory and Applications
2 Journal of Logic and Analysis
1 Mathematische Semesterberichte
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of Mathematical Economics
1 Monatshefte für Mathematik
1 Quaestiones Mathematicae
1 SIAM Journal on Computing
1 Topology and its Applications
1 Mathematical Social Sciences
1 Information and Computation
1 Journal of Logic, Language and Information
1 Topological Methods in Nonlinear Analysis
1 Journal of Applied Non-Classical Logics
1 Georgian Mathematical Journal
1 Fractals
1 Documenta Mathematica
1 Theory of Computing Systems
1 Acta Mathematica Sinica. English Series
1 Foundations of Science
1 Oberwolfach Reports
1 Logica Universalis
1 Logic and Analysis
1 Confluentes Mathematici
1 The Review of Symbolic Logic
1 Annals of Functional Analysis
1 ISRN Applied Mathematics
1 ISRN Computational Mathematics
1 Journal of Logical and Algebraic Methods in Programming
1 Transactions of the American Mathematical Society. Series B

Citations by Year