Spectra of Formulae with Henkin Quantifiers
Part of the Synthese Library book series (SYLI, volume 320)
- 149 Downloads
Scholz defined the spectrum of a formula φ as the set of cardinalities of all finite structures in which φ is true and the spectrum of a logic as the set of spectra of all formulae of this logic. The spectrum problem is usually considered as one of the following:
Scholz problem: to give a characterization of the spectrum of a given logic.
Asser problem: is the spectrum of a given logic closed under complement?
KeywordsEquivalence Class Arithmetical Operation Generalize Spectrum Finite Model Universal Variable
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- Fagin, R,. (1974). Generalized first-order spectra and polynomial-time recognizable sets. SIAM-AMS Proceedings, 7: 43–73.Google Scholar
- Golinska, J. (1999). The Spectrum Problem for the Languages with Henkin Quantifiers. Master Thesis, University of Warsaw, Warszawa.Google Scholar
- Golinska, J. (2000). On some operations on spectra of logics with Henkin quantifiers. Unpublished.Google Scholar
- Krynicki, M. and Mostowski, M. (1995). Henkin quantifiers. In Krynicki, M., Mostowski, M., and Szczerba, L. W., editors, Quantifiers 1, pp. 193–262, Kluwer Academic Publishers, Dordrecht.Google Scholar
- Mostowski, M. (2000). Difference sets and some arithmetical operations on spectra. Unpublished.Google Scholar
© Springer Science+Business Media Dordrecht 2003