Alan R. Woods

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5222086	2020-03-30	Paper
A new proof of the weak pigeonhole principle	2014-09-26	Paper
Some Natural Zero One Laws for Ordinals Below ε 0	2012-08-14	Paper
On bounded arithmetic augmented by the ability to count certain sets of primes	2009-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q5485333	2006-08-29	Paper
Subset sum ``cubes and the complexity of primality testing	2004-10-27	Paper
A new proof of the weak pigeonhole principle	2002-09-12	Paper
The number of Boolean functions computed by formulas of a given size	1999-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q4359314	1998-01-28	Paper
Counting finite models	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	1995-11-05	Paper
Maximal Subgroups of Infinite Symmetric Groups	1994-05-03	Paper
Decidability and undecidability of theories with a predicate for the primes	1993-10-24	Paper
https://portal.mardi4nfdi.de/entity/Q4035309	1993-05-18	Paper
Provability of the pigeonhole principle and the existence of infinitely many primes	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4723712	1986-01-01	Paper

This page was built for person: Alan R. Woods