Hostname: page-component-7c8c6479df-5xszh Total loading time: 0 Render date: 2024-03-29T14:49:11.468Z Has data issue: false hasContentIssue false

The truth about some Post numbers

Published online by Cambridge University Press:  12 March 2014

Krister Segerberg*
Affiliation:
Åbo Academy, 20500 Åbo 50, Finland

Extract

There is a mistake in [6], discovered by Robert V. Kohn: contrary to the claim on p. 714, the set {◊X i : i ≥ 2} is not independent in S3. As a result three problems thought to be settled are open once more, viz., whether the Post numbers of S2, S3, and K4 are denumerable. In [6] it was claimed they are not. Now we shall prove that that claim is indeed correct for S2 and K4 but, surprisingly enough, not for S3.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1976

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Halldén, Sören, Results concerning the decision problem of Lewis's calculi S3 and S6, this Journal, vol. 14 (1950), pp. 230236.Google Scholar
[2] Kohn, Robert V., Some Post-complete extensions of S2 and S3, Notre Dame Journal of Formal Logic (to appear).Google Scholar
[3] Makinson, David and Segerberg, Krister, Post completeness and ultrafilters, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 20 (1974), pp. 385388.CrossRefGoogle Scholar
[4] Segerberg, Krister, An essay in classical modal logic, Philosophical Society and Department of Philosophy, University of Uppsala, Uppsala, no. 13, 1971.Google Scholar
[5] Segerberg, Krister, On Post completeness in modal logic, this Journal, vol. 37 (1972), pp. 781782. (Abstract.)Google Scholar
[6] Segerberg, Krister, Post completeness in modal logic, this Journal, vol. 37 (1972), pp. 711715.Google Scholar
[7] Shukla, Anjan, Consistent, independent, and distinct propositions, Notre Dame Journal of Formal Logic, vol. 13 (1972), pp. 399406.CrossRefGoogle Scholar