×

zbMATH — the first resource for mathematics

Takeuti, Gaisi

Compute Distance To:
Author ID: takeuti.gaisi Recent zbMATH articles by "Takeuti, Gaisi"
Published as: Takeuti, G.; Takeuti, Gaisi
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 107 Publications since 1952, including 12 Books
Biographic References: 3 Publications

Publications by Year

Citations contained in zbMATH Open

80 Publications have been cited 791 times in 590 Documents Cited by Year
Proof theory. Zbl 0354.02027
Takeuti, Gaisi
89
1975
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Zbl 0575.03015
Takeuti, Gaisi; Titani, Satoko
69
1984
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
59
1987
Two applications of logic to mathematics. Zbl 0393.03027
Takeuti, Gaisi
56
1978
Bounded arithmetic and the polynomial hierarchy. Zbl 0736.03022
Krajíček, Jan; Pudlák, Pavel; Takeuti, Gaisi
42
1991
Globalization of intuitionistic set theory. Zbl 0633.03050
Takeuti, Gaisi; Titani, Satoko
36
1987
Introduction to axiomatic set theory. Zbl 0225.02043
Takeuti, G.; Zaring, W. M.
26
1971
Axiomatic set theory. Zbl 0261.02038
Takeuti, G.; Zaring, W. M.
25
1973
Proof theory. Zbl 0355.02023
Takeuti, Gaisi
22
1975
Consistency proofs of subsystems of classical analysis. Zbl 0159.00905
Takeuti, G.
22
1967
First order bounded arithmetic and small Boolean circuit complexity classes. Zbl 0838.03043
Clote, Peter; Takeuti, Gaisi
19
1995
Fuzzy logic and fuzzy set theory. Zbl 0786.03039
Takeuti, Gaisi; Titani, Satoko
19
1992
Bounded arithmetic for NC, ALogTIME, L and NL. Zbl 0772.03028
Clote, P.; Takeuti, G.
16
1992
Introduction to axiomatic set theory. 2nd ed. Zbl 0489.03017
Takeuti, Gaisi; Zaring, Wilson M.
14
1982
Formally self-referential propositions for cut free classical analysis and related systems. Zbl 0336.02027
Kreisel, Georg; Takeuti, G.
14
1974
\(RSUV\) isomorphisms. Zbl 0792.03041
Takeuti, Gaisi
13
1993
A transfer principle in harmonic analysis. Zbl 0427.03047
Takeuti, Gaisi
13
1979
On the recursive functions of ordinal numbers. Zbl 0095.01101
Takeuti, Gaisi
13
1960
On a generalized logic calculus. Zbl 0053.20202
Takeuti, Gaisi
13
1953
Ordinal diagrams. Zbl 0079.24410
Takeuti, Gaisi
12
1957
Computational complexity and proof theory. Zbl 0681.03039
Takeuti, Gaisi
10
1987
Von Neumann algebras and Boolean valued analysis. Zbl 0488.46052
Takeuti, Gaisi
10
1983
Global intuitionistic fuzzy set theory. Zbl 0593.03031
Takeuti, Gaisi; Titani, Satoko
9
1986
Heyting valued universes of intuitionistic set theory. Zbl 0482.03023
Takeuti, Gaisi; Titani, Satoko
9
1981
The universe of set theory. Zbl 0182.01202
Takeuti, Gaisi
9
1969
On induction-free provability. Zbl 0865.03045
Krajíček, Jan; Takeuti, Gaisi
7
1992
Bounded arithmetic and truth definition. Zbl 0653.03038
Takeuti, Gaisi
7
1988
\(C^*\)-algebras and Boolean valued analysis. Zbl 0538.46060
Takeuti, Gaisi
7
1983
A formal system of first-order predicate calculus with infinitely long expressions. Zbl 0108.00203
Maehara, Shôji; Takeuti, Gaisi
7
1962
Ordinal diagrams. II. Zbl 0097.24602
Takeuti, Gaisi
7
1960
Exponential time and bounded arithmetic. Zbl 0621.03026
Clote, Peter; Takeuti, Gaisi
6
1986
First order topology. Zbl 0399.03019
Henson, C. W.; Jockusch, C. G. jun.; Rubel, L. A.; Takeuti, G.
5
1977
The ordinals of the systems of second order arithmetic with the provably \(\Delta^1_2\)-comprehension axiom and with the \(\Delta^1_2\)-comprehension axiom respectively. Zbl 0287.02016
Takeuti, Gaisi; Yasugi, Mariko
5
1973
Two interpolation theorems for a predicate calculus. Zbl 0278.02013
Maehara, Shoji; Takeuti, Gaisi
5
1971
On the fundamental conjecture of \(GLC\). I, II. Zbl 0086.00704
Takeuti, Gaisi
5
1955
Gödel sentences of bounded arithmetic. Zbl 1075.03029
Takeuti, Gaisi
4
2000
Sharply bounded arithmetic and the function \(a\dot-1\). Zbl 0707.03046
Takeuti, Gaisi
4
1990
On predicates with constructive infinitely long expressions. Zbl 0118.25001
Takeuti, G.; Kino, A.
4
1963
On the fundamental conjecture of \(GLC\). V. Zbl 0075.23304
Takeuti, Gaisi
4
1958
Forcing on bounded arithmetic. II. Zbl 0920.03061
Takeuti, Gaisi; Yasumoto, Masahiro
3
1998
Provably total function in bounded arithmetic theories \(R_ 3^ i\), \(U_ 2^ i\) and \(V_ 2^ i\). Zbl 0799.03065
Buss, Samuel R.; Krajíček, Jan; Takeuti, Gaisi
3
1993
\(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\). Zbl 0681.03040
Takeuti, Gaisi
3
1990
Some relations among systems for bounded arithmetic. Zbl 0790.03057
Takeuti, Gaisi
3
1990
A relativization of axioms of strong infinity to \(\omega^ 1\). Zbl 0198.02202
Takeuti, G.
3
1970
A formalization of the theory of ordinal numbers. Zbl 0147.26102
Takeuti, G.
3
1965
A remark on Gentzen’s paper ’Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie’. I, II. Zbl 0126.01102
Takeuti, G.
3
1963
Dirac space. Zbl 0129.41503
Takeuti, G.
3
1962
On the inductive definition with quantifiers of second order. Zbl 0109.00602
Takeuti, Gaisi
3
1962
On the theory of ordinal numbers. Zbl 0084.00804
Takeuti, Gaisi
3
1957
Separations of theories in weak bounded arithmetic. Zbl 0816.03026
Takeuti, Gaisi
2
1995
Boolean simple groups and Boolean simple rings. Zbl 0653.03034
Takeuti, Gaisi
2
1988
On the theory of quasi ordinal diagrams. Zbl 0644.03030
Okada, Mitsuhiro; Takeuti, Gaisi
2
1987
Global intuitionistic analysis. Zbl 0615.03048
Takeuti, Gaisi; Titani, Satoko
2
1986
An accessibility proof of ordinal diagrams. Zbl 0472.03045
Takeuti, Gaisi; Yasugi, Mariko
2
1981
Boolean valued analysis. Zbl 0427.03046
Takeuti, Gaisi
2
1979
Reflection principles of subsystems of analysis. Zbl 0186.01003
Takeuti, G.; Yasugi, M.
2
1968
Transcendence of cardinals. Zbl 0192.04202
Takeuti, G.
2
1965
Remarks on Cantor’s Absolute. II. Zbl 0145.01001
Takeuti, G.
2
1961
Remarks on Cantor’s Absolute. Zbl 0145.00903
Takeuti, G.
2
1961
On the fundamental conjecture of GLC. VI. Zbl 0106.23702
Takeuti, Gaisi
2
1961
Construction of the set theory from the theory of ordinal numbers. Zbl 0084.00803
Takeuti, Gaisi
2
1954
Errata to “On a generalized logic calculus”. Zbl 0053.20301
Takeuti, Gaisi
2
1954
A metamathematical theorem on the theory of ordinal numbers. Zbl 0048.03601
Takeuti, Gaisi
2
1952
Kreisel and I. Zbl 0894.01015
Takeuti, Gaisi
1
1996
Forcing on bounded arithmetic. Zbl 0864.03038
Takeuti, Gaisi; Yasumoto, Masahiro
1
1996
RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\). Zbl 0811.03043
Takeuti, G.
1
1995
Grzegorcyk’s hierarchy and \(\text{Iep}\Sigma_ 1\). Zbl 0816.03028
Takeuti, Gaisi
1
1994
A second order version of \(S^ i_ 2\) and \(U^ 1_ 2\). Zbl 0747.03028
Takeuti, Gaisi
1
1991
On bounded \(\Sigma{}_ 1^ 1\) polynomial induction. Zbl 0764.03022
Krajíček, Jan; Takeuti, Gaisi
1
1990
Logic symposia, Hakone 1979, 1980. Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980. Zbl 0465.00005
Müller, G. H. (ed.); Takeuti, G. (ed.); Tugue, T. (ed.)
1
1981
Fundamental sequences of ordinal diagrams. Zbl 0357.02026
Takeuti, Gaisi; Yasugi, Mariko
1
1976
A determinate logic. Zbl 0194.30901
Takeuti, G.
1
1970
Formalization principle. Zbl 0182.32801
Takeuti, G.
1
1968
A determinate logic. Zbl 0182.32501
Takeuti, G.
1
1968
On hierarchies of predicates of ordinal numbers. Zbl 0199.02702
Takeuti, G.; Kino, A.
1
1962
Axioms of infinity of set theory. Zbl 0127.24410
Takeuti, G.
1
1961
An example on the fundamental conjecture of \(GLC\). Zbl 0075.23404
Takeuti, Gaisi
1
1960
On the theory of ordinal numbers. II. Zbl 0095.01003
Takeuti, Gaisi
1
1958
On the fundamental conjecture of \(GLC\). IV. Zbl 0075.23303
Takeuti, Gaisi
1
1956
On the fundamental conjecture of \(GLC\). III. Zbl 0075.23302
Takeuti, Gaisi
1
1956
Gödel sentences of bounded arithmetic. Zbl 1075.03029
Takeuti, Gaisi
4
2000
Forcing on bounded arithmetic. II. Zbl 0920.03061
Takeuti, Gaisi; Yasumoto, Masahiro
3
1998
Kreisel and I. Zbl 0894.01015
Takeuti, Gaisi
1
1996
Forcing on bounded arithmetic. Zbl 0864.03038
Takeuti, Gaisi; Yasumoto, Masahiro
1
1996
First order bounded arithmetic and small Boolean circuit complexity classes. Zbl 0838.03043
Clote, Peter; Takeuti, Gaisi
19
1995
Separations of theories in weak bounded arithmetic. Zbl 0816.03026
Takeuti, Gaisi
2
1995
RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\). Zbl 0811.03043
Takeuti, G.
1
1995
Grzegorcyk’s hierarchy and \(\text{Iep}\Sigma_ 1\). Zbl 0816.03028
Takeuti, Gaisi
1
1994
\(RSUV\) isomorphisms. Zbl 0792.03041
Takeuti, Gaisi
13
1993
Provably total function in bounded arithmetic theories \(R_ 3^ i\), \(U_ 2^ i\) and \(V_ 2^ i\). Zbl 0799.03065
Buss, Samuel R.; Krajíček, Jan; Takeuti, Gaisi
3
1993
Fuzzy logic and fuzzy set theory. Zbl 0786.03039
Takeuti, Gaisi; Titani, Satoko
19
1992
Bounded arithmetic for NC, ALogTIME, L and NL. Zbl 0772.03028
Clote, P.; Takeuti, G.
16
1992
On induction-free provability. Zbl 0865.03045
Krajíček, Jan; Takeuti, Gaisi
7
1992
Bounded arithmetic and the polynomial hierarchy. Zbl 0736.03022
Krajíček, Jan; Pudlák, Pavel; Takeuti, Gaisi
42
1991
A second order version of \(S^ i_ 2\) and \(U^ 1_ 2\). Zbl 0747.03028
Takeuti, Gaisi
1
1991
Sharply bounded arithmetic and the function \(a\dot-1\). Zbl 0707.03046
Takeuti, Gaisi
4
1990
\(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\). Zbl 0681.03040
Takeuti, Gaisi
3
1990
Some relations among systems for bounded arithmetic. Zbl 0790.03057
Takeuti, Gaisi
3
1990
On bounded \(\Sigma{}_ 1^ 1\) polynomial induction. Zbl 0764.03022
Krajíček, Jan; Takeuti, Gaisi
1
1990
Bounded arithmetic and truth definition. Zbl 0653.03038
Takeuti, Gaisi
7
1988
Boolean simple groups and Boolean simple rings. Zbl 0653.03034
Takeuti, Gaisi
2
1988
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
59
1987
Globalization of intuitionistic set theory. Zbl 0633.03050
Takeuti, Gaisi; Titani, Satoko
36
1987
Computational complexity and proof theory. Zbl 0681.03039
Takeuti, Gaisi
10
1987
On the theory of quasi ordinal diagrams. Zbl 0644.03030
Okada, Mitsuhiro; Takeuti, Gaisi
2
1987
Global intuitionistic fuzzy set theory. Zbl 0593.03031
Takeuti, Gaisi; Titani, Satoko
9
1986
Exponential time and bounded arithmetic. Zbl 0621.03026
Clote, Peter; Takeuti, Gaisi
6
1986
Global intuitionistic analysis. Zbl 0615.03048
Takeuti, Gaisi; Titani, Satoko
2
1986
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Zbl 0575.03015
Takeuti, Gaisi; Titani, Satoko
69
1984
Von Neumann algebras and Boolean valued analysis. Zbl 0488.46052
Takeuti, Gaisi
10
1983
\(C^*\)-algebras and Boolean valued analysis. Zbl 0538.46060
Takeuti, Gaisi
7
1983
Introduction to axiomatic set theory. 2nd ed. Zbl 0489.03017
Takeuti, Gaisi; Zaring, Wilson M.
14
1982
Heyting valued universes of intuitionistic set theory. Zbl 0482.03023
Takeuti, Gaisi; Titani, Satoko
9
1981
An accessibility proof of ordinal diagrams. Zbl 0472.03045
Takeuti, Gaisi; Yasugi, Mariko
2
1981
Logic symposia, Hakone 1979, 1980. Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980. Zbl 0465.00005
Müller, G. H. (ed.); Takeuti, G. (ed.); Tugue, T. (ed.)
1
1981
A transfer principle in harmonic analysis. Zbl 0427.03047
Takeuti, Gaisi
13
1979
Boolean valued analysis. Zbl 0427.03046
Takeuti, Gaisi
2
1979
Two applications of logic to mathematics. Zbl 0393.03027
Takeuti, Gaisi
56
1978
First order topology. Zbl 0399.03019
Henson, C. W.; Jockusch, C. G. jun.; Rubel, L. A.; Takeuti, G.
5
1977
Fundamental sequences of ordinal diagrams. Zbl 0357.02026
Takeuti, Gaisi; Yasugi, Mariko
1
1976
Proof theory. Zbl 0354.02027
Takeuti, Gaisi
89
1975
Proof theory. Zbl 0355.02023
Takeuti, Gaisi
22
1975
Formally self-referential propositions for cut free classical analysis and related systems. Zbl 0336.02027
Kreisel, Georg; Takeuti, G.
14
1974
Axiomatic set theory. Zbl 0261.02038
Takeuti, G.; Zaring, W. M.
25
1973
The ordinals of the systems of second order arithmetic with the provably \(\Delta^1_2\)-comprehension axiom and with the \(\Delta^1_2\)-comprehension axiom respectively. Zbl 0287.02016
Takeuti, Gaisi; Yasugi, Mariko
5
1973
Introduction to axiomatic set theory. Zbl 0225.02043
Takeuti, G.; Zaring, W. M.
26
1971
Two interpolation theorems for a predicate calculus. Zbl 0278.02013
Maehara, Shoji; Takeuti, Gaisi
5
1971
A relativization of axioms of strong infinity to \(\omega^ 1\). Zbl 0198.02202
Takeuti, G.
3
1970
A determinate logic. Zbl 0194.30901
Takeuti, G.
1
1970
The universe of set theory. Zbl 0182.01202
Takeuti, Gaisi
9
1969
Reflection principles of subsystems of analysis. Zbl 0186.01003
Takeuti, G.; Yasugi, M.
2
1968
Formalization principle. Zbl 0182.32801
Takeuti, G.
1
1968
A determinate logic. Zbl 0182.32501
Takeuti, G.
1
1968
Consistency proofs of subsystems of classical analysis. Zbl 0159.00905
Takeuti, G.
22
1967
A formalization of the theory of ordinal numbers. Zbl 0147.26102
Takeuti, G.
3
1965
Transcendence of cardinals. Zbl 0192.04202
Takeuti, G.
2
1965
On predicates with constructive infinitely long expressions. Zbl 0118.25001
Takeuti, G.; Kino, A.
4
1963
A remark on Gentzen’s paper ’Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie’. I, II. Zbl 0126.01102
Takeuti, G.
3
1963
A formal system of first-order predicate calculus with infinitely long expressions. Zbl 0108.00203
Maehara, Shôji; Takeuti, Gaisi
7
1962
Dirac space. Zbl 0129.41503
Takeuti, G.
3
1962
On the inductive definition with quantifiers of second order. Zbl 0109.00602
Takeuti, Gaisi
3
1962
On hierarchies of predicates of ordinal numbers. Zbl 0199.02702
Takeuti, G.; Kino, A.
1
1962
Remarks on Cantor’s Absolute. II. Zbl 0145.01001
Takeuti, G.
2
1961
Remarks on Cantor’s Absolute. Zbl 0145.00903
Takeuti, G.
2
1961
On the fundamental conjecture of GLC. VI. Zbl 0106.23702
Takeuti, Gaisi
2
1961
Axioms of infinity of set theory. Zbl 0127.24410
Takeuti, G.
1
1961
On the recursive functions of ordinal numbers. Zbl 0095.01101
Takeuti, Gaisi
13
1960
Ordinal diagrams. II. Zbl 0097.24602
Takeuti, Gaisi
7
1960
An example on the fundamental conjecture of \(GLC\). Zbl 0075.23404
Takeuti, Gaisi
1
1960
On the fundamental conjecture of \(GLC\). V. Zbl 0075.23304
Takeuti, Gaisi
4
1958
On the theory of ordinal numbers. II. Zbl 0095.01003
Takeuti, Gaisi
1
1958
Ordinal diagrams. Zbl 0079.24410
Takeuti, Gaisi
12
1957
On the theory of ordinal numbers. Zbl 0084.00804
Takeuti, Gaisi
3
1957
On the fundamental conjecture of \(GLC\). IV. Zbl 0075.23303
Takeuti, Gaisi
1
1956
On the fundamental conjecture of \(GLC\). III. Zbl 0075.23302
Takeuti, Gaisi
1
1956
On the fundamental conjecture of \(GLC\). I, II. Zbl 0086.00704
Takeuti, Gaisi
5
1955
Construction of the set theory from the theory of ordinal numbers. Zbl 0084.00803
Takeuti, Gaisi
2
1954
Errata to “On a generalized logic calculus”. Zbl 0053.20301
Takeuti, Gaisi
2
1954
On a generalized logic calculus. Zbl 0053.20202
Takeuti, Gaisi
13
1953
A metamathematical theorem on the theory of ordinal numbers. Zbl 0048.03601
Takeuti, Gaisi
2
1952
all top 5

