1
by Rubin, Herman
Published 1985
North-Holland
Table of Contents: ...Part 1 : Set forms. The well-ordering theorem ; The axiom of choice ; The law of the trichotomy...

2
by Newborn, Monty
Published 2001
Springer New York
Table of Contents: ...A brief introduction to COMPILE, HERBY and THEO -- Predicate calculus, well-formed formulas...

3
by Faticoni, Theodore G.
Published 2012
John Wiley & Sons
Table of Contents: .... Well-ordered sets -- 7. Inductions and numbers -- 8. Prime numbers -- 9. Logic and meta-mathematics...

4
by Nievergelt, Yves
Published 2015
Springer New York
Table of Contents: .... Mathematical Induction: Definitions and Proofs by Induction -- 5. Well-Formed Sets: Proofs by Transfinite...

5
by Fraïssé, Roland
Published 2000
Elsevier
Table of Contents: ... theorem, partition, incidence matrix -- Good, bad sequence, well partial ordering -- Embeddability between...

6
by Moschovakis, Yiannis
Published 2006
Springer New York
Table of Contents: ... Points -- Well Ordered Sets -- Choices -- Choice’s Consequences -- Baire Space -- Replacement and Other...

7
by Kunen, Kenneth
Published 1980
North-Holland Pub. Co.
Table of Contents: .... The c.u.b. filter; 7. O and 0+; Exercises for Chapter II; Chapter III. The well-founded sets; 1...

8
by Roman, Steven
Published 2008
Springer New York
Table of Contents: ...Basic Theory -- Partially Ordered Sets -- Well-Ordered Sets -- Lattices -- Modular and Distributive...

9
by Harzheim, Egbert
Published 2005
Springer US
Table of Contents: ... -- Applications of the splitting method -- The dimension of posets -- Well-founded posets, pwo-sets and trees...

10
by Kuratowski, Kazimierz
Published 1968
North-Holland
Table of Contents: ... -- Linearly ordered sets -- Well-ordered sets -- Alephs and related topics -- Inaccessible cardinals...

11
Published 1983
Springer Berlin Heidelberg
Table of Contents: ...More saturated ideals -- Some results in the wadge hierarchy of borel sets -- Pointclasses and well...

12
by Dobson, Ted, Malnič, Aleksander, Marušič, D.
Published 2022
Cambridge University Press
Table of Contents: ... with other types of symmetry : half-arc-transitive graphs and semisymmetric graphs -- Fare you well...

13
Published 1985
Springer Netherlands
Table of Contents: .... Recursion -- Recursion theoretic aspects of graphs and orders -- VII. Well-Quasi-Ordering -- Basic wqo...

14
by Džamonja, Mirna
Published 2021
Cambridge University Press
Table of Contents: ...Axiomatic systems -- Zermelo-Fraenkel axioms and the axiom of choice -- Well orderings and ordinals...

15
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... characterizations of logic program properties -- Computing the well-founded semantics faster -- Loop checking...

16
Published 2007
Birkhäuser
Table of Contents: ... of Pretransitive Orientable Graphs -- Nonrepetitive Graph Coloring -- A Characterization of the 1-well-covered...

17
by Kechris, Alexander
Published 1995
Springer New York
Table of Contents: .... Examples -- 28. Separation Theorems -- 29. Regularity Properties -- 30. Capacities -- 31. Analytic Well...

18
by Halmos, P. R.
Published 1974
Springer New York
Table of Contents: ... of Choice -- 16 Zorn’s Lemma -- 17 Well Ordering -- 18 Transfinite Recursion -- 19 Ordinal Numbers -- 20...

19
by Moore, G.H.
Published 1982
Springer New York
Table of Contents: ... -- 1.5 The Well-Ordering Problem and the Continuum Hypothesis -- 1.6 The Reception of the Well-Ordering...

20
Published 2006
Birkhäuser
Table of Contents: ... Definably-large Cardinals -- Real-valued Measurable Cardinals and Well-orderings of the Reals -- Complexity...