Polynomial time ultrapowers and the consistency of circuit lower bounds

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 (Israel J Math 20(2):111–126, 1975 ), we show that every countable...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Archive for mathematical logic Ročník 59; číslo 1-2; s. 127 - 147
Hlavní autori:	Bydžovský, Jan, Müller, Moritz
Médium:	Journal Article Publikácia
Jazyk:	English
Vydavateľské údaje:	Berlin/Heidelberg Springer Berlin Heidelberg 01.02.2020 Springer Nature B.V
Predmet:	Algebra Circuits Informàtica Informàtica teòrica Lower bounds Mathematical analysis Mathematical Logic and Foundations Mathematics Mathematics and Statistics Original Study Polinomis Polynomials Production scheduling Substructures Time functions Àrees temàtiques de la UPC 03C20 03C98 03B70 Bounded arithmetic 68Q17 Circuit lower bounds Restricted ultrapowers
ISSN:	0933-5846, 1432-0665
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!