# zbMATH — the first resource for mathematics

## Porter, Christopher P.

Compute Distance To:
 Author ID: porter.christopher-p Published as: Porter, Christopher; Porter, Christopher P. External Links: MGP
 Documents Indexed: 20 Publications since 2012, including 3 Books
all top 5

#### Co-Authors

 5 single-authored 6 Cenzer, Douglas 4 Bienvenu, Laurent 3 Hölzl, Rupert 2 Barmpalias, George 2 Zapletal, Jindřich 1 Culver, Quinn 1 Franklin, Johanna N. Y. 1 Kučera, Antonín 1 Larson, Jean A. 1 Nies, André Otfrid 1 Shafer, Paul
all top 5

#### Serials

 2 The Journal of Symbolic Logic 2 Theoretical Computer Science 2 The Bulletin of Symbolic Logic 2 Theory of Computing Systems 1 Notre Dame Journal of Formal Logic 1 Annals of Pure and Applied Logic 1 Journal of Logic and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Historia Mathematica 1 ACM Transactions on Computational Logic 1 Lecture Notes in Logic 1 Journal of Logic and Analysis 1 The Review of Symbolic Logic

#### Fields

 19 Mathematical logic and foundations (03-XX) 9 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 2 Probability theory and stochastic processes (60-XX)

#### Citations contained in zbMATH Open

9 Publications have been cited 27 times in 20 Documents Cited by Year
Strong reductions in effective randomness. Zbl 1283.68170
Bienvenu, Laurent; Porter, Christopher
2012
Demuth’s path to randomness. Zbl 1348.03002
Kučera, Antonín; Nies, André; Porter, Christopher P.
2015
Deep $$\Pi_1^0$$ classes. Zbl 1401.03077
Bienvenu, Laurent; Porter, Christopher P.
2016
Trivial measures are not so trivial. Zbl 1330.03079
Porter, Christopher P.
2015
The probability of a computable output from a random oracle. Zbl 1407.03056
Barmpalias, George; Cenzer, Douglas; Porter, Christopher P.
2017
Randomness and semimeasures. Zbl 1417.03242
Bienvenu, Laurent; Hölzl, Rupert; Porter, Christopher P.; Shafer, Paul
2017
Random numbers as probabilities of machine behavior. Zbl 1370.03061
Barmpalias, George; Cenzer, Douglas; Porter, Christopher P.
2017
Randomness for computable measures and initial segment complexity. Zbl 1404.03039
Hölzl, Rupert; Porter, Christopher P.
2017
The interplay of classes of algorithmically random objects. Zbl 1452.03095
Culver, Quinn; Porter, Christopher P.
2015
The probability of a computable output from a random oracle. Zbl 1407.03056
Barmpalias, George; Cenzer, Douglas; Porter, Christopher P.
2017
Randomness and semimeasures. Zbl 1417.03242
Bienvenu, Laurent; Hölzl, Rupert; Porter, Christopher P.; Shafer, Paul
2017
Random numbers as probabilities of machine behavior. Zbl 1370.03061
Barmpalias, George; Cenzer, Douglas; Porter, Christopher P.
2017
Randomness for computable measures and initial segment complexity. Zbl 1404.03039
Hölzl, Rupert; Porter, Christopher P.
2017
Deep $$\Pi_1^0$$ classes. Zbl 1401.03077
Bienvenu, Laurent; Porter, Christopher P.
2016
Demuth’s path to randomness. Zbl 1348.03002
Kučera, Antonín; Nies, André; Porter, Christopher P.
2015
Trivial measures are not so trivial. Zbl 1330.03079
Porter, Christopher P.
2015
The interplay of classes of algorithmically random objects. Zbl 1452.03095
Culver, Quinn; Porter, Christopher P.
2015
Strong reductions in effective randomness. Zbl 1283.68170
Bienvenu, Laurent; Porter, Christopher
2012
all top 5

#### Cited by 22 Authors

 6 Porter, Christopher P. 3 Hölzl, Rupert 3 Nies, André Otfrid 3 Rute, Jason 2 Bienvenu, Laurent 2 Miller, Joseph S. 2 Yu, Liang 1 Bauwens, Bruno 1 Brattka, Vasco 1 Cenzer, Douglas 1 Day, Adam R. 1 Higuchi, Kojiro 1 Hiura, Ken 1 Kihara, Takayuki 1 Kjos-Hanssen, Bjørn 1 Kučera, Antonín 1 Merkle, Wolfgang 1 Patey, Ludovic 1 Sasa, Shin-ichi 1 Simpson, Stephen G. 1 Stephan, Frank 1 Zhu, Yizheng
all top 5

#### Cited in 9 Serials

 3 The Bulletin of Symbolic Logic 3 Theory of Computing Systems 2 The Journal of Symbolic Logic 2 Theoretical Computer Science 2 Annals of Pure and Applied Logic 2 Information and Computation 1 Journal of Statistical Physics 1 Transactions of the American Mathematical Society 1 Mathematical Logic Quarterly (MLQ)
all top 5

#### Cited in 6 Fields

 18 Mathematical logic and foundations (03-XX) 10 Computer science (68-XX) 2 Real functions (26-XX) 2 Probability theory and stochastic processes (60-XX) 1 History and biography (01-XX) 1 Statistical mechanics, structure of matter (82-XX)