scholarly journals Broadening the Iterative Conception of Set

2001 ◽  
Vol 42 (3) ◽  
pp. 149-170
Author(s):  
Mark F. Sharlow
1971 ◽  
Vol 68 (8) ◽  
pp. 215-231 ◽  
Author(s):  
George Boolos ◽  

2019 ◽  
pp. 142-177
Author(s):  
J. P. Studd

Notwithstanding her rejection of quantification over an absolutely comprehensive domain, a relativist about quantifiers may still be tempted to seek other means to generalize. This chapter concerns relativist-friendly modal operators. By modalizing her quantifiers, the relativist has a systematic way to attain absolute generality, which permits her to regiment her view with a single modal formula, and to frame an attractive modal axiomatization of the iterative conception of set. In addition to the immediate cost of admitting the relevant modality into her ideology, however, this approach leads to a hybrid version of relativism, which has some significant commonalities with absolutism about quantifiers.


2018 ◽  
Vol 176 (10) ◽  
pp. 2681-2703
Author(s):  
Edward Ferrier

1987 ◽  
Vol 52 (3) ◽  
pp. 636-650
Author(s):  
Mark F. Sharlow

AbstractWe describe a first-order theory of generalized sets intended to allow a similar treatment of sets and proper classes. The theory is motivated by the iterative conception of set. It has a ternary membership symbol interpreted as membership relative to a set-building step. Set and proper class are defined notions. We prove that sets and proper classes with a defined membership form an inner model of Bernays-Morse class theory. We extend ordinal and cardinal notions to generalized sets and prove ordinal and cardinal results in the theory. We prove that the theory is consistent relative to ZFC + (∃x) [x is a strongly inaccessible cardinal].


Sign in / Sign up

Export Citation Format

Share Document