Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten (Q3749035)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten |
scientific article |
Statements
Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten (English)
0 references
1987
0 references
finite model
0 references
reduction type
0 references
satisfiability
0 references
spectral representation of predicates
0 references