Porter, Christopher

• 3922801
  Bienvenu, Laurent(F-UBORD-LBI)
  Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux
  33405 Talence, France ; Porter, Christopher P.(1-DRAK)

  Department of Mathematics and Computer Science, Drake University
  Des Moines, Iowa, 50311
  On the interplay between effective notions of randomness and genericity. (English summary)
  J. Symb. Log. 84 (2019), no. 1, 393-407.
  03D28 (03D32)
• 3832113
  Cenzer, Douglas(1-FL)
  Department of Mathematics, University of Florida
  Gainesville, Florida, 32611 ; Porter, Christopher P.(1-DRAK)

  Department of Mathematics and Computer Science, Drake University
  Des Moines, Iowa, 50311
  The random members of a class. (English summary)
  Theory Comput. Syst. 62 (2018), no. 7, 1637-1671.
  03D32 (68Q30)
  
• 3689372
  Barmpalias, George(PRC-ASBJ-LC)
  Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences (CAS)
  Beijing, Peoples Republic of China ; Cenzer, Douglas(1-FL)

  Department of Mathematics, University of Florida
  Gainesville, Florida, 32611 ; Porter, Christopher P.(1-DRAK)

  Department of Mathematics and Computer Science, Drake University
  Des Moines, Iowa, 50311
  The probability of a computable output from a random oracle. (English summary)
  ACM Trans. Comput. Log. 18 (2017), no. 3, Art. 18, 15 pp.
  68Q30 (03D05)
  
• 3689372
  Barmpalias, George(PRC-ASBJ-LC)
  Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences (CAS)
  Beijing, Peoples Republic of China ; Cenzer, Douglas(1-FL)

  Department of Mathematics, University of Florida
  Gainesville, Florida, 32611 ; Porter, Christopher P.(1-DRAK)

  Department of Mathematics and Computer Science, Drake University
  Des Moines, Iowa, 50311
  The probability of a computable output from a random oracle. (English summary)
  ACM Trans. Comput. Log. 18 (2017), no. 3, Art. 18, 15 pp.
  68Q30 (03D05)
  
• 3681097
  Bienvenu, Laurent(F-LIRMM)
  Laboratoire d'Informatique, Robotique et Microélectronique de Montpellier (LIRMM)
  34392 Montpellier Cedex 5, France ; Hölzl, Rupert(D-BND2I)

  Universität (Hochschule) der Bundeswehr München (University of the Federal Armed Forces)
  D-85577 Neubiberg/Munich, Germany ; Porter, Christopher P.(1-DRAK)

  Department of Mathematics and Computer Science, Drake University
  Des Moines, Iowa, 50311 ; Shafer, Paul(4-LEED-SM)

  School of Mathematics, University of Leeds
  Leeds, LS2 9JT, England
  Randomness and semimeasures. (English summary)
  Notre Dame J. Form. Log. 58 (2017), no. 3, 301-328.
  03D32
  
• 3629268
  Barmpalias, George(PRC-ASBJ-LC)
  Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences (CAS)
  Beijing, Peoples Republic of China ; Cenzer, Douglas(1-FL)

  Department of Mathematics, University of Florida
  Gainesville, Florida, 32611 ; Porter, Christopher P.(1-DRAK)

  Department of Mathematics and Computer Science, Drake University
  Des Moines, Iowa, 50311 ;
  Random numbers as probabilities of machine behavior. (English summary)
  Theoret. Comput. Sci. 673 (2017), 1-18.
  03D32 (68Q30)
  
• 3603657
  Hölzl, Rupert(D-BND2I-TMO)
  Institut für Theoretische Informatik, Mathematik und Operations Research (Institute 1), Universität (Hochschule) der Bundeswehr München (University of the Federal Armed Forces)
  85577 Neubiberg, Germany ; Porter, Christopher P.(1-DRAK)

  Department of Mathematics and Computer Science, Drake University
  Des Moines, Iowa, 50311 ;
  Randomness for computable measures and initial segment complexity. (English summary)
  Ann. Pure Appl. Logic 168 (2017), no. 4, 860-886.
  03D32
  
• 3569166
  Porter, Christopher P.(1-FL)
  Department of Mathematics, University of Florida
  Gainesville, Florida, 32611
  On analogues of the Church-Turing thesis in algorithmic randomness. (English summary)
  Rev. Symb. Log. 9 (2016), no. 3, 456-479.
  
  
• 3532695
  Bienvenu, Laurent(RS-IUM-LP); Porter, Christopher P.(1-FL)
  Deep $\Pi_1^0$$\Pi_1^0$ classes. (English summary)
  Bull. Symb. Log. 22 (2016), no. 2, 249-286.
  03D32 (03D80 68Q30)
  
• 3457547
  Culver, Quinn(1-FRDH); Porter, Christopher P.(1-FL)
  The interplay of classes of algorithmically random objects. (English summary)
  J. Log. Anal. 7 (2015), Paper 7, 25 pp.
  03D32 (03D80 68Q30)
  
• 3411165
  Kučera, Antonín(CZ-KARLMP); Nies, André(NZ-AUCK-C); Porter, Christopher P.(1-FL)
  Demuth's path to randomness. (English summary)
  Bull. Symb. Log. 21 (2015), no. 3, 270-305.
  03D32 (01A60 03-03 03D30 03F60)
  
• 3368603
  Cenzer, Douglas(1-FL); Porter, Christopher P.(1-FL)
  Algorithmically random functions and effective capacities. (English summary) Theory and applications of models of computation, 23-37,
  Lecture Notes in Comput. Sci., 9076, Springer, Cham, 2015.
  03D32 (60B99)
  
• 3334257
  Porter, Christopher P.(1-FL)
  Trivial measures are not so trivial. (English summary)
  Theory Comput. Syst. 56 (2015), no. 3, 487-512.
  03D32 (68Q30)
  
• 3187639
  Porter, Christopher P.(1-NDM)
  Kolmogorov on the role of randomness in probability theory. (English summary)
  Math. Structures Comput. Sci. 24 (2014), no. 3, e240302, 17 pp.
  60-03 (01A60 03D32 60A05 62A01)
  
• 2974238
  Bienvenu, Laurent(F-PARIS7-FA); Porter, Christopher(1-NDM)
  Strong reductions in effective randomness. (English summary)
  Theoret. Comput. Sci. 459 (2012), 55-68.
  03D32 (03D30 68Q30)