First-order spectra with one variable
نویسندگان
چکیده
منابع مشابه
One-variable first-order linear temporal logics with counting
First-order temporal logics are notorious for their bad computational behaviour. It is known that even the two-variable monadic fragment is highly undecidable over various timelines. However, following the introduction of the monodic formulas (where temporal operators can be applied only to subformulas with at most one free variable), there has been a renewed interest in understanding extension...
متن کاملThe Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
The two-variable fragment, henceforth denoted L, is the fragment of firstorder logic with equality but without function-symbols, in which only two logical variables may appear. It is well-known that L has the finite model property, and that its satisfiability (= finite satisfiability) problem is NEXPTIME-complete [3]. It follows that it is impossible, within L, to express the condition that a g...
متن کاملSpectra of Monadic Second-Order Formulas with One Unary Function
We establish the eventual periodicity of the spectrum of any monadic second-order formula where (i) all relation symbols, except equality, are unary, and (ii) there is only one function symbol and that symbol is unary. Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003) Microsoft Research, One Microsoft Way, Redmond, WA 98052 Publication 536, partially supported by US–Isra...
متن کاملExtraction Slits for First-Order STIS Spectra
ABSTRACT: Measurements of enclosed energy vs. extraction slit height and numerical simulations for first-order STIS spectra demonstrate the dependence of signal-to-noise (S/N) on the extraction slit height for different gratings, wavelengths, and signal levels. Slit heights of 11 pixels for G140L and G230L, and 7 pixels for the three CCD first-order modes are a reasonable compromise between pho...
متن کاملA note on first-order spectra with binary relations
The spectrum of a first-order sentence is the set of the cardinalities of its finite models. In this paper, we consider the spectra of sentences over binary relations that use at least three variables. We show that for every such sentence Φ, there is a sentence Φ that uses the same number of variables, but only one symmetric binary relation, such that its spectrum is linearly proportional to th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1990
ISSN: 0022-0000
DOI: 10.1016/0022-0000(90)90009-a