×

zbMATH — the first resource for mathematics

Paris, Jeffrey Bruce

Compute Distance To:
Author ID: paris.jeffrey-bruce Recent zbMATH articles by "Paris, Jeffrey Bruce"
Published as: Paris, J.; Paris, J. B.; Paris, Jeff; Paris, Jeff B.; Paris, Jeffrey; Paris, Jeffrey B.; Paris, Jeffrey Bruce
Homepage: http://www.maths.manchester.ac.uk/~jeff/
External Links: MGP · Wikidata · ORCID · GND
Documents Indexed: 111 Publications since 1971, including 4 Books

Publications by Year

Citations contained in zbMATH Open

90 Publications have been cited 919 times in 592 Documents Cited by Year
The uncertain reasoner’s companion. A mathematical perspective. Zbl 0838.68104
Paris, J. B.
117
1994
On the scheme of induction for bounded arithmetic formulas. Zbl 0647.03046
Wilkie, A. J.; Paris, J. B.
79
1987
Provability of the pigeonhole principle and the existence of infinitely many primes. Zbl 0688.03042
Paris, J. B.; Wilkie, A. J.; Woods, A. R.
55
1988
Accessible independence results for Peano arithmetic. Zbl 0501.03017
Kirby, Laurie; Paris, Jeff
52
1982
Initial segments of models of Peano’s axioms. Zbl 0364.02032
Kirby, L. A. S.; Paris, J. B.
38
1977
A note on the inevitability of maximum entropy. Zbl 0697.68089
Paris, J. B.; Vensovská, A.
37
1990
Boolean extensions and measurable cardinals. Zbl 0216.01402
Kunen, K.; Paris, J. B.
32
1971
Counting problems in bounded arithmetic. Zbl 0572.03034
Paris, J.; Wilkie, A.
29
1985
\(\sum_n\)-collection schemas in arithmetic. Zbl 0442.03042
Paris, J. B.; Kirby, L. A. S.
27
1978
In defense of the maximum entropy inference process. Zbl 0939.68118
Paris, J.; Vencovská, A.
20
1997
Some independence results for Peano arithmetic. Zbl 0408.03048
Paris, J. B.
20
1978
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025
Hájek, Petr; Paris, Jeff; Shepherdson, John
17
2000
On the applicability of maximum entropy to inexact reasoning. Zbl 0665.68079
Paris, J. B.; Vencovská, A.
17
1989
On parameter free induction schemas. Zbl 0678.03025
Kaye, R.; Paris, J.; Dimitracopoulos, C.
17
1988
The Liar paradox and fuzzy logic. Zbl 0945.03031
Hájek, Petr; Paris, Jeff; Shepherdson, John
16
2000
Common sense and maximum entropy. Zbl 0931.68124
Paris, Jeff
15
1998
Atom exchangeability and instantial relevance. Zbl 1170.03012
Paris, J. B.; Waterhouse, P.
11
2009
A note on binary inductive logic. Zbl 1127.03015
Nix, C. J.; Paris, J. B.
11
2007
Some observations on induction in predicate probabilistic reasoning. Zbl 1003.03020
Hill, M. J.; Paris, J. B.; Wilmers, G. M.
11
2002
Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic. Zbl 1204.03026
Landes, J.; Paris, J. B.; Vencovská, A.
10
2009
O is not enough. Zbl 1175.03017
Paris, J. B.; Simmonds, R.
10
2009
A continuum of inductive methods arising from a generalized principle of instantial relevance. Zbl 1101.03022
Nix, C. J.; Paris, J. B.
10
2006
Pure inductive logic. Zbl 1338.03001
Paris, Jeffrey; Vencovská, Alena
9
2015
More on the free subset problem. Zbl 0279.02052
Devlin, K. J.; Paris, J. B.
9
1973
Some aspects of polyadic inductive logic. Zbl 1165.03325
Landes, Jürgen; Paris, Jeff; Vencovská, Alena
8
2008
A method for updating that justifies minimum cross entropy. Zbl 0779.68086
Paris, J. B.; Vencovska, A.
8
1992
On the existence of end extensions of models of bounded induction. Zbl 0695.03019
Wilkie, A.; Paris, J.
8
1989
A property of 2-sorted Peano models and program verification. Zbl 0564.03049
Csirmaz, L.; Paris, J. B.
8
1984
A note on the undefinability of cuts. Zbl 0529.03040
Paris, J. B.; Dimitracopoulos, C.
8
1983
Truth definitions for \(Delta_ 0\) formulae. Zbl 0475.03033
Paris, Jeff B.; Dimitracopoulos, Constantine
8
1982
Maximum entropy inference with quantified knowledge. Zbl 1133.03326
Barnett, Owen; Paris, Jeff
7
2008
A note on the rational closure of knowledge bases with both positive and negative knowledge. Zbl 0906.03026
Booth, R.; Paris, J. B.
7
1998
A note on a theorem of H. Friedman. Zbl 0613.03013
Dimitracopoulos, C.; Paris, J.
7
1988
Counting \(\Delta _ 0\) sets. Zbl 0627.03018
Paris, J.; Wilkie, A.
7
1987
Closure properties of countable non-standard integers. Zbl 0421.03051
Paris, J. B.; Mills, G.
7
1979
A survey of some recent results on spectrum exchangeability in polyadic inductive logic. Zbl 1237.03016
Landes, J.; Paris, J. B.; Vencovská, A.
6
2011
A characterization of the language invariant families satisfying spectrum exchangeability in polyadic inductive logic. Zbl 1251.03029
Landes, J.; Paris, J. B.; Vencovská, A.
6
2010
Semantics for fuzzy logic supporting truth functionality. Zbl 1006.03025
Paris, Jeff
6
2000
A natural prior probability distribution derived from the propositional calculus. Zbl 0821.03012
Paris, J. B.; Vencovská, A.; Wilmers, G. M.
6
1994
A model of belief. Zbl 0787.68097
Paris, J. B.; Vencovská, A.
6
1993
A note on the infeasibility of some inference processes. Zbl 0717.68045
Maung, I.; Paris, J. B.
6
1990
Some conservation results for fragments of arithmetic. Zbl 0475.03041
Paris, J. B.
6
1981
A hierarchy of cuts in models of arithmetic. Zbl 0448.03054
Paris, J. B.
6
1980
Symmetry’s end? Zbl 1229.03024
Paris, J. B.; Vencovská, A.
5
2011
Inference processes for quantified predicate knowledge. Zbl 1155.03301
Paris, J. B.; Rad, S. R.
5
2008
Language invariance and spectrum exchangeability in inductive logic. Zbl 1148.03320
Landes, Jürgen; Paris, Jeff; Vencovská, Alena
5
2007
An analogy principle in inductive logic. Zbl 1320.03055
Hill, A.; Paris, J. B.
4
2013
A note on the least informative model of a theory. Zbl 1286.03090
Paris, Jeff B.; Rad, Soroush R.
4
2010
A note on Priest’s finite inconsistent arithmetics. Zbl 1101.03023
Paris, J. B.; Pathmanathan, N.
4
2006
On filling-in missing conditional probabilities in causal networks. Zbl 1104.68107
Paris, J. B.
4
2005
When maximizing entropy gives the rational closure. Zbl 1020.03014
Hill, Lee C.; Paris, Jeff B.
4
2003
Proof systems for probabilistic uncertain reasoning. Zbl 0918.03015
Paris, J.; Vencovská, A.
4
1998
On some formalized conservation results in arithmetic. Zbl 0689.03027
Clote, P.; Hájek, P.; Paris, J.
4
1990
Combinatorial principles concerning approximations of functions. Zbl 0645.03057
Hájek, Petr; Paris, Jeff
4
1987
Models of arithmetic and the rudimentary sets. Zbl 0499.03021
Wilkie, A. J.; Paris, J. B.
4
1981
Measure and minimal degrees. Zbl 0359.02037
Paris, J. B.
4
1977
Reasoning by analogy in inductive logic. Zbl 1262.03039
Hill, Alexandra; Paris, Jeff
3
2012
Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme. Zbl 1245.03058
Adamowicz, Zofia; Kołodziejczyk, Leszek Aleksander; Paris, Jeff
3
2012
From unary to binary inductive logic. Zbl 1317.03026
Paris, Jeff B.; Vencovská, Alena
3
2011
The principle of conformity and spectrum exchangeability. Zbl 1266.03038
Landes, Jürgen; Paris, Jeff; Vencovská, Alena
3
2009
Instantial relevance in polyadic inductive logic. Zbl 1203.03031
Landes, Jürgen; Paris, Jeff; Vencovská, Alena
3
2009
Information from inconsistent knowledge: a probability logic approach. Zbl 1272.68395
Paris, Jeff B.; Picado-Muiño, David; Rosefield, Michael
3
2008
On LP-models of arithmetic. Zbl 1143.03013
Paris, J. B.; Sirokofskich, A.
3
2008
Common sense and stochastic independence. Zbl 1010.68532
Paris, J. B.; Vencovská, A.
3
2001
Characterizing some low arithmetic classes. Zbl 0635.03033
Paris, J. B.; Handley, W. G.; Wilkie, A. J.
3
1986
The pigeonhole principle and fragments of arithmetic. Zbl 0571.03028
Dimitracopoulos, C.; Paris, J.
3
1986
Regularity in models of arithmetic. Zbl 0584.03044
Mills, George; Paris, Jeff
3
1984
Patterns of indiscernibles. Zbl 0287.04006
Paris, J. B.
3
1974
A generalization of Muirhead’s inequality. Zbl 1178.26026
Paris, J. B.; Vencovská, A.
2
2009
A new criterion for comparing fuzzy logics for uncertain reasoning. Zbl 0940.03030
Bennett, A. D. C.; Paris, J. B.; Vencovská, A.
2
2000
Subsets of models of arithmetic. Zbl 0786.03027
Kossak, Roman; Paris, Jeffrey B.
2
1992
Logic colloquium ’77. Proceedings of the colloquium held in Wroclaw, August 1977. Zbl 0426.00004
Macintyre, Angus J. (ed.); Pacholski, Leszek (ed.); Paris, Jeff (ed.)
2
1978
Note on an induction axiom. Zbl 0399.03009
Paris, J. B.
2
1978
ZF\(+ \Sigma_4^0\) determinateness. Zbl 0264.02053
Paris, J. B.
2
1973
An examination of the SEP candidate analogical inference rule within pure inductive logic. Zbl 1436.03147
Howarth, E.; Paris, J. B.; Vencovská, A.
1
2016
The counterpart principle of analogical support by structural similarity. Zbl 1336.03030
Hill, Alexandra; Paris, Jeffrey Bruce
1
2014
Second order inductive logic and Wilmers’ principle. Zbl 1395.03013
Kließ, M. S.; Paris, J. B.
1
2014
Symmetry in polyadic inductive logic. Zbl 1305.03022
Paris, J. B.; Vencovská, A.
1
2012
A note on irrelevance in inductive logic. Zbl 1223.03014
Paris, Jeff B.; Vencovská, Alena
1
2011
A general representation theorem for probability functions satisfying spectrum exchangeability. Zbl 1268.03025
Paris, J. B.; Vencovská, A.
1
2009
Inconsistency as qualified truth: a probability logic approach. Zbl 1191.68697
Paris, J. B.; Picado Muiño, D.; Rosefield, M.
1
2009
There is a reason for everything (probably): On the application of maxent to induction. Zbl 1111.03024
Paris, Jeff B.; Vencovská, Alena
1
2005
Deriving information from inconsistent knowledge bases: a completeness theorem for \(^\eta\!\!\vartriangleright_\eta\). Zbl 1071.03011
Paris, Jeff
1
2004
The emergence of reasons conjecture. Zbl 1037.03019
Paris, J. B.; Vencovská, A.
1
2003
On the emergence of reasons in inductive logic. Zbl 1027.03021
Paris, J. B.; Wafy, M.
1
2001
On the structure of probability functions in the natural world. Zbl 1113.68529
Paris, J. B.; Watton, P. N.; Wilmers, G. M.
1
2000
Combinatorial statements independent of arithmetic. Zbl 0724.03025
Paris, Jeff
1
1990
Maximum entropy and inductive inference. Zbl 0691.03008
Paris, J. B.; Vencovská, A.
1
1989
Models of arithmetic and the 1-3-1 lattice. Zbl 0382.03048
Paris, J. B.
1
1977
Minimal models of \(\mathrm{ZF}\). Zbl 1416.03017
Paris, J. B.
1
1973
An examination of the SEP candidate analogical inference rule within pure inductive logic. Zbl 1436.03147
Howarth, E.; Paris, J. B.; Vencovská, A.
1
2016
Pure inductive logic. Zbl 1338.03001
Paris, Jeffrey; Vencovská, Alena
9
2015
The counterpart principle of analogical support by structural similarity. Zbl 1336.03030
Hill, Alexandra; Paris, Jeffrey Bruce
1
2014
Second order inductive logic and Wilmers’ principle. Zbl 1395.03013
Kließ, M. S.; Paris, J. B.
1
2014
An analogy principle in inductive logic. Zbl 1320.03055
Hill, A.; Paris, J. B.
4
2013
Reasoning by analogy in inductive logic. Zbl 1262.03039
Hill, Alexandra; Paris, Jeff
3
2012
Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme. Zbl 1245.03058
Adamowicz, Zofia; Kołodziejczyk, Leszek Aleksander; Paris, Jeff
3
2012
Symmetry in polyadic inductive logic. Zbl 1305.03022
Paris, J. B.; Vencovská, A.
1
2012
A survey of some recent results on spectrum exchangeability in polyadic inductive logic. Zbl 1237.03016
Landes, J.; Paris, J. B.; Vencovská, A.
6
2011
Symmetry’s end? Zbl 1229.03024
Paris, J. B.; Vencovská, A.
5
2011
From unary to binary inductive logic. Zbl 1317.03026
Paris, Jeff B.; Vencovská, Alena
3
2011
A note on irrelevance in inductive logic. Zbl 1223.03014
Paris, Jeff B.; Vencovská, Alena
1
2011
A characterization of the language invariant families satisfying spectrum exchangeability in polyadic inductive logic. Zbl 1251.03029
Landes, J.; Paris, J. B.; Vencovská, A.
6
2010
A note on the least informative model of a theory. Zbl 1286.03090
Paris, Jeff B.; Rad, Soroush R.
4
2010
Atom exchangeability and instantial relevance. Zbl 1170.03012
Paris, J. B.; Waterhouse, P.
11
2009
Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic. Zbl 1204.03026
Landes, J.; Paris, J. B.; Vencovská, A.
10
2009
O is not enough. Zbl 1175.03017
Paris, J. B.; Simmonds, R.
10
2009
The principle of conformity and spectrum exchangeability. Zbl 1266.03038
Landes, Jürgen; Paris, Jeff; Vencovská, Alena
3
2009
Instantial relevance in polyadic inductive logic. Zbl 1203.03031
Landes, Jürgen; Paris, Jeff; Vencovská, Alena
3
2009
A generalization of Muirhead’s inequality. Zbl 1178.26026
Paris, J. B.; Vencovská, A.
2
2009
A general representation theorem for probability functions satisfying spectrum exchangeability. Zbl 1268.03025
Paris, J. B.; Vencovská, A.
1
2009
Inconsistency as qualified truth: a probability logic approach. Zbl 1191.68697
Paris, J. B.; Picado Muiño, D.; Rosefield, M.
1
2009
Some aspects of polyadic inductive logic. Zbl 1165.03325
Landes, Jürgen; Paris, Jeff; Vencovská, Alena
8
2008
Maximum entropy inference with quantified knowledge. Zbl 1133.03326
Barnett, Owen; Paris, Jeff
7
2008
Inference processes for quantified predicate knowledge. Zbl 1155.03301
Paris, J. B.; Rad, S. R.
5
2008
Information from inconsistent knowledge: a probability logic approach. Zbl 1272.68395
Paris, Jeff B.; Picado-Muiño, David; Rosefield, Michael
3
2008
On LP-models of arithmetic. Zbl 1143.03013
Paris, J. B.; Sirokofskich, A.
3
2008
A note on binary inductive logic. Zbl 1127.03015
Nix, C. J.; Paris, J. B.
11
2007
Language invariance and spectrum exchangeability in inductive logic. Zbl 1148.03320
Landes, Jürgen; Paris, Jeff; Vencovská, Alena
5
2007
A continuum of inductive methods arising from a generalized principle of instantial relevance. Zbl 1101.03022
Nix, C. J.; Paris, J. B.
10
2006
A note on Priest’s finite inconsistent arithmetics. Zbl 1101.03023
Paris, J. B.; Pathmanathan, N.
4
2006
On filling-in missing conditional probabilities in causal networks. Zbl 1104.68107
Paris, J. B.
4
2005
There is a reason for everything (probably): On the application of maxent to induction. Zbl 1111.03024
Paris, Jeff B.; Vencovská, Alena
1
2005
Deriving information from inconsistent knowledge bases: a completeness theorem for \(^\eta\!\!\vartriangleright_\eta\). Zbl 1071.03011
Paris, Jeff
1
2004
When maximizing entropy gives the rational closure. Zbl 1020.03014
Hill, Lee C.; Paris, Jeff B.
4
2003
The emergence of reasons conjecture. Zbl 1037.03019
Paris, J. B.; Vencovská, A.
1
2003
Some observations on induction in predicate probabilistic reasoning. Zbl 1003.03020
Hill, M. J.; Paris, J. B.; Wilmers, G. M.
11
2002
Common sense and stochastic independence. Zbl 1010.68532
Paris, J. B.; Vencovská, A.
3
2001
On the emergence of reasons in inductive logic. Zbl 1027.03021
Paris, J. B.; Wafy, M.
1
2001
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025
Hájek, Petr; Paris, Jeff; Shepherdson, John
17
2000
The Liar paradox and fuzzy logic. Zbl 0945.03031
Hájek, Petr; Paris, Jeff; Shepherdson, John
16
2000
Semantics for fuzzy logic supporting truth functionality. Zbl 1006.03025
Paris, Jeff
6
2000
A new criterion for comparing fuzzy logics for uncertain reasoning. Zbl 0940.03030
Bennett, A. D. C.; Paris, J. B.; Vencovská, A.
2
2000
On the structure of probability functions in the natural world. Zbl 1113.68529
Paris, J. B.; Watton, P. N.; Wilmers, G. M.
1
2000
Common sense and maximum entropy. Zbl 0931.68124
Paris, Jeff
15
1998
A note on the rational closure of knowledge bases with both positive and negative knowledge. Zbl 0906.03026
Booth, R.; Paris, J. B.
7
1998
Proof systems for probabilistic uncertain reasoning. Zbl 0918.03015
Paris, J.; Vencovská, A.
4
1998
In defense of the maximum entropy inference process. Zbl 0939.68118
Paris, J.; Vencovská, A.
20
1997
The uncertain reasoner’s companion. A mathematical perspective. Zbl 0838.68104
Paris, J. B.
117
1994
A natural prior probability distribution derived from the propositional calculus. Zbl 0821.03012
Paris, J. B.; Vencovská, A.; Wilmers, G. M.
6
1994
A model of belief. Zbl 0787.68097
Paris, J. B.; Vencovská, A.
6
1993
A method for updating that justifies minimum cross entropy. Zbl 0779.68086
Paris, J. B.; Vencovska, A.
8
1992
Subsets of models of arithmetic. Zbl 0786.03027
Kossak, Roman; Paris, Jeffrey B.
2
1992
A note on the inevitability of maximum entropy. Zbl 0697.68089
Paris, J. B.; Vensovská, A.
37
1990
A note on the infeasibility of some inference processes. Zbl 0717.68045
Maung, I.; Paris, J. B.
6
1990
On some formalized conservation results in arithmetic. Zbl 0689.03027
Clote, P.; Hájek, P.; Paris, J.
4
1990
Combinatorial statements independent of arithmetic. Zbl 0724.03025
Paris, Jeff
1
1990
On the applicability of maximum entropy to inexact reasoning. Zbl 0665.68079
Paris, J. B.; Vencovská, A.
17
1989
On the existence of end extensions of models of bounded induction. Zbl 0695.03019
Wilkie, A.; Paris, J.
8
1989
Maximum entropy and inductive inference. Zbl 0691.03008
Paris, J. B.; Vencovská, A.
1
1989
Provability of the pigeonhole principle and the existence of infinitely many primes. Zbl 0688.03042
Paris, J. B.; Wilkie, A. J.; Woods, A. R.
55
1988
On parameter free induction schemas. Zbl 0678.03025
Kaye, R.; Paris, J.; Dimitracopoulos, C.
17
1988
A note on a theorem of H. Friedman. Zbl 0613.03013
Dimitracopoulos, C.; Paris, J.
7
1988
On the scheme of induction for bounded arithmetic formulas. Zbl 0647.03046
Wilkie, A. J.; Paris, J. B.
79
1987
Counting \(\Delta _ 0\) sets. Zbl 0627.03018
Paris, J.; Wilkie, A.
7
1987
Combinatorial principles concerning approximations of functions. Zbl 0645.03057
Hájek, Petr; Paris, Jeff
4
1987
Characterizing some low arithmetic classes. Zbl 0635.03033
Paris, J. B.; Handley, W. G.; Wilkie, A. J.
3
1986
The pigeonhole principle and fragments of arithmetic. Zbl 0571.03028
Dimitracopoulos, C.; Paris, J.
3
1986
Counting problems in bounded arithmetic. Zbl 0572.03034
Paris, J.; Wilkie, A.
29
1985
A property of 2-sorted Peano models and program verification. Zbl 0564.03049
Csirmaz, L.; Paris, J. B.
8
1984
Regularity in models of arithmetic. Zbl 0584.03044
Mills, George; Paris, Jeff
3
1984
A note on the undefinability of cuts. Zbl 0529.03040
Paris, J. B.; Dimitracopoulos, C.
8
1983
Accessible independence results for Peano arithmetic. Zbl 0501.03017
Kirby, Laurie; Paris, Jeff
52
1982
Truth definitions for \(Delta_ 0\) formulae. Zbl 0475.03033
Paris, Jeff B.; Dimitracopoulos, Constantine
8
1982
Some conservation results for fragments of arithmetic. Zbl 0475.03041
Paris, J. B.
6
1981
Models of arithmetic and the rudimentary sets. Zbl 0499.03021
Wilkie, A. J.; Paris, J. B.
4
1981
A hierarchy of cuts in models of arithmetic. Zbl 0448.03054
Paris, J. B.
6
1980
Closure properties of countable non-standard integers. Zbl 0421.03051
Paris, J. B.; Mills, G.
7
1979
\(\sum_n\)-collection schemas in arithmetic. Zbl 0442.03042
Paris, J. B.; Kirby, L. A. S.
27
1978
Some independence results for Peano arithmetic. Zbl 0408.03048
Paris, J. B.
20
1978
Logic colloquium ’77. Proceedings of the colloquium held in Wroclaw, August 1977. Zbl 0426.00004
Macintyre, Angus J. (ed.); Pacholski, Leszek (ed.); Paris, Jeff (ed.)
2
1978
Note on an induction axiom. Zbl 0399.03009
Paris, J. B.
2
1978
Initial segments of models of Peano’s axioms. Zbl 0364.02032
Kirby, L. A. S.; Paris, J. B.
38
1977
Measure and minimal degrees. Zbl 0359.02037
Paris, J. B.
4
1977
Models of arithmetic and the 1-3-1 lattice. Zbl 0382.03048
Paris, J. B.
1
1977
Patterns of indiscernibles. Zbl 0287.04006
Paris, J. B.
3
1974
More on the free subset problem. Zbl 0279.02052
Devlin, K. J.; Paris, J. B.
9
1973
ZF\(+ \Sigma_4^0\) determinateness. Zbl 0264.02053
Paris, J. B.
2
1973
Minimal models of \(\mathrm{ZF}\). Zbl 1416.03017
Paris, J. B.
1
1973
Boolean extensions and measurable cardinals. Zbl 0216.01402
Kunen, K.; Paris, J. B.
32
1971
all top 5

