𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


Sentences Preserved between Equivalent T
✍ T. A. McKee 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 451 KB

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

Remarks on Uniformly Finitely Precomplet
✍ V. Yu. Shavrukov 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 950 KB

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

Remarks on statistical errors in equival
✍ K. Vollmann; T. Eversberg 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 100 KB

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