2019
DOI: 10.1007/s00153-019-00681-y
|View full text |Cite
|
Sign up to set email alerts
|

Polynomial time ultrapowers and the consistency of circuit lower bounds

Abstract: A polynomial time ultrapower is a structure given by the set of polynomial time computable functions modulo some ultrafilter. They model the universal theory ∀PV of all polynomial time functions. Generalizing a theorem of Hirschfeld (1975), we show that every countable model of ∀PV is isomorphic to an existentially closed substructure of a polynomial time ultrapower. Moreover, one can take a substructure of a special form, namely a limit polynomial time ultrapower in the classical sense of Keisler (1963). Usin… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
11
0

Year Published

2019
2019
2023
2023

Publication Types

Select...
5
1

Relationship

1
5

Authors

Journals

citations
Cited by 8 publications
(11 citation statements)
references
References 31 publications
0
11
0
Order By: Relevance
“…about 2 O(n) -time concepts Finally, it is possible to consider the provability of circuit upper bounds as well. This has been investigated systematically by Cook-Krajíček [13] and in a sequence of more recent works by Bydžovský, Krajíček, Müller and Oliveira [7,8,30].…”
Section: Related Workmentioning
confidence: 99%
“…about 2 O(n) -time concepts Finally, it is possible to consider the provability of circuit upper bounds as well. This has been investigated systematically by Cook-Krajíček [13] and in a sequence of more recent works by Bydžovský, Krajíček, Müller and Oliveira [7,8,30].…”
Section: Related Workmentioning
confidence: 99%
“…This is of interest because the weaker theory PV already formalizes sophisticated arguments, such as a proof of the PCP Theorem [Pic15b]. These consistency statements are unconditional and improve on earlier theorems of [KO17] and [BM18] on the consistency of lower bounds with PV.…”
mentioning
confidence: 63%
“…We refer to the introduction of [MP17] for more information about this line of work, and to Appendix A for some related remarks that might be of independent interest. Theorem 1 and our techniques are more directly connected to [CK07], [KO17], and [BM18]. We review the relevant results next.…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation
“…The succinct lower bound LB[SAT] for s = n k is shown in [52] to be unprovable in a theory formalizing NC 1 reasoning unless subexponential size formulas can approximate polynomial size circuits. Relatedly, LB[Q] has been shown to be consistent with PV 1 for Q = SAT in [21] (improving upon [36]) unless the polynomial hierarchy collapses to the Boolean hierarchy, and recently unconditionally for some Q ∈ P [40,13,14].…”
Section: Independence and Natural Proofsmentioning
confidence: 99%