Cited by 506 Authors

40 Paris, Jeffrey Bruce
22 Vencovská, Alena
17 Krajíček, Jan
14 Visser, Albert
11 Landes, Jürgen
10 Hájek, Petr
10 Kern-Isberner, Gabriele
9 Buss, Samuel R.
9 D’Aquino, Paola
9 Flaminio, Tommaso
8 Beklemishev, Lev D.
8 Enayat, Ali
8 Willard, Dan E.
7 Bickel, David R.
7 Shelah, Saharon
6 Beierle, Christoph
6 Clote, Peter G.
6 Cornaros, Charalampos
6 Dimitracopoulos, Costas
6 Kaye, Richard W.
6 Potyka, Nico
6 Takeuti, Gaisi
5 Cordón-Franco, Andrés
5 Hosni, Hykel
5 Jeřábek, Emil
5 Kołodziejczyk, Leszek Aleksander
5 Kossak, Roman
5 Kotlarski, Henryk
5 Lara-Martín, Francisco Felix
5 Lawry, Jonathan
5 McAloon, Kenneth
5 Montagna, Franco
5 Pudlák, Pavel
5 Schmerl, James H.
5 Simpson, Stephen G.
5 Thapen, Neil
5 Weiermann, Andreas
5 Williamson, Jon
4 Adamčík, Martin
4 Atserias, Albert
4 Chong, Chi Tat
4 Dubois, Didier
4 Field, Hartry H.
4 Godo, Lluís
4 Macintyre, Angus John
4 Pitassi, Toniann
4 Rödder, Wilhelm
4 Slaman, Theodore A.
4 Thimm, Matthias
4 Thorn, Paul D.
4 Yang, Yue
4 Yokoyama, Keita
3 Beckmann, Arnold
3 Ben-Neria, Omer
3 Berarducci, Alessandro
3 Buss, Sam
3 Carlucci, Lorenzo
3 Conidis, Chris J.
3 Fedel, Martina
3 Fernández Margarit, Alejandro
3 Finthammer, Marc
3 Genitrini, Antoine
3 Gottwald, Siegfried
3 Howarth, Elizabeth
3 Howson, Colin
3 Kanamori, Akihiro
3 Kirby, Laurence
3 Kohlenbach, Ulrich Wilhelm
3 Laver, Richard Joseph
3 Mailler, Cécile
3 Müller, Moritz
3 Murawski, Roman
3 Patey, Ludovic
3 Rad, Soroush Rafiee
3 Schurz, Gerhard
3 Vetterlein, Thomas
3 Wilmers, G. M.
3 Wong, Tin Lok
2 Adamowicz, Zofia
2 Ajtai, Miklós
2 Andréka, Hajnal
2 Apter, Arthur W.
2 Bamber, Donald
2 Beame, Paul W.
2 Berardi, Stefano
2 Bonet, Maria Luisa
2 Booth, Richard F.
2 Cai, Mingzhong
2 Cichon, E. A.
2 Cintula, Petr
2 Coletti, Giulianella
2 Dehornoy, Patrick
2 Esteva, Francesc
2 Farkas, E. J.
2 Ferreira, Fernando
2 Freund, Anton
2 Friedman, Harvey M.
2 Gardy, Danièle
2 Giordano, Laura
2 Gitik, Moti
...and 406 more Authors
all top 5

