## From http://foundationaladventures.com/

## Foundational Adventures

# Essays in Honor of Harvey M. Friedman

### Edited by Neil Tennant

#### Contents

- Neil Tennant: Foundational Adventures: Editorial
- Albert Visser: Why the Theory R is Special
- Andreas Weierman and Martijn Baartse: Finding the Phase Transition for Friedman’s Long Finite Sequences
- Bruce W. Weide: Software Verification with Towers of Abstraction
- Christian Tapp: Absolute Infinity–A Bridge Between Mathematics and Theology?
- Grigori Mints: Analytic Cut in Modal Logic: The System B
- Jeffry L. Hirst: Disguising Induction: Proofs of the Pigeonhole Principle for Trees
- John P. Burgess: Friedman and the Aximonatization of Kripe’s Theory of Truth
- Kevin Scharp: Xeno Semantics for Ascending and Descending Truth
- Martin Davis: Pragmatic Platonism
- Michael Rathjen: w-Models and Well-Ordering Principles
- Reed Solomon: Ordering Free Products in Reverse Mathematics
- Samuel R. Buss: Towards NP-P via Proof Complexity and Search
- Sy-David Friedman: Equivalence Relations in Set Theory, Computation Theory, Model Theory, and Complexity Theory
- V. W. Marek and J. B. Remmel: An Application of Proof-Theory in Answer Set Programming

Advertisements
(function(g,$){if("undefined"!=typeof g.__ATA){
g.__ATA.initAd({collapseEmpty:'after', sectionId:26942, width:300, height:250});
g.__ATA.initAd({collapseEmpty:'after', sectionId:114160, width:300, height:250});
}})(window,jQuery);
var o = document.getElementById('crt-689943103');
if ("undefined"!=typeof Criteo) {
var p = o.parentNode;
p.style.setProperty('display', 'inline-block', 'important');
o.style.setProperty('display', 'block', 'important');
Criteo.DisplayAcceptableAdIfAdblocked({zoneid:388248,containerid:"crt-689943103",collapseContainerIfNotAdblocked:true,"callifnotadblocked": function () {var o = document.getElementById('crt-689943103'); o.style.setProperty('display','none','important');o.style.setProperty('visbility','hidden','important'); } });
} else {
o.style.setProperty('display', 'none', 'important');
o.style.setProperty('visibility', 'hidden', 'important');
}
var o = document.getElementById('crt-1186614249');
if ("undefined"!=typeof Criteo) {
var p = o.parentNode;
p.style.setProperty('display', 'inline-block', 'important');
o.style.setProperty('display', 'block', 'important');
Criteo.DisplayAcceptableAdIfAdblocked({zoneid:837497,containerid:"crt-1186614249",collapseContainerIfNotAdblocked:true,"callifnotadblocked": function () {var o = document.getElementById('crt-1186614249'); o.style.setProperty('display','none','important');o.style.setProperty('visbility','hidden','important'); } });
} else {
o.style.setProperty('display', 'none', 'important');
o.style.setProperty('visibility', 'hidden', 'important');
}