Login / Signup

A Simple Relationship between Buchholz's New System of Ordinal Notations and Takeuti's System of Ordinal Diagrams.

Mitsuhiro Okada
Published in: J. Symb. Log. (1987)
Keyphrases
  • modeling language
  • ordinal scale
  • real time
  • search engine
  • multiresolution
  • qualitative decision theory