Cited in 90 Serials

101 Annals of Pure and Applied Logic
56 The Journal of Symbolic Logic
39 Archive for Mathematical Logic
37 International Journal of Approximate Reasoning
24 Journal of Applied Logic
21 Theoretical Computer Science
20 Notre Dame Journal of Formal Logic
16 Journal of Philosophical Logic
13 Studia Logica
13 The Bulletin of Symbolic Logic
12 Fuzzy Sets and Systems
11 Artificial Intelligence
11 Israel Journal of Mathematics
11 Proceedings of the American Mathematical Society
11 Transactions of the American Mathematical Society
10 Mathematical Logic Quarterly (MLQ)
10 The Review of Symbolic Logic
8 Synthese
7 Information Sciences
7 Information and Computation
6 Annals of Mathematics and Artificial Intelligence
5 Advances in Mathematics
5 Journal of Applied Non-Classical Logics
5 Erkenntnis
5 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
4 Topology and its Applications
4 Logical Methods in Computer Science
3 Archiv für Mathematische Logik und Grundlagenforschung
3 Journal of Computer and System Sciences
3 Journal of Symbolic Computation
3 Journal of Logic, Language and Information
3 Soft Computing
3 Entropy
2 Discrete Mathematics
2 Information Processing Letters
2 The Mathematical Intelligencer
2 Applied Mathematics and Computation
2 Journal of Statistical Planning and Inference
2 Kybernetika
2 Combinatorica
2 History and Philosophy of Logic
2 International Journal of Intelligent Systems
2 Journal of the American Mathematical Society
2 Random Structures & Algorithms
2 Applicable Algebra in Engineering, Communication and Computing
2 Computational Complexity
2 Theory of Computing Systems
2 Journal of Mathematical Logic
2 ACM Transactions on Computational Logic
2 Logica Universalis
1 Acta Informatica
1 International Journal of General Systems
1 International Journal for Numerical Methods in Fluids
1 Lithuanian Mathematical Journal
1 Mathematische Semesterberichte
1 Periodica Mathematica Hungarica
1 Compositio Mathematica
1 Fundamenta Mathematicae
1 Publications Mathématiques
1 Journal of Algebra
1 Journal of Combinatorial Theory. Series A
1 Journal of Econometrics
1 Journal of Pure and Applied Algebra
1 Mathematical Systems Theory
1 Nagoya Mathematical Journal
1 European Journal of Combinatorics
1 Advances in Applied Mathematics
1 Statistics
1 New Generation Computing
1 Algorithmica
1 Annals of Operations Research
1 International Journal of Foundations of Computer Science
1 Communications in Statistics. Theory and Methods
1 Bulletin of the American Mathematical Society. New Series
1 Mémoires de la Société Mathématique de France. Nouvelle Série
1 Computational Statistics and Data Analysis
1 Applied Categorical Structures
1 Journal of Mathematical Sciences (New York)
1 Sbornik: Mathematics
1 Mathematical Finance
1 Topoi
1 NTM. Neue Serie
1 Communications in Nonlinear Science and Numerical Simulation
1 International Studies in the Philosophy of Science
1 Acta Numerica
1 Statistical Methods and Applications
1 New Mathematics and Natural Computation
1 Electronic Journal of Statistics
1 Algorithms
1 Sankhyā. Series A

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.