Book Chapter
Partition relations in arithmetic
P. Clote
Lecture Notes in Mathematics, 1985, Volume 1130, Methods in Mathematical Logic, Pages 32-68
Journal Article
On Approximate Majority and Probabilistic Time
Emanuele Viola
Computational Complexity, 2009, Volume 18, Number 3, Pages 337-375
Book Chapter
Indescribability properties and small large cardinals
Keith J. Devlin
Lecture Notes in Mathematics, 1975, Volume 499, ?ISILC Logic Conference, Pages 89-114
Book Chapter
Completeness theorems for the general theory of stochastic processes
Sergio Fajardo
Lecture Notes in Mathematics, 1985, Volume 1130, Methods in Mathematical Logic, Pages 174-194
Book Chapter
On Two Models of Provability
Sergei Artemov
International Mathematical Series, 1, Volume 5, Mathematical Problems from Applied Logic II, Pages 1-52
Book Chapter
Probabilistic machines, oracles, and quantifiers
Peter G. Hinman and Stathis Zachos
Lecture Notes in Mathematics, 1985, Volume 1141, Recursion Theory Week, Pages 159-192
Book Chapter
Quantifiers and Logical Reductions
Springer Monographs in Mathematics, 2006, Finite Model Theory, Pages 307-338
Book Chapter
Oracles and quantifiers
J. A. Makowsky and Y. B. Pnueli
Lecture Notes in Computer Science, 1994, Volume 832, Computer Science Logic, Pages 189-222
Book Chapter
Constructive validity
Dana Scott
Lecture Notes in Mathematics, 1970, Volume 125, Symposium on Automatic Demonstration, Pages 237-275
Book Chapter
Indistinguishability and First-Order Logic
Skip Jordan and Thomas Zeugmann
Lecture Notes in Computer Science, 2008, Volume 4978, Theory and Applications of Models of Computation, Pages 94-104