scientific article; zbMATH DE number 1169381

MaRDI QIDQ4397033zbMATH OpenFDO

Authors Helmut Schwichtenberg

Publication date 25 June 1998

zbMATH Keywords

choice principle for total continuous functionalsdensity theoreminformation systems

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Higher-type and set recursion theory (03D65) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Recommendations

• Characterizing the continuous functionals
• Publication:4938550
• scientific article; zbMATH DE number 4114632
• Publication:4729775
• The predicate completion of a partial information system
• An intuitionistic version of Zermelo's proof that every choice set can be well-ordered
• scientific article; zbMATH DE number 1302490
• Recursive functionals
• scientific article; zbMATH DE number 90270
• Sur les fonctions croissantes et les fonctions entières.

Cited in

(6)

• Towards a formal theory of computability
• Internal Density Theorems for Hierarchies of Continuous Functionals
• Nonflatness and totality
• scientific article; zbMATH DE number 3996468 (Why is no real title available?)
• scientific article; zbMATH DE number 1405571 (Why is no real title available?)
• Applications of the Kleene-Kreisel density theorem to theoretical computer science

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4397033)