Pascal and Francis Bibliographic Databases

Help

Export

Selection :

Permanent link
http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=20512602

THE GROUND AXIOM IS CONSISTENT WITH V ≠ HOD

Author
HAMKINS, Joel David1 2 ; REITZ, Jonas1 3 ; WOODIN, W. Hugh4
[1] MATHEMATICS PROGRAM, THE GRADUATE CENTER OF THE CITY UNIVERSITY OF NEW YORK, 365 FIFTH AVENUE, New York, New York 10016, United States
[2] DEPARTMENT OF MATHEMATICS, THE COLLEGE OF STATEN ISLAND OF THE CITY UNIVERSITY OF NEW YORK, 2800 VICTORY BOULEVARD, Staten Island, New York 10314, United States
[3] DEPARTMENT OF MATHEMATICS, NEW YORK CITY COLLEGE OF TECHNOLOGY OF THE CITY UNIVERSITY OF NEW YORK, 300 JAY STREET, Brooklyn, New York 11201, United States
[4] DEPARTMENT OF MATHEMATICS, UNIVERSITY OF CALIFORNIA AT BERKELEY, Berkeley, California 94720, United States
Source

Proceedings of the American Mathematical Society. 2008, Vol 136, Num 8, pp 2943-2949, 7 p ; ref : 11 ref

CODEN
PAMYAR
ISSN
0002-9939
Scientific domain
Mathematics
Publisher
American Mathematical Society, Providence, RI
Publication country
United States
Document type
Article
Language
English
Keyword (fr)
Ensemble ordonné Mathématiques Ordre 1 Ordre 2 Théorie ensemble 03Exx 06Axx
Keyword (en)
Ordered set Mathematics First order Second order Set theory
Keyword (es)
Conjunto ordenado Matemáticas Orden 1 Orden 2 Teoría conjunto
Classification
Pascal
001 Exact sciences and technology / 001A Sciences and techniques of general use / 001A02 Mathematics / 001A02A Mathematical logic, foundations, set theory / 001A02A01 Logic and foundations / 001A02A01E Set theory

Pascal
001 Exact sciences and technology / 001A Sciences and techniques of general use / 001A02 Mathematics / 001A02B Combinatorics. Ordered structures / 001A02B02 Order, lattices, ordered algebraic structures

Pascal
001 Exact sciences and technology / 001A Sciences and techniques of general use / 001A02 Mathematics / 001A02K General, history and biography / 001A02K01 General mathematics

Discipline
Mathematics
Origin
Inist-CNRS
Database
PASCAL
INIST identifier
20512602

Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS

Access to the document

Searching the Web