18 pages matching ranking function in this book
Results 1-3 of 18
What people are saying - Write a review
We haven't found any reviews in the usual places.
The Foundations of Arithmetic: A Logico-Mathematical Enquiry Into the ...
Limited preview - 1980
Ulysses Annotated: Notes for James Joyce's Ulysses
Don Gifford,Robert J. Seidman
Limited preview - 1989
The axiomatic theory of Chapter I
46 other sections not shown
91 is locally anti-reflexive atom Axiom Groups axiom of choice axiom of foundation axiomatic set theory axioms of Axiom big class Chapter class 38 closed formula conclusions of 4.1 consequence of 91 Consider any class continuum hypothesis define dom(R easily seen element equipotent equivalent finitely orders following metatheorem following theorem function with domain given Hence infinite initial segment inner models intuitive integer isomorphism Lemma limit ordinal locally conservative lower closure maximally joins metaobjects minimum natural number neo-atom neo-class notion O-transform object one-one function ordinal number ordinal sum power class predicates elt Proof proper subclass prove ranking function relation relative to 91 Remark resp S4 hold semiformula statement subset Suppose B'6 termwise set-like theorems are routine totally orders upper closure vertical closure vertically limited vertically normal well-orders x e dom(<p xesi