The Mathematical Import Of Zermelo's Well-Ordering Theorem (1997)

View PDF

Download Links

by Akihiro Kanamori
Venue:Bull. Symbolic Logic
Citations:7 - 2 self

Documents Related by Co-Citation

24 dass jede Menge wohlgeordnet werden kann – Beweis
539 Objects, Components, and Framework with UML: The Catalysis Approach – D F D’Souza, A C Wills - 1999
506 The Object Constraint Language, Precise Modeling with UML – J Warmer, A Kleppe - 1999
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
1373 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
667 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
826 Word and object – W V Quine - 1960
1305 On computable numbers with an application to the Entscheidungsproblem – A Turing - 1936
644 Domain names - Implementation and Specification – P. Mockapetris - 1983