<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2002-11-18 18:14:48Computability theory Effective descriptive set theory Functions and mappings Function Reverse mathematics Second-order arithmetic Constructivism Impredicativity Peano axioms Mathematics Mathematical logic Logic |
| On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness Ulrich Kohlenbach BRICSyDocID: 1o6Sv - View Document |
| Empiricism, Probability, and Knowledge of Arithmetic Sean Walsh, Department of Logic and Philosophy of Science, University of California, Irvine The topic of this paper is the tenability of a certain type of empiricism aDocID: Sroz - View Document |
| PDF DocumentDocID: 11rm - View Document |