A syntactical characterization will be proved, with respect to a suitable language for topology, of those sentences whose truth in one base of a topological space implies their truth in all bases of the space. Or, restating this, those sentences whose truth for a space can be 'equivalently tested in
A remark on equivalent Rosser sentences
✍ Scribed by Christopher von Bülow
- Book ID
- 108054629
- Publisher
- Elsevier Science
- Year
- 2008
- Tongue
- English
- Weight
- 208 KB
- Volume
- 151
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
The paper contains some observations on e-complete, precomplete, and uniformly finitely precomplete r. e. equivalence relations. Among these are a construction of a uniformly finitely precomplete r.e. equivalence which is neither e-nor precomplete, an extension of Lachlan's theorem that all precompl
Equivalent width measurements for rapid line variability in atomic spectral lines are degraded by increasing error bars with shorter exposure times. We derive an expression for the error of the line equivalent width σ(W λ ) with respect to pure photon noise statistics and provide a correction value