Does truth-table of linear norm reduce the one-query tautologies to a random oracle?

In our former works, for a given concept of reduction, we study the following hypothesis: “For a random oracle A , with probability one, the degree of the one-query tautologies with respect to A is strictly higher than the degree of A .” In our former works (Suzuki in Kobe J. Math. 15, 91–102, 1998;...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Archive for mathematical logic 2008-07, Vol.47 (2), p.159-180
Hauptverfasser:	Kumabe, Masahiro, Suzuki, Toshio, Yamazaki, Takeshi
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebra Mathematical Logic and Foundations Mathematics Mathematics and Statistics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!