New studies in weak arithmetics /
Saved in:
Group Author: | ; ; |
---|---|
Published: |
Center for the Study of Language and Information,
|
Publisher Address: | Stanford, California : |
Publication Dates: | [2013] |
Literature type: | Book |
Language: | English |
Series: |
CSLI lecture notes ;
number 211 |
Subjects: | |
Carrier Form: | xiv, 448 pages : illustrations ; 23 cm. |
Bibliography: | Includes bibliographical references (447-448) and index. |
ISBN: |
9781575867236 : 1575867230 |
Index Number: | QA241 |
CLC: | O156 |
Call Number: | O156/N532-1 |
Contents: | Foreword / Luc Hittinger -- Congratulations from Samos / Petros Parianos -- Introduction / Patrick Cégielski, Charalampos Cornaros, Costas Dimitracopoulos -- A few questions concerning consistency and conservativeness / Zofia Adamowicz -- In memoriam of Alan Robert Woods / Patrick Cégielski, Denis Richard -- Degrés Ludiques: une introduction / Christophe Chalons, Jean-Pierre Ressayre -- Primes in models of [symbols]: density in henselizations / Paola D'Aquino and Angus Macintyre -- A new proof of Tanaka's theorem / Ali Enayat -- [Symbols]-definability of the denumerant with one plus three variables / Henri-Alex Esbelin -- Techniques in weak analysis for conservation results / António M. Fernandes, Fernando Ferreira, Gilda Ferreira -- On the notion of Proving its own consistency / Doukas Kapantais -- Adding standardness to nonstandard arithmetic / Richard Kaye, Roman Kossak, Tin Lok Wong -- Randomness, pseudorandomness and models of arithmetic / Pavel Pudlák -- The number of certain trees / Jan-Christoph Schlage-Puchta -- What is sequentiality? / Albert Visser -- Some problems in logic and number theory, and their connections / Alan R. Woods (1953-2011) -- Bounded induction, the pigeon hole principle, and the existence of arbitrarily large prime numbers -- Definability properties of the coprimenes predicate -- Some logical consequences of the linear case of Schinzel's hypothesis H -- Models of arithmetic / Hamid Lesan (1951-2006) -- Notation, terminology and prerequisites -- A-saturated models of arithmetic -- [Symbols]-definable elements and a problem of H. Gaifman -- Internal A-saturated structures -- Initial segments of models of B. |