×

zbMATH — the first resource for mathematics

A remark on axioms of the GES. (Russian) Zbl 0645.03025

MSC:
03B70 Logic in computer science
68Q65 Abstract data types; algebraic specification
68N01 General topics in the theory of software
03D60 Computability and recursion theory on ordinals, admissible sets, etc.
03D80 Applications of computability and recursion theory
PDF BibTeX XML Cite