The following pages link to Michael Deutsch (Q354706):
Displayed 32 items.
- Integrable deformation of critical surfaces in spaceforms (Q354707) (← links)
- Eine Bemerkung zu spektralen Darstellungen von ϱ-stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃∞ und ∀∃2∀(∞, 1) (Q3204448) (← links)
- (Q3338209) (← links)
- Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞(0, 1) (Q3718679) (← links)
- Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1) (Q3748265) (← links)
- Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten (Q3749035) (← links)
- Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∀∃∀∃∞ (ϱ, 1) (Q3789539) (← links)
- Eine Bemerkung Zur Spektralen Darstellung Von ϱ-Stelligen Aufzählbaren Und Koaufzählbaren Prädikaten Durch Ausdrücke Aus ∃∞∀ε∃(ϱ, 1) ∀∞∃(ϱ, 1) Und ∀∞∃(∞, 1) (Q3808083) (← links)
- (Q3882495) (← links)
- Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv‐Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen (Q3887447) (← links)
- ZUR REDUKTIONSTHEORIE DES ENTSCHEIDUNGSPROBLEMS (Q3916546) (← links)
- REGISTERMASCHINEN ÜBER QUOTIENTENTERMMENGEN (Q3946157) (← links)
- (Q3959392) (← links)
- Reduktionstyp und Spektrale Darstellung Mit Dem Präfix (Q3989277) (← links)
- (Q4063403) (← links)
- Reduzierungen Unentscheidbarer Formaler Sprachen Über Induktiv Definierten Bereichen (Q4090319) (← links)
- (Q4094848) (← links)
- Zur Theorie Der Spektralen Darstellung Von Prädikaten Durch Ausdrücke Der Prädikatenlogik 1. Stufe (Q4103518) (← links)
- (Q4123311) (← links)
- Zur Benutzung der Verkettung als Basis für die Arithmetik (Q4128547) (← links)
- Zur Darstellung koaufzählbarer Prädikate bei Verwendung eines einzigen unbeschränkten Quantors (Q4128553) (← links)
- Zur Präfixoptimalität Gewisser ∄ … ∄‐Darstellungen Aufzählbarer Prädikate (Q4132519) (← links)
- (Q4134132) (← links)
- (Q4141227) (← links)
- Zum Begriff der Wortmischung ALS Basis Für Die Arithmetik (Q4186307) (← links)
- Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃<sup>∞</sup> (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten (Q4206707) (← links)
- EIN NEUER BEWEIS UND EINE VERSCHÄRFUNG FÜR DEN REDUKTIONSTYP ∀∃∀∞(0, 1) MIT EINER ANWENDUNG AUF DIE SPEKTRALE DARSTELLUNG VON PRÄDIKATEN (Q4295256) (← links)
- A Note on the Theorems of Church‐Turing and Trachtenbrot (Q4304099) (← links)
- Zur Komplexitätsmessung Primitiv‐Rekursiver Funktionen Über Quotiententermmengen (Q4740556) (← links)
- Weitere Verschärfungen zu den Reduktionstypen ∀∃<sup>∞</sup>∀(0,1), ∃<sup>∞</sup>∀<sup>3</sup>∃(∞, 1) (Q5202646) (← links)
- Zum Reduktionstyp ∃<sup>∞</sup>∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ‐Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃<sup>∞</sup>∀∃∀ (ϱ, 1) (Q5749281) (← links)
- Equivariant functions and rational differential operators (Q6324704) (← links)