Operational set theory and small large cardinals (Q731889): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.ic.2008.04.007 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1971165519 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3214912 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4075450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3679172 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Towards a computation system based on set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4128540 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3880813 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4893132 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5316376 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Feferman's operational set theory \textsf{OST} / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4315890 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5344164 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstract First Order Computability. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4079598 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructivism in mathematics. An introduction. Volume I / rank | |||
Normal rank |
Latest revision as of 01:10, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Operational set theory and small large cardinals |
scientific article |
Statements
Operational set theory and small large cardinals (English)
0 references
9 October 2009
0 references
Large cardinals that are consistent with \(V=L\) are called small large cardinals. They appear in various guises in various systems such as admissible set theory, admissible recursion theory, constructive set theory, constructive type theory, etc. The author's grand aim in progress is ``to develop a common language in which such notions can be expressed and can be interpreted both in their original classical form and in their analogue form in each of these special constructive and semi-constructive cases.'' Operational set theory presented in this paper is a partial modification of the author's [Algebra Logic, Papers Summer Res. Inst., Clayton 1974, Lect. Notes Math. 450, 87--139 (1975; Zbl 0357.02029)]. Small large cardinals treated in the paper are inaccessible, Mahlo and weakly compact. A preliminary version of this paper was presented in [Lect. Notes Log. 6, 3--22 (1996; Zbl 0857.03034)].
0 references
operational set theory
0 references
small large cardinal notions
0 references
operational closure conditions
0 references