Cited by 488 Authors

20 Vychodil, Vilém
19 Nishimura, Hirokazu
17 Takeuti, Gaisi
14 Krajíček, Jan
14 Kusraev, Anatoly Georgievich
11 Baaz, Matthias
10 Bělohlávek, Radim
9 Kutateladze, Semën Samsonovich
8 Rathjen, Michael
7 Arai, Toshiyasu
7 Buss, Samuel R.
7 Pohlers, Wolfram
7 Pollett, Chris
6 Ciabattoni, Agata
6 Cook, Stephen Arthur
6 Ferreira, Fernando
6 Gottwald, Siegfried
6 Kamide, Norihiro
6 Luo, Yan Feng
6 Mints, Grigoriĭ Efroimovich
6 Ozawa, Masanao
6 Titani, Satoko
5 Avron, Arnon
5 Ferro, Ruggero
5 Gao, Xing
5 Hesselink, Wim H.
5 Jeřábek, Emil
5 Leitsch, Alexander
5 Pudlák, Pavel
5 Schütte, Kurt
4 Beckmann, Arnold
4 Carbone, Antonio
4 Greenberg, Noam
4 Hájek, Petr
4 Hetzl, Stefan
4 Kołodziejczyk, Leszek Aleksander
4 Kurahashi, Taishi
4 Motohashi, Nobuyoshi
4 Müller, Moritz
4 Preining, Norbert
4 Willard, Dan E.
4 Yasugi, Mariko
3 Apter, Arthur W.
3 Běhounek, Libor
3 Cintula, Petr
3 Clote, Peter G.
3 Drossos, Costas A.
3 Ferreira, Gilda
3 Iemhoff, Rosalie
3 Jäger, Gerhard
3 Kumar de, Sujit
3 Lempp, Steffen
3 Sana, Shibsankar
3 Simpson, Stephen G.
3 Takano, Mitio
3 Visser, Albert
3 Wansing, Heinrich Theodor
3 Wygralak, Maciej
3 Zafiris, Elias
2 Adelman, Murray
2 Aehlig, Klaus
2 Aoyama, Hiroshi
2 Atanassov, Krassimir Todorov
2 Avigad, Jeremy
2 Baldi, Paolo
2 Banai, Miklos
2 Bankston, Paul
2 Baratella, Stefano
2 Bibel, Wolfgang
2 Bloch, Stephen A.
2 Boos, William
2 Buchholz, Wilfried
2 Buss, Sam
2 Catlow, J. R. G.
2 Chinchilla, Eugenio
2 Ciraulo, Francesco
2 Coquand, Thierry
2 Cordero, Pablo
2 Cornelis, Chris
2 Crossley, John Newsome
2 Danner, Norman
2 Deschrijver, Glad
2 Dubois, Didier
2 El-Zekey, Moataz Saleh
2 Enciso, Manuel
2 Esteva, Francesc
2 Fasching, Oliver
2 Friedman, Harvey M.
2 Gallier, Jean H.
2 Godo, Lluís
2 Gordeev, Lev
2 Gratzl, Norbert
2 Haeusler, Edward Hermann
2 Hao, Yifei
2 Huet, Gerard P.
2 Isles, David
2 Japaridze, Giorgi
2 Jech, Thomas J.
2 Kach, Asher M.
2 Kanckos, Annika
...and 388 more Authors
all top 5

