No label defined (Q4249730)

From MaRDI portal





scientific article; zbMATH DE number 1303207
Language Label Description Also known as
default for all languages
No label defined
    English
    No label defined
    scientific article; zbMATH DE number 1303207

      Statements

      24 July 2000
      0 references
      trees
      0 references
      arithmetical hierarchy
      0 references
      decidability conditions on ultrafilters
      0 references
      countable Boolean algebras
      0 references
      constructive Boolean algebras
      0 references
      constructive model theory
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references