scientific article; zbMATH DE number 1405582

MaRDI QIDQ4938561zbMATH OpenFDO

Authors Dag Normann

Publication date 23 February 2000

zbMATH Keywords

recursively Mahlo ordinaltyped hierarchy of effective algebraic domains

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3899038
• scientific article; zbMATH DE number 5862936
• Universal profinite domains
• scientific article; zbMATH DE number 7703281
• scientific article; zbMATH DE number 1531356
• A Universal Exhausting Domain
• A field-theoretic invariant for domains
• Ordinal diagrams for recursively Mahlo universes
• Uniform domains and the ubiquitous quasidisk
• Effective uniform bounding in partial differential fields

Cited in

(3)

• Hereditarily effective typestreams
• scientific article; zbMATH DE number 5862936 (Why is no real title available?)
• scientific article; zbMATH DE number 841092 (Why is no real title available?)

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 Q4938561)