Cardinality logics. I: Inclusions between languages based on ``exactly'' (Q1107521): 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/0168-0072(88)90010-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1975412541 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5181658 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cardinality logics. Part II: Definability in languages based on ‘exactly’ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Where do the natural numbers come from? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4189277 / rank | |||
Normal rank |
Latest revision as of 18:37, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cardinality logics. I: Inclusions between languages based on ``exactly'' |
scientific article |
Statements
Cardinality logics. I: Inclusions between languages based on ``exactly'' (English)
0 references
1988
0 references
In this paper the author develops a logic which includes the notion of cardinal. To do this the author uses different kinds of variables. Variables of type 0 are reserved for elements, variables of type 1 are used for sets (in case they are allowed, then a generalization of second order logic is obtained), variables of type 2 are cardinals. Variables of the next type are used to speak about ``the cardinality of the set of all cardinals less than a given cardinal''. This process is iterated. Cardinals are Scott-cardinals and the author avoids reliance on the Axiom of Choice. The author investigates the expressive power of his languages and introduced severals kinds of hierarchies of languages. A main tool are Ehrenfeucht-games. Some questions remain open. The operator ``exactly'' is used to express that something has a given cardinality.
0 references
higher order logic
0 references
cardinality
0 references
Scott-cardinals
0 references
Ehrenfeucht-games
0 references