scientific article; zbMATH DE number 1405571
From MaRDI portal
Publication:4938550
zbMath0946.03068MaRDI QIDQ4938550
Publication date: 23 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
density theoremsdomain theorydependent typeschoice principlecontinuous functionalstransfinite typesextentionality
Related Items (4)
Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Higher-order concepts for the potential infinite ⋮ Term rewriting for normalization by evaluation. ⋮ Nonflatness and totality
This page was built for publication:
