2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 "Bounded arithmetic" - в какой книге прочитать?
Сообщение14.02.2006, 10:13 


25/01/06
102
Подскажите, в какой книге можно прочитать про bounded arithmetic. Она обсуждается в труднодоступной диссертации "Bounded arithmetic" S.Buss, Princeton, 1985. Утверждается, что эта самая "ограниченная арфиметика" широко используется в логике и в исследованиях по аксиоматическим моделям арифметики в частности. Или вдруг у кого то есть электронная копия этой самой диссертации (она выходила как одноименная книга, но даже на Амазоне ее сейчас нет). Спасибо!

 Профиль  
                  
 
 
Сообщение14.02.2006, 12:12 
Заслуженный участник
Аватара пользователя


11/12/05
3542
Швеция
Takeuti, Gaisi Bounded arithmetic and truth definition. Ann. Pure Appl. Logic 39 (1988), no. 1, 75--104
Buss, Samuel R. Bounded arithmetic. Studies in Proof Theory. Lecture Notes, 3. Bibliopolis, Naples, 1986. vi+221 pp. ISBN: 88-7088-150-4
Clote, Peter Bounded arithmetic and computational complexity. Fifth Annual Structure in Complexity Theory Conference (Barcelona, 1990), 186--199,
Krají\v cek, Jan Bounded arithmetic, propositional logic, and complexity theory. Encyclopedia of Mathematics and its Applications, 60. Cambridge University Press, Cambridge, 1995. xiv+343 pp. ISBN: 0-521-45205-8

Pollett, Chris Structure and definability in general bounded arithmetic theories. Ann. Pure Appl. Logic 100 (1999), no. 1-3, 189--245.
Buss, Samuel R. Bounded arithmetic, cryptography and complexity. The arithmetization of metamathematics. Theoria 63 (1997), no. 3, 147--167.
Buss, Samuel R. Bounded arithmetic and propositional proof complexity. Logic of computation (Marktoberdorf, 1995), 67--121, NATO Adv. Sci. Inst. Ser. F Comput. Systems Sci., 157, Springer, Berlin, 1997.
Krají\v cek, Jan Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. J. Symbolic Logic 62 (1997), no. 2, 457--486.
Takeuti, Gaisi Gödel sentences of bounded arithmetic. J. Symbolic Logic 65 (2000), no. 3, 1338--1346.
Beckmann, Arnold; Pollett, Chris; Buss, Samuel R. Ordinal notations and well-orderings in bounded arithmetic. Ann. Pure Appl. Logic 120 (2003), no. 1-3, 197--223

 Профиль  
                  
 
 
Сообщение14.02.2006, 20:57 


25/01/06
102
Спасибо!

Krají\v cek, Jan Bounded arithmetic, propositional logic, and complexity theory. Encyclopedia of Mathematics and its Applications, 60. Cambridge University Press, Cambridge, 1995. xiv+343 pp. ISBN: 0-521-45205-8

- то что нужно.

 Профиль  
                  
 
 
Сообщение14.02.2006, 20:59 


25/01/06
102
Кстати, оказалось, что диссертацию самого Buss'а тоже можно заказать.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 4 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group