## 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(){var c=function(){var a=document.getElementById("crt-1530928362");window.Criteo?(a.parentNode.style.setProperty("display","inline-block","important"),a.style.setProperty("display","block","important"),window.Criteo.DisplayAcceptableAdIfAdblocked({zoneid:388248,containerid:"crt-1530928362",collapseContainerIfNotAdblocked:!0,callifnotadblocked:function(){a.style.setProperty("display","none","important");a.style.setProperty("visbility","hidden","important")}})):(a.style.setProperty("display","none","important"),a.style.setProperty("visibility","hidden","important"))};if(window.Criteo)c();else{if(!__ATA.criteo.script){var b=document.createElement("script");b.src="//static.criteo.net/js/ld/publishertag.js";b.onload=function(){for(var a=0;a<__ATA.criteo.cmd.length;a++){var b=__ATA.criteo.cmd[a];"function"===typeof b&&b()}};(document.head||document.getElementsByTagName("head")[0]).appendChild(b);__ATA.criteo.script=b}__ATA.criteo.cmd.push(c)}})();
(function(){var c=function(){var a=document.getElementById("crt-1669465741");window.Criteo?(a.parentNode.style.setProperty("display","inline-block","important"),a.style.setProperty("display","block","important"),window.Criteo.DisplayAcceptableAdIfAdblocked({zoneid:837497,containerid:"crt-1669465741",collapseContainerIfNotAdblocked:!0,callifnotadblocked:function(){a.style.setProperty("display","none","important");a.style.setProperty("visbility","hidden","important")}})):(a.style.setProperty("display","none","important"),a.style.setProperty("visibility","hidden","important"))};if(window.Criteo)c();else{if(!__ATA.criteo.script){var b=document.createElement("script");b.src="//static.criteo.net/js/ld/publishertag.js";b.onload=function(){for(var a=0;a<__ATA.criteo.cmd.length;a++){var b=__ATA.criteo.cmd[a];"function"===typeof b&&b()}};(document.head||document.getElementsByTagName("head")[0]).appendChild(b);__ATA.criteo.script=b}__ATA.criteo.cmd.push(c)}})();