Initial segments maximal Σₙ-definable sets in fragments of arithmetic

Mon, 05/21/2012 - 16:22 — alvaro

Title	Initial segments maximal Σₙ-definable sets in fragments of arithmetic
Publication Type	Conference Contributions
Year of Publication	2001
Authors	Graciani-Díaz, C., Pérez-Jiménez M. J., Romero-Jiménez Á., & Sancho-Caparrini F.
Conference Name	Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel Colloquium
Volume Title	Collegium Logicum
Publisher	Kurt G ̈del Society
Place Published	Barcelona (Spain)
Volume	IV
Pages	37-38
Date Published	16-19/07/1999

Featured News:

Mario J. Pérez-Jiménez in the top 2% of scientists of the World
The study by the Stanford University, is an updated version of a previous studies classifying the top 2% of researchers of the World in 2023. Mario J. Pérez-Jiménez, founder of this research group, appears in the list available in the corresponding open database.
November 17, 2023

Agustín became Full Professor
On October 26th, Agustín Riscos-Núñez, the Head of the research group became Full Professor (Catedrático de Universidad) of the Department of Computer Science and Artificial Intelligence of the University of Seville.

October 26, 2023

Science names our most recent research project

Our project Virus Machines: theory and applications has been named in a Science article, where some of the research projects awardee by the Zhejiang Lab with a BioBit grant.
May 26, 2023

Complete list of news

Research Group on Natural Computing

Initial segments maximal Σₙ-definable sets in fragments of arithmetic