Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
Adrian Richard David Mathias (Regne Unit)
Publicacions
A note on the schemes of replacement and collection, 2004
MATHIAS, A.R.D. *A note on the schemes of replacement and collection*. Publicacions del CRM, núm. 609 (2004)
An application of descriptive set theory to a problem in dynamics, 1995
MATHIAS, A.R.D. *An application of descriptive set theory to a problem in dynamics*. Publicacions del CRM, núm. 308 (1995)
Analytic sets under attack, 2004
MATHIAS, A.R.D. *Analytic sets under attack*. Publicacions del CRM, núm. 565 (2004)
Epireflections and supercompact cardinals, 2007
BAGARIA, J.; CASACUBERTA, C. & MATHIAS, A.R.D. *Epireflections and supercompact cardinals*. Publicacions del CRM, núm. 740 (2007)
Long delays in dynamics, 1996
MATHIAS, A.R.D. *Long delays in dynamics*. Publicacions del CRM, núm. 334 (1996)
Notes on MacLane set theory, 1997
MATHIAS, A.R.D. *Notes on MacLane set theory*. Publicacions del CRM, núm. 348 (1997)
Recurrent points and hyperarithmetic sets, 1997
MATHIAS, A.R.D. *Recurrent points and hyperarithmetic sets*. Publicacions del CRM, núm. 349 (1997)
Slim models of Zermelo set theory, 1996
MATHIAS, A.R.D. *Slim models of Zermelo set theory*. Publicacions del CRM, núm. 336 (1996)
Two notes on symbolic dynamics, 2004
MATHIAS, A.R.D. *Two notes on symbolic dynamics*. Publicacions del CRM, núm. 610 (2004)
Weak systems of Gandy, Jensen and Devlin, 2005
MATHIAS, A.R.D. *Weak systems of Gandy, Jensen and Devlin*. Publicacions del CRM, núm. 614 (2005)
Participacions a Congressos
Meeting on Mathematical Logic (BLM94)
CRM, Bellaterra (27/1/1994- 29/1/1994)
Altres activitats (conferències, seminaris)
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
The Axiom of Determinacy (20/10/1993)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Woodin cardinals and forcibly complemented trees (10/11/1993)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
?½-determinacy (27/1/1994)
Dins el Meeting on Mathematical Logic, 27 a 29 gener 1994. No en consta la data exacta
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
The aims of set theory (5/7/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
The uses of set theory (8/7/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Admissibility, forcing and constructibility, I (10/10/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Admissibility, forcing and constructibility, II (17/10/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Iteration trees and ?¹2 determinacy, I (21/10/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Admissibility, forcing and constructibility, III (24/10/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Iteration trees and ?¹2 determinacy, II (28/10/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Admissibility, forcing and constructibility, IV (31/10/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Iteration trees and ?¹2 determinacy, III (4/11/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Admissibility, forcing and constructibility, V (7/11/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Iteration trees and ?¹2 determinacy, VI (11/11/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Admissibility, forcing and constructibility, VI (14/11/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Iteration trees and ?¹2 determinacy, V (18/11/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Admissibility, forcing and constructibility, VII (21/11/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Iteration trees and ?¹2 determinacy, VI (25/11/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Admissibility, forcing and constructibility, VIII (28/11/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Iteration trees and ?¹2 determinacy, VII (2/12/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Admissibility, forcing and constructibility, IX (5/12/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Subsystems of Zermelo set theory, I (7/12/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Admissibility, forcing and constructibility, X (12/12/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Subsystems of Zermelo set theory, II (14/12/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Iteration trees and ?¹2 determinacy, VIII (16/12/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/10/1993 - 31/3/1995]
Admissibility, forcing and constructibility, XI (19/12/1994)
Programa d'estades d'any sabàtic de la Dirección General de Investigación Científica y Técnica (DGICYT).
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/4/1995 - 30/3/1996]
An application of descriptive set theory in dynamics (1/4/1995)
No en consta la data exacta
Programa de professors visitants de la Direcció General d'Universitats (DGU)
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/4/1995 - 30/3/1996]
Aplicació de la teoria descriptiva de conjunts a un problema de dinàmica (1/5/1995)
No en consta la data exacta
Programa de professors visitants de la Direcció General d'Universitats (DGU)
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/4/1995 - 30/3/1996]
Iteration trees, V (1/11/1995)
No en consta la data exacta
Programa de professors visitants de la Direcció General d'Universitats (DGU)
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/4/1995 - 30/3/1996]
Iteration trees, VIII (1/11/1995)
No en consta la data exacta
Programa de professors visitants de la Direcció General d'Universitats (DGU)
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/4/1995 - 30/3/1996]
Iteration trees, VI (1/11/1995)
No en consta la data exacta
Programa de professors visitants de la Direcció General d'Universitats (DGU)
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/4/1995 - 30/3/1996]
Iteration trees, IV (1/11/1995)
No en consta la data exacta
Programa de professors visitants de la Direcció General d'Universitats (DGU)
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/4/1995 - 30/3/1996]
Iteration trees, III (1/11/1995)
No en consta la data exacta
Programa de professors visitants de la Direcció General d'Universitats (DGU)
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/4/1995 - 30/3/1996]
Iteration trees, II (1/11/1995)
No en consta la data exacta
Programa de professors visitants de la Direcció General d'Universitats (DGU)
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/4/1995 - 30/3/1996]
Iteration trees, I (1/11/1995)
No en consta la data exacta
Programa de professors visitants de la Direcció General d'Universitats (DGU)
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/4/1995 - 30/3/1996]
Iteration trees, VII (1/11/1995)
No en consta la data exacta
Programa de professors visitants de la Direcció General d'Universitats (DGU)
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/4/1995 - 30/3/1996]
Cardinals fortament compactes (1/1/1996)
No en consta la data exacta
Programa de professors visitants de la Direcció General d'Universitats (DGU)
Investigador visitant - Gesellschaft für Mathematische Forschung E. V., Freiburg - Lògica [1/4/1995 - 30/3/1996]
Iteration trees, IX (1/2/1996)
No en consta la data exacta
Programa de professors visitants de la Direcció General d'Universitats (DGU)
(desconegut -data aproximada) - ? - [1/5/1996 - ]
models of Zermelo´s set theory (1/5/1996)
No en consta la data exacta
Ponent de congrés - ? - [10/6/1996 - 14/6/1996]
Recurrent points and hyperarithmetic sets (10/6/1996)
Dins el curs sobre Techniques and Applications of Set Theory, 10 a 14 juny 1996. No en consta la data exacta
Ponent de congrés - ? - [5/7/2000 - 8/7/2000]
Extracting Woodin cardinals from principles of determinacy (5/7/2000)
Dins el 6th Barcelona Logic Meeting, 5 a 8 juliol 2000. No en consta la data exacta
Investigador visitant - Univ. la Réunion - PR (2003-2004) Teoria de conjunts i les seves aplicacions [15/9/2003 - 30/6/2004]
Successes and failures of the Cantor-Bendixon process (15/9/2003)
Dins el Seminari de Teoria de Conjunts. No en consta la data exacta
Investigador visitant - Univ. la Réunion - PR (2003-2004) Teoria de conjunts i les seves aplicacions [15/9/2003 - 30/6/2004]
Chameleons: sensitively non-Ramsey sets (19/1/2004)
Dins el CRM Advanced Course on Ramsey Methods in Analysis, 19 a 28 gener 2004. No en consta la data exacta
Investigador visitant - Univ. la Réunion - PR (2003-2004) Teoria de conjunts i les seves aplicacions [15/9/2003 - 30/6/2004]
Top down or bottom up? (9/6/2004)
Dins el Workshop on the Foundations of Set Theory, 9 a 12 juny 2004. No en consta la data exacta