Mathematical Logic Quarterly 38 (1):559-574 (1992)
Abstract | This article has no associated abstract. (fix it) |
Keywords | reduction theory Semantical reduction spectral representation of predicates |
Categories | (categorize this paper) |
DOI | 10.1002/malq.19920380153 |
Options |
![]() ![]() ![]() |
Download options
References found in this work BETA
The Decision Problem: Solvable Classes of Quantificational Formulas.Burton Dreben - 1979 - Addison-Wesley, Advanced Book Program.
Reduktionstheorie des Entscheidungsproblems Im Prädikatenkalkül der Ersten Stufe.János Surányi - 1959 - Veb Deutscher Verlag der Wissenschaften.
Citations of this work BETA
No citations found.
Similar books and articles
Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃∞ (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten. [REVIEW]Michael Deutsch - 1989 - Mathematical Logic Quarterly 35 (2):137-153.
Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten.Michael Deutsch - 1987 - Mathematical Logic Quarterly 33 (4):347-358.
Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞(0, 1).Michael Deutsch - 1986 - Mathematical Logic Quarterly 32 (35‐36):551-574.
Reduktionstyp und Spektrale Darstellung Mit Dem Präfix.Michael Deutsch - 1991 - Mathematical Logic Quarterly 37 (18):273-288.
Eine Bemerkung Zur Spektralen Darstellung Von ϱ‐Stelligen Aufzählbaren Und Koaufzählbaren Prädikaten Durch Ausdrücke Aus ∃∞∀ϵ∃(ϱ, 1) ∀∞∃(ϱ, 1) Und ∀∞∃(∞, 1). [REVIEW]Michael Deutsch - 1988 - Mathematical Logic Quarterly 34 (2):163-176.
Marrying the Merits of Nagelian Reduction and Functional Reduction.Michael Esfeld, Christian Sachse & Patrice Soom - 2012 - Acta Analytica 27 (3):217-230.
Zum Reduktionstyp ∃∞∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ‐Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃∞∀∃∀ (ϱ, 1). [REVIEW]Michael Deutsch - 1989 - Mathematical Logic Quarterly 35 (6):517-529.
Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1).Michael Deutsch - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):179-186.
Reduction, Explanation, and Individualism.Harold Kincaid - 1986 - Philosophy of Science 53 (4):492-513.
On the Reduction of Genetics to Molecular Biology.Steven Orla Kimbrough - 1979 - Philosophy of Science 46 (3):389-406.
Identity-Based Reduction and Reductive Explanation.Raphael van Riel - 2010 - Philosophia Naturalis 47 (1-2):183-219.
On the Benefits of a Reduction of Modal Predicates to Modal Operators.Volker Halbach - 2009 - In Hieke Alexander & Leitgeb Hannes (eds.), Reduction, Abstraction, Analysis. Ontos Verlag. pp. 323--333.
Analytics
Added to PP index
2013-12-01
Total views
24 ( #433,494 of 2,411,486 )
Recent downloads (6 months)
1 ( #538,999 of 2,411,486 )
2013-12-01
Total views
24 ( #433,494 of 2,411,486 )
Recent downloads (6 months)
1 ( #538,999 of 2,411,486 )
How can I increase my downloads?
Downloads