Search alternatives:
"axiom" » "axioms"

1
by Jenks, Richard D., Sutor, Robert S.
Published 1992
Springer New York
... industry. Formerly dubbed Scratchpad, AXIOM is a powerful new symbolic and numerical system developed...

3
by Woodin, W. Hugh
Published 2010
De Gruyter
Subjects: ...Axiome der Konstruierbarkeit...

4
by Knuth, Donald E.
Published 1992
Springer Berlin Heidelberg

5
by Devlin, K. J.
Published 1977
Springer Berlin Heidelberg
Table of Contents: ...Four famous problems -- What is set theory? -- The axiom of constructibility -- Applications of V=L...

6
by Knuth, Donald
Published 1992
Springer

7
by Maddy, Penelope
Published 2011
Oxford University Press
.... The axioms of set theory have long played this role, so the question of how they are properly judged...

8
by Herrlich, Horst
Published 2006
Springer Berlin Heidelberg
Table of Contents: ...Origins: Hilbert's First Problem -- Choice Principles: Some Equivalents to the Axiom of Choice...

9
by Jech, Thomas J.
Published 1973
North-Holland Pub. Co.
Table of Contents: .... The ordered Mostowski model; 4.6. Problems; 4.7. Historical remarks; Chapter 5. Independence of the Axiom...

10
by Moore, G.H.
Published 1982
Springer New York
Table of Contents: ... Relations Concerning the Axiom of Choice -- Journal Abbreviations Used in the Bibliography -- Index...

11
by Rubin, Herman, Rubin, Jean E.
Published 1963
North-Holland Pub. Co.
Subjects: ...Axiom of choice / http://id.loc.gov/authorities/subjects/sh85010586...

12
by Halbeisen, Lorenz, Krapf, Regula
Published 2020
Birkhäuser
Table of Contents: ... of Presburger Arithmetic -- Models of Arithmetic Revisited -- Part IV Zermelo’s Axioms -- Axioms of Set Theory...

13
Published 1982
Springer Netherlands
... in an explicit and comprehensive fashion the most basic axioms and principles of plant morphology...

14
Published 1977
Springer

15
Published 2009
Springer New York
Table of Contents: ...Integrative Reviews and Basic Issues -- The Mileage from Social Axioms: Learning from the Past...

16
by Kleinberg, E. M.
Published 1977
Springer Berlin Heidelberg
Table of Contents: ...Infinitary combinatorics and the axiom of determinateness -- I -- II -- III -- IV -- V -- VI -- VII....

17
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...

18
Published 1977
Springer

19
by Wehrli, Hans
Published 2019
Wissenschaftliche Buchgesellschaft (wbg)

20
by Haubold, Hans
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: ...God as an (optional) axiom...