Alan R. Woods

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Some problems in logic and number theory, and their connections	2020-03-30	Paper
A new proof of the weak pigeonhole principle Proceedings of the thirty-second annual ACM symposium on Theory of computing	2014-09-26	Paper
Some natural zero one laws for ordinals below \(\epsilon _{0}\) Lecture Notes in Computer Science	2012-08-14	Paper
On bounded arithmetic augmented by the ability to count certain sets of primes Journal of Symbolic Logic	2009-06-04	Paper
And/or tree probabilities of Boolean functions	2006-08-29	Paper
Subset sum ``cubes and the complexity of primality testing Theoretical Computer Science	2004-10-27	Paper
A new proof of the weak pigeonhole principle Journal of Computer and System Sciences	2002-09-12	Paper
The number of Boolean functions computed by formulas of a given size	1999-12-19	Paper
scientific article; zbMATH DE number 1072417 (Why is no real title available?)	1998-01-28	Paper
Counting finite models Journal of Symbolic Logic	1997-12-17	Paper
Coloring rules for finite trees, and probabilities of monadic second order sentences	1997-10-06	Paper
An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle Random Structures & Algorithms	1995-11-05	Paper
Maximal Subgroups of Infinite Symmetric Groups Proceedings of the London Mathematical Society	1994-05-03	Paper
Decidability and undecidability of theories with a predicate for the primes Journal of Symbolic Logic	1993-10-24	Paper
scientific article; zbMATH DE number 176205 (Why is no real title available?)	1993-05-18	Paper
Provability of the pigeonhole principle and the existence of infinitely many primes Journal of Symbolic Logic	1988-01-01	Paper
scientific article; zbMATH DE number 3995646 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Alan R. Woods