Cited in 108 Serials

78 The Journal of Symbolic Logic
70 Annals of Pure and Applied Logic
55 Archive for Mathematical Logic
29 Fuzzy Sets and Systems
28 Theoretical Computer Science
22 Studia Logica
16 International Journal of Theoretical Physics
13 The Bulletin of Symbolic Logic
11 Archiv für Mathematische Logik und Grundlagenforschung
11 Information Sciences
11 Information and Computation
10 Siberian Mathematical Journal
10 Mathematical Logic Quarterly (MLQ)
8 Notre Dame Journal of Formal Logic
7 International Journal of General Systems
6 Nagoya Mathematical Journal
6 Proceedings of the American Mathematical Society
6 Rendiconti del Seminario Matematico della Università di Padova
6 Soft Computing
6 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
6 Vladikavkazskiĭ Matematicheskiĭ Zhurnal
5 Publications of the Research Institute for Mathematical Sciences, Kyoto University
5 Semigroup Forum
5 Journal of Symbolic Computation
4 Journal of Philosophical Logic
4 Journal of Automated Reasoning
4 International Journal of Approximate Reasoning
4 Computational Complexity
4 Journal of Mathematical Sciences (New York)
4 Proceedings of the Japan Academy
4 The Review of Symbolic Logic
3 Artificial Intelligence
3 Discrete Mathematics
3 Applied Mathematics and Computation
3 Journal of Pure and Applied Algebra
3 Mathematische Annalen
3 Synthese
3 Transactions of the American Mathematical Society
3 Journal of Logic, Language and Information
3 Journal of Applied Non-Classical Logics
3 Journal of Mathematical Logic
2 Acta Informatica
2 Israel Journal of Mathematics
2 Journal of Mathematical Physics
2 Advances in Mathematics
2 Journal of Algebra
2 Journal of Computer and System Sciences
2 Journal of Soviet Mathematics
2 Order
2 Formal Aspects of Computing
2 Annals of Mathematics and Artificial Intelligence
2 Portugaliae Mathematica. Nova Série
2 Logica Universalis
2 Logical Methods in Computer Science
2 Journal of Applied and Industrial Mathematics
2 Eurasian Mathematical Journal
1 Computers & Mathematics with Applications
1 Discrete Applied Mathematics
1 Journal of the Franklin Institute
1 Lithuanian Mathematical Journal
1 Mathematical Notes
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Reports on Mathematical Physics
1 Reviews in Mathematical Physics
1 Journal of Geometry and Physics
1 The Mathematical Intelligencer
1 Algebra and Logic
1 Fundamenta Mathematicae
1 International Journal of Game Theory
1 Journal of Combinatorial Theory. Series B
1 Journal of Economic Theory
1 Kodai Mathematical Journal
1 Manuscripta Mathematica
1 Mathematica Slovaca
1 Monatshefte für Mathematik
1 Proceedings of the Japan Academy. Series A
1 Rendiconti del Seminario Matemàtico e Fisico di Milano
1 Tohoku Mathematical Journal. Second Series
1 European Journal of Combinatorics
1 History and Philosophy of Logic
1 Acta Applicandae Mathematicae
1 Journal of Computer Science and Technology
1 New Generation Computing
1 International Journal of Intelligent Systems
1 Annals of Operations Research
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Foundations of Computer Science
1 Linear Algebra and its Applications
1 Indagationes Mathematicae. New Series
1 Applicable Algebra in Engineering, Communication and Computing
1 Applied Categorical Structures
1 Doklady Mathematics
1 Representation Theory
1 Topoi
1 Open Systems & Information Dynamics
1 Positivity
1 Erkenntnis
1 Foundations of Science
1 The Journal of Logic and Algebraic Programming
...and 8 more Serials
all top 5

