Hierarchies of Effective Descriptive Set Theory (Q5585409): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
label / en | label / en | ||
Hierarchies of Effective Descriptive Set Theory | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2307/1995348 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4247727108 / rank | |||
Normal rank | |||
Property / title | |||
Hierarchies of Effective Descriptive Set Theory (English) | |||
Property / title: Hierarchies of Effective Descriptive Set Theory (English) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Separation principles in the hierarchies of classical and effective descriptive set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5519133 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5596752 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Note on Function Quantification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5759301 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Memoir on the Analytical Operations and Projective Sets (I) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5812175 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hierarchies of number-theoretic predicates / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Recursive Functionals and Quantifiers of Finite Types I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5343325 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperanalytic Predicates / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstract First Order Computability. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Degrees of Unsolvability. (AM-55) / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:21, 12 June 2024
scientific article; zbMATH DE number 3304054
Language | Label | Description | Also known as |
---|---|---|---|
English | Hierarchies of Effective Descriptive Set Theory |
scientific article; zbMATH DE number 3304054 |
Statements
1969
0 references
recursion theory, constructive mathematics
0 references
Hierarchies of Effective Descriptive Set Theory (English)
0 references
0 references