Binary models generated by their tally part |
| |
Authors: | Fernando Ferreira |
| |
Institution: | (1) Departamento de Matemática, Universidade de Lisboa, Rua Ernesto de Vasconcelos, bloco C1, P-1700 Lisboa, Portugal |
| |
Abstract: | Summary We introduce a class of models of the bounded arithmetic theoryPV
n
. These models, which are generated by their tally part, have a curious feature: they have end-extensions or satisfyB
n
b
only in case they are closed under exponentiation. As an application, we show that if then the polynomial hierarchy does not collapse.This work was partially supported by project 6E92 of CMAF (Portugal) |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|