Bounded theories for polyspace computability (2013)
- Authors:
- Autor USP: BIANCONI, RICARDO - IME
- Unidade: IME
- DOI: 10.4171/PM/1936
- Assunto: COMPUTABILIDADE E COMPLEXIDADE
- Keywords: Bounded arithmetic; weak analysis; polyspace computability; conservation results; cut-elimination
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Portugaliae Mathematica
- ISSN: 0032-5155
- Volume/Número/Paginação/Ano: v. 70, n. 4, p. 295-318, 2013
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
BIANCONI, Ricardo e FERREIRA, Gilda e SILVA, Emmanuel. Bounded theories for polyspace computability. Portugaliae Mathematica, v. 70, n. 4, p. 295-318, 2013Tradução . . Disponível em: https://doi.org/10.4171/PM/1936. Acesso em: 21 jan. 2026. -
APA
Bianconi, R., Ferreira, G., & Silva, E. (2013). Bounded theories for polyspace computability. Portugaliae Mathematica, 70( 4), 295-318. doi:10.4171/PM/1936 -
NLM
Bianconi R, Ferreira G, Silva E. Bounded theories for polyspace computability [Internet]. Portugaliae Mathematica. 2013 ; 70( 4): 295-318.[citado 2026 jan. 21 ] Available from: https://doi.org/10.4171/PM/1936 -
Vancouver
Bianconi R, Ferreira G, Silva E. Bounded theories for polyspace computability [Internet]. Portugaliae Mathematica. 2013 ; 70( 4): 295-318.[citado 2026 jan. 21 ] Available from: https://doi.org/10.4171/PM/1936 - Schottky type groups and Kleinian groups acting on 'S POT.3' with the limit set a wild Cantor set
- Schottky type groups and Kleinian groups acting on s3 with limit set a wild Cantor set
- On the convergence of the integrals of a truncated Henstock-Kurzweil integrable function
- Undefinability results in o-minimal expansions of the real numbers
- Some model theory for the reals analytic functions
- Model complete expansions of the real field by modular functions and forms
- A note on the construction of a certain class of kleinian groups
- Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
- Some model theory of hypergeometric and Pfaffian functions
- A note on the non-interpretability of a discrete order in an o-minimal (dense) structure
Informações sobre o DOI: 10.4171/PM/1936 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3071016.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
