{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":1,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":25,"n_cols":5,"rows_kept":25,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[12,2,12,3],[13,2,13,3],[14,2,14,3],[15,2,15,3],[18,2,18,3],[19,2,19,3],[22,2,22,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910457169903321"]
[null,null,"Titolo",null,"Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / / edited by Juliette Kennedy, Roman Kossak [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge : , : Cambridge University Press, , 2011"]
[null,null,"ISBN",null,"1-107-22784-4"]
[{"$nulls":4},"1-283-31675-7"]
[{"$nulls":4},"1-139-13946-0"]
[{"$nulls":4},"9786613316752"]
[{"$nulls":4},"1-139-14524-X"]
[{"$nulls":4},"1-139-14104-X"]
[{"$nulls":4},"1-139-13791-3"]
[{"$nulls":4},"0-511-91061-4"]
[{"$nulls":4},"1-139-14192-9"]
[null,null,"Descrizione fisica",null,"1 online resource (xiii, 227 pages) : digital, PDF file(s)"]
[null,null,"Collana",null,"Lecture notes in logic ; ; 36"]
[null,null,"Disciplina",null,"510"]
[null,null,"Soggetti",null,"Set theory"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Mathematics - Philosophy"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Title from publisher's bibliographic system (viewed on 05 Oct 2015)."]
[null,null,"Nota di contenuto",null,"Historical remarks on Suslin's problem / Akihiro Kanamori -- The continuum hypothesis, the generic-multiverse of sets, and the [OMEGA] conjecture / W. Hugh Woodin -- [omega]-Models of finite set theory / Ali Enayat and James H. Schmerl and Albert Visser -- Tennenbaum's theorem for models of arithmetic / Richard Kaye -- Hierarchies of subsystems of weak arithmetic / Shahram Mohsenipour -- Diophantine correct open induction / Sidney Raffer -- Tennenbaum's theorem and recursive reducts / James H. Schmerl -- History of constructivism in the 20th century / A.S. Troelstra -- A very short history of ultrafinitism / Rose M. Cherubin and Mirco A. Mannucci -- Sue Toledo's notes of her conversations with Gödel in 1972-1975 / Sue Toledo -- Stanley Tennenbaum's Socrates / Curtis Franks -- . Tennenbaum's proof of the irrationality of [the square root of] 2́ / Jouko Väänänen."]
[null,null,null,"Sommario/riassunto","This collection of papers from various areas of mathematical logic "]
[{"$nulls":4},"showcases the remarkable breadth and richness of the field. Leading authors reveal how contemporary technical results touch upon foundational questions about the nature of mathematics. Highlights of the volume include: a history of Tennenbaum's theorem in arithmetic; a number of papers on Tennenbaum phenomena in weak arithmetics as well as on other aspects of arithmetics, such as interpretability; the transcript of Gödel's previously unpublished 1972-1975 conversations with Sue Toledo, along with an appreciation of the same by Curtis Franks; Hugh Woodin's paper arguing against the generic multiverse view; Anne Troelstra's history of intuitionism through 1991; and Aki Kanamori's history of the Suslin problem in set theory. The book provides a historical and philosophical treatment of particular theorems in arithmetic and set theory, and is ideal for researchers and graduate students in mathematical logic and philosophy of mathematics."]