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ženo v:

Podrobná bibliografie
Vydáno v:	Archive for mathematical logic Ročník 59; číslo 1-2; s. 127 - 147
Hlavní autoři:	Bydžovský, Jan, Müller, Moritz
Médium:	Journal Article Publikace
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.02.2020 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!