Schedule of Short_Communication and Poster |
Section |
|
Section 01 Logic |
August 21 |
Short Communication/Poster |
13:40-14:40, Poster |
Chen,Guolong, Huaibei Coal Industry Teachers College,China |
Computational Complexity on the Logic Theory |
Klujkov, Sergey , Priazovsky Technical State University, Ukraine |
Fairy Mathematics or Development of Math by adding of ones |
August 22 |
Short Communication/Poster |
13:40-14:40, R3058 |
Baizhanov,Bektur Sembiuly, Institute of Problems of Informatics and Control,Kazakhstan |
Axiomatizable classes of pairs of models with weakly o-minimal theory |
Turekhanova, Gulzhan , Institute of Problemsof Informatics and Control, Kazakhstan |
Examples of almost o-minimal theories |
Kulpeshov, Beibut Shaiykovich , Informatics and Control Problems Institute, Kazakhstan |
On weakly o-minimal theories of convexity rank 1 |
Li, Na , Henan University/Nankai University, China |
On a Boolean-valued model of the strict implication system |
14:45-15:45, R3058 |
Caceres, Luis , University of Puerto Rico at Mayaguez, USA |
Propositional logic and algebraic structures |
Hebert, Michel , American University in Cairo, Egypt |
l-algebraically and l-existentially closed substructures in categorical context |
Li, Zhiwei , Capital Normal University, China |
Implication algebra and heyting algebra |
Verbovskiy, Viktor , Institute for Problems of Informatics and Control, Kazakhstan |
Coset-minimal groups |
August 24 |
Short Communication/Poster |
13:40-14:40, Poster |
Chen,Guolong, Huaibei Coal Industry Teachers College,China |
Computational complexity on the logic theory |
16:15-17:15, R3058 |
Hrbacek, Karel , City College of New York, USA |
Relativization in nonstandard set theory. |
Model, Boris , Ben-Gurion University of the Negev, Israel |
Theory of infinitestage games of search and completion |
Wencel, Roman , Wroclaw University, Mathematical Institute, Poland |
Boolean ordered o-minimal structures - an overview of my PhD thesis |
Wang, Fangting , Univ. of Science & Tech. of China, China |
Set Theoretic Hypothesis : There Exist Nonprincipal Arithmetical Ultrafilters on w |
17:20-18:20, R3058 |
Gauthier, Yvon , University of Montreal, Canada |
Modular polynomial logic and the consistency of arithmetic |
Li, Angsheng , Chinese Academy of Sciences, China |
Structural theory of the computably enumerable turing degrees |
Nourani, Cyrus F , USA Last Appointment UCSB on Call, USA |
Functorial models and implicit complexity |
Wu, Guohua , Victoria University of Wellington, New Zealand |
Interactions between c.e. degrees and d.c.e. degrees |
August 26 |
Short Communication/Poster |
14:45-15:45, R3058 |
Hartz, David , College of St Benedict, USA |
An extension of the hyperarithmetic hierarchy |
Huang, Cheng-Gui , Cheng-Gui Huang Mathematical Institute For Research of Infinitesimal Calculus, China |
Standard infinitesimal calculus |
Liu, Feng , Shaanxi Economics and Trade Institute, China |
On both A and anti-A in neutrosophics of logic in excitation-inhibition perspective |
Smarandache, Florentin , University of New Mexico, USA |
Neutrosophic Logic Operators |
Please send your suggestions and comment to: icmadm@beijing.icm2002.org.cn Last modified: July.31, 2002 |
2002 © Copyright by Chinese Mathematical Society. All Rights Reserved |