Operational closure and stability (Q385076): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03E70 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B30 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03D60 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03F25 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6234679 / rank
 
Normal rank
Property / zbMATH Keywords
 
operational set theory
Property / zbMATH Keywords: operational set theory / rank
 
Normal rank
Property / zbMATH Keywords
 
operational closure
Property / zbMATH Keywords: operational closure / rank
 
Normal rank
Property / zbMATH Keywords
 
Kripke-Platek set theory
Property / zbMATH Keywords: Kripke-Platek set theory / rank
 
Normal rank
Property / zbMATH Keywords
 
\(\Sigma_1\) separation
Property / zbMATH Keywords: \(\Sigma_1\) separation / rank
 
Normal rank
Property / zbMATH Keywords
 
stability
Property / zbMATH Keywords: stability / rank
 
Normal rank
Property / zbMATH Keywords
 
proof theory
Property / zbMATH Keywords: proof theory / rank
 
Normal rank

Revision as of 13:40, 29 June 2023

scientific article
Language Label Description Also known as
English
Operational closure and stability
scientific article

    Statements

    Operational closure and stability (English)
    0 references
    0 references
    29 November 2013
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    operational set theory
    0 references
    operational closure
    0 references
    Kripke-Platek set theory
    0 references
    \(\Sigma_1\) separation
    0 references
    stability
    0 references
    proof theory
    0 references