Jeff Paris

Q: What Schools Are Affiliated With Jeff Paris

Jeff Paris is affiliated with the following schools: Victoria University of Manchester, Imperial College London, University of Oxford, University of Manchester

Jeff Paris 's AcademicInfluence.com Rankings

Jeff Paris

Mathematics

#1921

World Rank

#3045

Historical Rank

Measure Theory

#2130

World Rank

#2573

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Why Is Jeff Paris Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Jeffrey Bruce Paris is a British mathematician and Professor of Logic in the School of Mathematics at the University of Manchester. Education Paris gained his doctorate supervised by Robin Gandy at Manchester in 1969 with a dissertation on Large Cardinals and the Generalized Continuum Hypothesis.

(See a Problem?)

Jeff Paris 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A Mathematical Incompleteness in Peano Arithmetic (1977) (442)
The Uncertain Reasoner's Companion: A Mathematical Perspective (1994) (358)
The Type Theoretic Interpretation of Constructive Set Theory (1978) (332)
Accessible Independence Results for Peano Arithmetic (1982) (250)
On the scheme of induction for bounded arithmetic formulas (1987) (232)
A note on the inevitability of maximum entropy (1990) (177)
Counting problems in bounded arithmetic (1985) (165)
Provability of the pigeonhole principle and the existence of infinitely many primes (1988) (147)
∑n-Collection Schemas in Arithmetic (1978) (144)
In defense of the maximum entropy inference process (1997) (118)
Initial segments of models of Peano's axioms (1977) (114)
Common Sense and Maximum Entropy (1998) (103)
A note on the Dutch Book method (2001) (90)
The liar paradox and fuzzy logic (2000) (81)
Boolean extensions and measurable cardinals (1971) (78)
On the applicability of maximum entropy to inexact reasoning (1989) (73)
A Hierarchy of Cuts in Models of Arithmetic (1980) (69)
Some independence results for Peano arithmetic (1978) (67)
On models of arithmetic (1972) (65)
A note on the undefinability of cuts (1983) (64)
On parameter free induction schemas (1988) (56)
Counting $Δ_0$ sets (1987) (49)
Pure Inductive Logic (2015) (49)
A Note on the Rational Closure of Knowledge Bases with Both Positive and Negative Knowledge (1998) (48)
Some conservation results for fragments of arithmetic (1981) (44)
On the Existence of end Extensions of Models of Bounded Induction (1989) (39)
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic (2000) (38)
The Uncertain Reasoner's Companion: Bibliography (1995) (36)
The Pigeonhole Principle and Fragments of Arithmetic (1986) (36)
O IS NOT ENOUGH (2009) (33)
A Continuum of Inductive Methods Arising from a Generalized Principle of Instantial Relevance (2006) (30)
A method for updating that justifies minimum cross entropy (1992) (28)
A Natural Prior Probability Distribution Derived from the Propositional Calculus (1994) (26)
Common sense and stochastic independence (2001) (26)
A Note on Binary Inductive Logic (2007) (26)
Atom Exchangeability and Instantial Relevance (2009) (25)
Closure properties of countable non-standard integers (1979) (24)
Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic (2009) (24)
A note on the infeasibility of some inference processes (1990) (21)
Some Observations on Induction in Predicate Probabilistic Reasoning (2002) (21)
MATHEMATICS IN THE ALTERNATIVE SET THEORY (1981) (20)
Maximum Entropy Inference with Quantified Knowledge (2007) (19)
A New Criterion for Comparing Fuzzy Logics for Uncertain Reasoning (2000) (19)
Combinatorial principles concerning approximations of functions (1987) (18)
An Analogy Principle in Inductive Logic (2013) (18)
A Note on a Theorem of H. FRIEDMAN (1988) (17)
Semantics for fuzzy logic supporting truth functionality (2000) (17)
Some Aspects of Polyadic Inductive Logic (2008) (17)
The Uncertain Reasoner's Companion (Cambridge Tracts in Theoretical Computer Science) (2006) (15)
More on the free subset problem (1973) (15)
Proof systems for probabilistic uncertain reasoning (1998) (14)
A Model of Belief (1993) (14)
A characterization of the Language Invariant families satisfying Spectrum Exchangeability in Polyadic Inductive Logic (2010) (14)
A survey of some recent results on Spectrum Exchangeability in Polyadic Inductive Logic (2009) (14)
A Note on the Least Informative Model of a Theory (2010) (13)
Inference Processes for Quantified Predicate Knowledge (2008) (13)
When Maximizing Entropy gives the Rational Closure (2003) (12)
On the Structure of Probability Functions in the Natural World (2000) (11)
Truth definitions without exponentiation and the Σ1 collection scheme (2012) (11)
A semantics for Fuzzy Logic (1997) (11)
Subsets of models of arithmetic (1992) (11)
On some formalized conservation results in arithmetic (1990) (11)
Information from Inconsistent Knowledge: A Probability Logic Approach (2008) (11)
A Note on Priest's Finite Inconsistent Arithmetics (2006) (11)
On Filling-in Missing Conditional Probabilities in Causal Networks (2005) (11)
A dialogue on fuzzy logic (1997) (11)
Inconsistency as qualified truth: A probability logic approach (2009) (11)
Regularity in models of arithmetic (1984) (10)
Measure and minimal degrees (1977) (10)
Goodstein algorithm as a super-transient dynamical system (1993) (10)
On LP-models of arithmetic (2008) (9)
Patterns of Indiscernibles (1974) (9)
Models of arithmetic and the 1-3-1 lattice (1977) (9)
A Property of 2-Sorted Peano Models and Program Verification (1984) (9)
What You See Is What You Get (2014) (9)
$ZF \vdash \sum^0_4$ Determinateness (1972) (9)
A GENERALIZATION OF MUIRHEAD'S INEQUALITY (2009) (9)
Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for etatriangel righteta (2004) (8)
Language Invariance and Spectrum Exchangeability in Inductive Logic (2007) (8)
A Note on Irrelevance in Inductive Logic (2011) (8)
The Counterpart Principle of Analogical Support by Structural Similarity (2014) (8)
From Unary to Binary Inductive Logic (2011) (7)
An examination of the SEP candidate analogical inference rule within pure inductive logic (2016) (7)
A general family of overdispersed probability laws (2002) (7)
Maximum Entropy and Inductive Inference (1989) (7)
The emergence of reasons conjecture (2003) (6)
The Twin Continua of Inductive Methods (2015) (6)
The Dutch Book Argument (2015) (5)
PURE INDUCTIVE LOGIC WITH FUNCTIONS (2019) (5)
The principle of conformity and spectrum exchangeability (2009) (5)
A General Representation Theorem for Probability Functions Satisfying Spectrum Exchangeability (2009) (5)
Instantial Relevance in Polyadic Inductive Logic (2009) (5)
Predicate Exchangeability and Language Invariance in Pure Inductive Logic (2013) (5)
The Indian Schema Analogy Principles (2016) (4)
On the Emergence of Reasons in Inductive Logic (2001) (4)
THE THEORY OF SPECTRUM EXCHANGEABILITY (2014) (4)
Note on an induction axiom (1978) (4)
Combinatorial Statements Independent of Arithmetic (1990) (4)
Combining Analogical Support in Pure Inductive Logic (2017) (4)
Rationality As Conformity (2005) (4)
The Indian Schema as Analogical Reasoning (2016) (3)
An observation on Carnap's Continuum and stochastic independencies (2013) (3)
On the Distribution of Probability Functions in the Natural World (2001) (3)
Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 (1978) (3)
Symmetry in Polyadic Inductive Logic (2012) (3)
Inexact and Inductive Reasoning (1989) (2)
A Note on Nathanial's Invariance Principle in Polyadic Inductive Logic (2011) (2)
Pure Inductive Logic , Workshop Notes for Progic 2015 (2015) (2)
On the structure of models of bounded $E\sb 1$-induction (1984) (2)
Proceedings of the 2004 international conference on Alan Mathison Turing: a celebration of his life and achievements (2004) (2)
A note on *-conditioning (2017) (2)
Six Problems in Pure Inductive Logic (2018) (2)
Translation Invariance and Miller’s Weather Example (2019) (2)
Alan Mathison Turing 2004: a celebration of his life and achievements (2004) (2)
Ancient Indian Logic and Analogy (2017) (2)
Belief Formation by Constructing Models (1995) (2)
Principles of uncertain reasoning (1996) (1)
Equalities and Inequalities (2015) (1)
An inequality concerning the expected values of row-sum and column-sum products in Boolean matrices (2016) (1)
Ancient Indian Logic, Pakṣa and Analogy (2017) (1)
Second order inductive logic and Wilmers' principle (2014) (1)
Principles of Remembering and Forgetting (2014) (1)
The Uncertain Reasoner's Companion: Belief as Probability (1995) (1)
Sets Satisfying 0 (1976) (1)
On the Distribution of Natural Probability Functions (1999) (1)
There Is a Reason for Everything (Probably): On the Application of Maxent to Induction (2002) (1)
Instantial Relevance and Sx (2015) (0)
The Finite Values Property (2016) (0)
PIP and Atom Exchangeability (2015) (0)
Combining Analogical Support in Pure Inductive Logic (2016) (0)
Sx without Language Invariance (2015) (0)
Pure Inductive Logic: Polyadic Symmetry (2015) (0)
Pure Inductive Logic: Equality (2015) (0)
The Uncertain Reasoner's Companion: Uncertain Reasoning in the Predicate Calculus (1995) (0)
De Finetti's Representation Theorem (2015) (0)
The Counterpart Principle of Analogical Support by Structural Similarity (2013) (0)
A New Criterion for Comparing Fuzzy Logi s forUn ertain (1996) (0)
Specifying Probability Functions (2015) (0)
ZF sigma 0 4 Determinateness. (1972) (0)
Review: K. McAloon, Modeles de l'arithmetique, Siminaire Paris VII (1983) (0)
The Theory of Spectrum (0)
Pure Inductive Logic: A General Representation Theorem for Sx (2015) (0)
Translation Invariance and Miller’s Weather Example (2019) (0)
ZF sigma04 Determinateness (1972) (0)
Language Invariance with Sx (2015) (0)
Dempster–Shafer Belief (1995) (0)
Asymptotic Conditional Probabilities (2015) (0)
The NP-Continuum (2015) (0)
Introduction to Unary Pure Inductive Logic (2015) (0)
Analogy as Possible Identity within Pure Inductive Logic (2017) (0)
The Uncertain Reasoner's Companion: Justifying Belief as Probability (1995) (0)
Another Continuum of Inductive Methods (2015) (0)
Introduction to Polyadic Pure Inductive Logic (2015) (0)
The Conditionalization Theorem (2015) (0)
The Polyadic Johnson's Sufficientness Postulate (2015) (0)
Pure Inductive Logic Framework (2011) (0)
The Probability Functions up,L (2015) (0)
Less Well Travelled Roads (2015) (0)
An Equivalent of Language Invariance (2016) (0)
European summer meeting of the Association for Symbolic Logic, Manchester, England, 1984 (1986) (0)
Review: J. I. Friedman, Proper Classes as Members of Extended Sets (1975) (0)
Six Problems in Pure Inductive Logic (2018) (0)
Logic Colloquium '84 Proceedings of the Colloquium Held in Manchester, U.K., July 1984 (1986) (0)
Friedman J. I.. Proper classes as members of extended sets. Mathematische Annalen , vol. 83 (1969), pp. 232–240. (1975) (0)
The Homogeneous/Heterogeneous Divide (2015) (0)
A Note on Priest ’ s Finite Inconsistent (2017) (0)
Pure Inductive Logic: Introduction to Pure Inductive Logic (2015) (0)
Regularity and Universal Certainty (2015) (0)
Max deutsch/intentionalism and intransitivity O. lombardi/dretske, Shannon's theory and the interpre-tation of information Wayne wright/distracted drivers and unattended experience (2005) (0)
Pure Inductive Logic: The Carnap-Stegmüller Principle (2015) (0)
Pure Inductive Logic: Carnap's Continuum of Inductive Methods (2015) (0)
Some Basic Principles (2015) (0)
Principles of Predicate Uncertain Reasoning (1995) (0)
Representation Theorems for Sx (2015) (0)
Deriving information from inconsistent knowledge bases: A completeness proof for $^\eta\rhd_\eta$" (2004) (0)
The Uncertain Reasoner's Companion: Truth-functional Belief (1995) (0)
The Weak Irrelevance Principle (2015) (0)
Principles of Analogy (2015) (0)
Polyadic Constant Exchangeability (2015) (0)
The Uncertain Reasoner's Companion: Inference Processes (1995) (0)
Review: Franco Montagna, Giulia Simi, Andrea Sorbi, Logic and Probabilistic Systems (2000) (0)
Pure Inductive Logic: Conformity (2015) (0)
Symmetry in Polyadic Inductive Logic (2011) (0)
Pure Inductive Logic Workshop Notes for ISLA 2014 (2014) (0)
A proof of the base case of the Emergence of Reason ’ s Conjecture for CM ∞ and all s (2014) (0)
Montagna Franco, Simi Giulia, and Sorbi Andrea. Logic and probabilistic systems. Archive for mathematical logic , vol. 35 (1996), pp. 225–261. (2000) (0)

This paper list is powered by the following services:

Other Resources About Jeff Paris

What Schools Are Affiliated With Jeff Paris ?

Jeff Paris is affiliated with the following schools:

Jeff Paris 's Academic­Influence.com Rankings