Extensions of Solovay's system S without independent sets of axioms

&
Annals of Pure and Applied Logic 175 (1):103360 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103360

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
On Independent Axiomatizability of Quasi-Normal Modal Logics.Igor Gorbunov & Dmitry Shkatov - 2022 - Studia Logica 110 (5):1189-1217.
What sets could not be.Staffan Angere - unknown
Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion.C. G. Jockusch, M. Lerman, R. I. Soare & R. M. Solovay - 1989 - Journal of Symbolic Logic 54 (4):1288-1323.
On tarski’s axiomatic foundations of the calculus of relations.Hajnal Andréka, Steven Givant, Peter Jipsen & István Németi - 2017 - Journal of Symbolic Logic 82 (3):966-994.
Kripke models for subtheories of CZF.Rosalie Iemhoff - 2010 - Archive for Mathematical Logic 49 (2):147-167.
On the independence of the axioms of definiteness (Axiome der Bestimmtheit).Abraham Robinsohn - 1939 - Journal of Symbolic Logic 4 (2):69-72.
A set of axioms for nonstandard extensions.Abhijit Dasgupta - 2011 - Mathematical Logic Quarterly 57 (5):485-493.
An Independence Relation for Sets of Secrets.Sara Miner More & Pavel Naumov - 2010 - Studia Logica 94 (1):73-85.
Yap Hian Poh. Postulational study of an axiom system of Boolean algebra. Majallah Tahunan 'Ilmu Pasti—Shu Hsüeh Nien K'an—Bulletin of Mathematical Society of Nanyang University , pp. 94–110. - R. M. Dicker. A set of independent axioms for Boolean algebra. Proceedings of the London Mathematical Society, ser. 3 vol. 13 , pp. 20–30. - P. J. van Albada. A self-dual system of axioms for Boolean algebra. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A vol. 67 , pp. 377–381; also Indagationes mathematicae, vol. 26 , pp. 377–381. - Antonio Diego and Alberto Suárez. Two sets of axioms for Boolean algebras. Portugaliae mathematica, vol. 23 nos. 3–4 , pp. 139–145. - P. J. van Albada. Axiomatique des algèbres de Boole. Bulletin de la Société Mathématique de Belgique, vol. 18 , pp. 260–272. - Lawrence J. Dickson. A short axiomatic system for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 6 , pp. 253–257. - Leroy J. Dickey. A shorter axiomatic system for Boolean algebra. [REVIEW]Donald H. Potts - 1973 - Journal of Symbolic Logic 38 (4):658-660.
Expected Utility Consistent Extensions of Preferences.Burak Can, Bora Erdamar & M. Remzi Sanver - 2009 - Theory and Decision 67 (2):123-144.
Solovay's theorem cannot be simplified.Andrew Arana - 2001 - Annals of Pure and Applied Logic 112 (1):27-41.
Measurement without archimedean axioms.Louis Narens - 1974 - Philosophy of Science 41 (4):374-393.
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited.Ali Enayat & Vladimir Kanovei - 2020 - Journal of Mathematical Logic 21 (3):2150014.
Solovay models and forcing extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.

Analytics

Added to PP
2023-09-08

Downloads
8 (#1,308,042)

6 months
4 (#783,550)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.

Add more references