Search Results - "BUCHI, J"

Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7

    Definability in the monadic second-order theory of successor by Richard Buchi, J., Landweber, Lawrence H.

    Published in The Journal of symbolic logic (01-01-1969)
    “…Let be a relational system whereby D is a nonempty set and P 1 is an m 1 -ary relation on D . With we associate the (weak) monadic second-order theory…”
    Get full text
    Journal Article
  8. 8

    Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types by Buchi, J Richard

    Published in The Journal of symbolic logic (01-06-1953)
    “…It is a well known fact that Zermelo's Axiom of Choice and Zorn's Lemma are equivalent logical assumptions. However, an investigation from the viewpoint of the…”
    Get full text
    Journal Article
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20