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 ] 

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



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

Сейчас этот форум просматривают: dgwuqtj


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

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