Intuitionistic uniformity principles for propositions and some applications
Studia Logica 39 (4):361 - 369 (1980)
| Abstract | This note deals with the prepositional uniformity principlep-UP: p x N A (p, x) x N p A (p, x) ( species of all propositions) in intuitionistic mathematics.p-UP is implied by WC and KS. But there are interestingp-UP-cases which require weak KS resp. WC only. UP for number species follows fromp-UP by extended bar-induction (ranging over propositions) and suitable weak continuity. As corollaries we have the disjunction property and the existential definability w.r.t. concrete objects. Other consequences are: there is no non-trivial countable partition of;id is the only injective function from to; there are no many-place injective prepositional functions; card () is incomparable with the cardinality of all metric spaces containing at least three elements. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJeffrey C. King (2013). On Fineness of Grain. Philosophical Studies 163 (3):763-781.
H. Luckhardt (1980). On Constructive Functions Ranging Over Propositions. Studia Logica 39 (4):371 - 374.
Joan Rand Moschovakis (2003). Classical and Constructive Hierarchies in Extended Intuitionistic Analysis. Journal of Symbolic Logic 68 (3):1015-1043.
Neil Tennant (1994). Intuitionistic Mathematics Does Not Needex Falso Quodlibet. Topoi 13 (2):127-133.
Kosta Došen (1985). Models for Stronger Normal Intuitionistic Modal Logics. Studia Logica 44 (1):39 - 70.
Giovanni Camardi (1999). Charles Lyell and the Uniformity Principle. Biology and Philosophy 14 (4).
Jeremy Avigad & Jeffrey Helzner (2002). Transfer Principles in Nonstandard Intuitionistic Arithmetic. Archive for Mathematical Logic 41 (6):581-602.
Kevin C. Klement, Russell-Myhill Paradox. Internet Encyclopedia of Philosophy.
Jeffry L. Hirst & Carl Mummert (2010). Reverse Mathematics and Uniformity in Proofs Without Excluded Middle. Notre Dame Journal of Formal Logic 52 (2):149-162.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,382 of 549,039 )Recent downloads (6 months)1 ( #63,185 of 549,039 )How can I increase my downloads? |
My notes
Discussion