Cited in 42 Fields

497 Mathematical logic and foundations (03-XX)
137 Computer science (68-XX)
33 Functional analysis (46-XX)
26 Order, lattices, ordered algebraic structures (06-XX)
25 Quantum theory (81-XX)
23 Category theory; homological algebra (18-XX)
17 Combinatorics (05-XX)
10 General topology (54-XX)
9 Group theory and generalizations (20-XX)
8 Operator theory (47-XX)
8 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
7 General and overarching topics; collections (00-XX)
6 Information and communication theory, circuits (94-XX)
5 Algebraic geometry (14-XX)
5 Real functions (26-XX)
5 Operations research, mathematical programming (90-XX)
5 Systems theory; control (93-XX)
4 History and biography (01-XX)
4 Topological groups, Lie groups (22-XX)
4 Measure and integration (28-XX)
3 General algebraic systems (08-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
3 Abstract harmonic analysis (43-XX)
3 Differential geometry (53-XX)
3 Global analysis, analysis on manifolds (58-XX)
3 Probability theory and stochastic processes (60-XX)
2 Field theory and polynomials (12-XX)
2 Commutative algebra (13-XX)
2 Geometry (51-XX)
2 Algebraic topology (55-XX)
1 Number theory (11-XX)
1 Associative rings and algebras (16-XX)
1 Nonassociative rings and algebras (17-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Ordinary differential equations (34-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Convex and discrete geometry (52-XX)
1 Statistics (62-XX)
1 Mechanics of particles and systems (70-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.