Citations of:

Preservation theorems and restricted consistency statements in bounded arithmetic

Annals of Pure and Applied Logic 126 (1-3):255-280 (2004)

You must login to add citations.

Partial collapses of the complexity hierarchy in models for fragments of bounded arithmetic.Zofia Adamowicz & Leszek Aleksander Kołodziejczyk - 2007 - Annals of Pure and Applied Logic 145 (1):91-95.details For any n, we construct a model of in which each formula is equivalent to an formula. Download Export citation Bookmark 1 citation

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...