Master's Dissertation
DOI
https://doi.org/10.11606/D.45.2019.tde-03062019-115721
Document
Author
Full name
Rafael Russo Setin
E-mail
Institute/School/College
Knowledge Area
Date of Defense
Published
São Paulo, 2016
Supervisor
Committee
Bianconi, Ricardo (President)
Coniglio, Marcelo Esteban
Miraglia Neto, Francisco
Coniglio, Marcelo Esteban
Miraglia Neto, Francisco
Title in Portuguese
Sobre a infinidade dos primos, o princípio da casa dos pombos e a função exponencial na Aritmética Limitada
Keywords in Portuguese
Aritimética Limitada
Infinidade
Pombo
Primos
Infinidade
Pombo
Primos
Abstract in Portuguese
Estudaremos aqui problemas de demonstrações em teorias fracas da Aritmética Limitada os teoremas sobre a infinidade dos primos e do princpio da casa dos pombos (limitado). Serão dadas soluções parciais para os dois problemas anteriores, além da demonstração que o grafco de x y = z tem definição 0
Title in English
On the infinity of the cousins, the principle of the house of pigeons and the exponential function in Arithmetic Limited
Keywords in English
Arithmetic
Bounded
Problems
Bounded
Problems
Abstract in English
We study here the problems of proving in weak theories of Bounded Arithmetic the theorems about the existence of arbitrarily large prime numbers and the (limited) pigeon hole principle. We will give partial solutions for the two foregoing problems, and the proof that the graphic of x y = z has a 0 definition
WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
RafaelRussoSetin.pdf (341.90 Kbytes)
Publishing Date
2019-06-03
WARNING: Learn what derived works are clicking here.
All rights of the thesis/dissertation are from the authors
CeTI-SC/STI
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2024. All rights reserved.
CeTI-SC/STI
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2024. All rights reserved.