Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs (Q3220581): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Set OpenAlex properties.
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5800868 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Π12-logic, Part 1: Dilators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3773876 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3657981 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3684119 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3964555 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2094681362 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 11:23, 30 July 2024

scientific article
Language Label Description Also known as
English
Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs
scientific article

    Statements

    Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs (English)
    0 references
    0 references
    0 references
    0 references
    1984
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    cut-elimination
    0 references
    Dilators
    0 references
    generalized recursion
    0 references
    admissibles
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references