Wow! I wonder where human civilisation would end up if it recapitulated
an entire Heyting lattice.

Peter Wilkinson
pwilkin…@cix.compulink.co.uk

Maybe I missed something but…

I don’t see where Gravity or Atmosphere have any cause to
rocket propulsion.  As I understand it, propulsion, in any
case, stems from an action/reaction event whether that event
is the event-point of pushing your foot against the ground
to walk or the event-point of igniting rocket fuel at the
tail of a rocket to fly.  Gravity, Atmospheric resistance,
friction or whatever only serve to impede propulsion, not
cause it.

Perhaps "action/reaction" is a misnomer nowadays.  Both are
relative terms indicating a mutual dependence on one another.
Action & reaction (F=-F) are merely diametric observations of
a mutual event.  For the foot-pushing-against-the-ground and
the ground-pushing-against-the-foot diametrics, the mutual
event is an application of energy between the foot and the
ground resulting equal & opposite forces pushing the two
apart.  

Actually, to put this in a relativistic frame, we
should rewrite Newton’s third law to include the event/energy
such that (F=E=-F).  From this new equation we can see how
mechanical energy applied through the foot creates an
energetic event and thusly an equal and opposite force
separating the foot and the ground.

Similarly in rocket propulsion, ignition of the rocket fuel
at the tail end of the rocket also creates an energetic event
with resultant forces appearing as propulsion and exhaust.

Interestingly enough, Newton’s 1st Law – the Law of Inertia
when combined with an energetic event to produce resultant
forces (Newton’s 3rd Law) results in his 2d Law – Acceleration
of an object is directly proportional to the resultant force
and inversely proportional to its own mass, and so Newton has
the technology to build rockets.

Of course, the event-point of the rocket vs exhaust is mech-
anically tied to the rocket (and not the exhaust) so as to
keep a constant motion (in the direction of the rocket.)

Maybe that "rocket pushing against the ejected matter"
analogy was a bit primitive.  A better one may be…
Imagine an exploding hand grenade.  The energetic event is of
course the explosion, the resultant forces are the various
diametrically opposed flying pieces of shrapnel. (F=E=-F)
What’s gravity or atmosphere got to do with that except to
keep the shrapnel from flying through space & time forever?

 - Rich

PS: I have a strong interest in gravity theories.  I’d like
    to hear more on that lite & dense matter thing.  Einstein’s
    mass-spatial theory keeps bringing me back to that
    aether-like material as defining space.

–
Happy New Year! Everybody:

Science can be a very useful thing.  In fact, anti-convulsants were
discovered and produced by scientific means.  And they have  
help me much; anti-consulsants control my seisures pretty good.
However, one question arises: Who should I give credit to for de-
veloping the medication I take?

Indeed!  I should and do give credit to the scientists who discov-
ered it; however, I give more credit to Someone else.  Who else  
to you think (use logic) I give credit to?  I give the most credit to
God!

Stop and think – about how humans did not get there wisdom from
nowhere.  God gave it to them!  so they could help other people.

I encourage you to put your faith and trust in God.  He will bless
you for doing so.  Also, I assure you that this will be you best year
ever – if you put your faith and trust in God.

Yours through Christ,
                         Dr. Sunderland, Ph.D.

I have the following books for sale :

Please note the books condition:

Brand New = (!)           Good    = (***)
Excellent = (****)        Average = (**)             Poor = (*)

————————————————————————–

- K. Knopp, Elements of The Theory of Functions, Dover, 1952, $15
  (***, soft cover).

- K. Knopp, Infinite Sequences and Series, Dover, 1956, $15, (***, soft
  cover).

- K. Knopp, Theory And Application Of Infinite Series, Hafner Pub. Co.,
  2nd ed., 1923, $22 (***).

- R. C. Jeffrey, The Logic of Decision, 2nd ed., The University of Chicago
  Press, 1983, $25 (****).

- R. C. Jeffrey, Formal Logic: Its Scope and Limits, McGraw Hill, 1967,
  $25 (****).

- E. R. Stabler, An Introduction to Mathematical Thought, Addison Wesley,
  1953, $19 (****).

- T. Vicsek, Fractal Growth Phenomena, World Scientific Pub. Co., 1989,
  $19 (****), soft cover.

- P. W. Zehna and R. L. Johnson, Elements of Set Theory, Allyn and Bacon,
  1962, $25 (****).

- W. H. Richardson, Finite Mathematics, Harper & Row Publishers, 1968, $19
  (****).

- J. Bebernes and D. Eberly, Mathematical Problems from Combustion Theory,
  Springer Verlag, 1989, $25 (!).

- H. K. Crowder and S. W. McCuskey, Topics in Higher Analysis, the Macmillan
  Co., 1964, $22 (****).

- M. R. Kinsolving, Set Theory and The Number Systems, International
  Textbook Company, 1967, $19 (****).

- M. D. Larsen, Fundamental Concepts of Modern Mathematics, Addison Wesley,
  $19 (****).

- A. H. Lightstone, Symbolic Logic and the Real Number System: An Introduction
  to the Foundations of Number Systems, Harper & Row Publishers, 1965, $19
  (****).

- E. J. Cogan, Foundations of Analysis, Prentice Hall, 1962, $19 (****).

- V. G. Sprindzuk, Mahler’s Problem in Metric Number Theory, American
  Mathematical Society, 1969, $23 (***).

- D. N. Clark, G. Pecelli, and R. Sacksteder, Contributions to Analysis and
  Geometry, Johns Hopkins University Press, 1981, $24 (****).

- G. A. Freiman, Foundations of a Structural Theory of Set Addition,
  American Mathematical Society, 1973, $22 (****).

- N. I. Achieser and I. M. Glasmann, Theorie Der Linearen Operatoren im
  Hilbert-Raum, Springer Verlag, 1960, $23 (****).

- J. R. Rice and R. F. Boisvert, Solving Elliptic Problems Using ELLPACK,
  Springer Verlag, 1985, $23 (****).

- J. A. Hummel, Introduction to Vector Functions, Addison Wesley, 1967,
  $23 (***).

- R. Katz, Axiomatic Analysis: An Introduction to Logic and the Real Number
  System, D.C. Heath & Co., 1964, $23 (***).

- R. D. Mattuck, A Guide to Feynman Diagram in the Many-Body Problem, McGraw
  Hill, 1967, $22 (***).

- F. F. Ling and I. G. Tadjbakhsh, eds., Recent Developments in Applied
  Mathematics, Rensselaer Press, 1983, $23 (!).

- R. T. Seeley, Calculus of Several Variables, Scott Foresman & Co., 1970,
  $19 (****).

- P. C. Shields, Linear Algebra, Addison Wesley, 1964, $19 (***).

- D. Saracino, Abstract Algebra: A First Course, Addison Wesley, 1980,
  $19 (***).

- J. T. Moore, Elements of Abstract Algebra, Allendoerfer Advanced
  Series, The Macmillan Company, 1962, $22 (****).

- B. L. Van Der Waerden, Modern Algebra, Vol. I, Frederick Ungar
  Pub. Co., 1940, $25 (***).

- A. Clark, Elements of Abstract Algebra, Wadsworth Publishing Co., 1971,
  $22 (***).

- C. B. Hanneken, Introduction to Abstract Algebra, Dickenson Publishing
  Co., 1968, $22 (****).

- L. J. Paige and J. D. Swift, Linear Algebra, Ginn and Co., 1961, $22 (***).

- B. L. Van Der Waerden, Modern Algebra, Volume I, Frederick Ungar Publishing
  Co., 1964, $22 (****).

- W. E. Barnes, Introduction to Abstract Algebra, D.C. Heath & Co., 1963,
  $22 (***).

- C. W. Curtis, Linear Algebra: An Introduction Approach, 2nd ed., Allyn
  and Bacon, Inc., 1968, $22 (***).

- J. Gilbert and L. Gilbert, Elements of Modern Algebra, 3rd ed., PWS-Kent
  Publishing Co., 1992, $22 (!).

- R. L. Finney and D. R. Ostberg, Elementary Differential Equations with
  Linear Algebra, Addison Wesley, 1976, $12 (**).

- E. A. Walker, Introduction to Abstract Algebra, Random House, 1987, $22
  (****).

- W. A. Granville, P. F. Smith, and W. R. Longley, Elements of The
  Differential and Integral Calculus, Blaisdell Pub. Co., 1962, $19 (***).

- M. R. Spiegel, Applied Differential Equations, 2nd ed., Prentice Hall,
  1967, $17 (***).

- M. Brawn, Differential Equations and Their Applications, 2nd ed., Springer
  Verlag, 1975, $25 (***).

- S. B. Norkin, Differential Equations of the Second Order with Retarded
  Argument, American Mathematical Society (AMS), 1972, $25 (!).

- J. S. Vandergraft, Computer Science and Mathematics: Introduction to
  Numerical Computations, 2nd ed., Academic Press, 1983, $25 (!).

- J. Stoer and R. Bulirsh, Introduction to Numerical Analysis,
  Springer Verlag, 1980, $35 (!).

- N. S. Kurpel, Projection – Iterative Methods for Solution of Operator
  Equations, American Mathematical Society (AMS), 1976, $25 (****).

- H. G. Campbell, An Introduction to Matrices, Vectors, and Linear
  Programming, Meredith Pub. Co., 1965, $22 (***).

- M. L. James, G. M. Smith, and J. C. Wolford, Applied Numerical Methods
  For Digital Computation with Fortran and CSMP, Harper & Row Pub., 1977,
  $22 (***).

- G. A. Bekey and W. J. Karplus, Hybrid Computation, John Wiley & Sons,
  1968, $22 (****).

- D. D. McCracken and W. S. Dorn, Numerical Methods and Fortran
  Programming with Applications in Engineering and Science, John Wiley
  & Sons, 1964, $25 (****).

- F. R. Ruckdeschel, BASIC Scientific Subroutines Vol. II, McGraw Hill,
  1981, $22 (****).

- A. L. Edwards, Statistical Analysis, Revised edition, Holt Rinehart
  Winston, 1960, $15 (***).

- A. L. Edwards, Statistical Analysis for Students in Psychology and
  Education, Rinehart & So., 1956, $10 (***).

- H. M. Walker and J. Lev, Elementary Statistical Methods, 3rd ed., Holt
  Rinehart Winston, 1969, $12 (****).

- P. R. Rider, An Introduction to Modern Statistical Methods, John Wiley &
  Sons, 1939, $10 (***).

- M. Rosenblatt, Random Processes, Oxford University Press, 1962, $19 (***).

- B. Harris, Theory of Probability, Addison Wesley, 1966, $19 (***).

- J. L. Devore, Probability & Statistics for Engineering and The Sciences,
  Brooke/Cole Pub., 1982, $19 (****).

- Z. W. Birnbaum, Introduction to Probability and Mathematical Statistics,
  Harper & Brothers Pub., 1962, $19 (***).

- G. W. Mackey, The Theory of Unitary Group Representations, University of
  Chicago Press, 1976, $17 (***).

- B. W. Lindgren, G. W. McElrath, Introduction to Probability and
  Statistics, Third Edition, MacMillan, 1966, $19 (****).

- A. C. Pipkin, Lectures On Viscoelasticity Theory, 2nd edition, Springer-
  Verlag, 1986, $15 (!), Soft Cover.

- P. Fulde, Electron Correlations in Molecules and Solids, Second
  Edition, Springer-Verlag, 1993, $15 (!), Soft Cover.

- R. B. Reisel, Elementary Theory of Metric Spaces, Springer-Verlag, 1982,
  $15 (!), Soft Cover.

- D. Moller, Ed., Advanced Simulation in Biomedicine, Springer-Verlag,
  1990, $17 (!), Soft Cover.

- D. V. Chudnovsky, G. V. Chudnovsky, H. Cohn, M. B. Nathanson, Eds.,
  Number Theory, Springer-Verlag, 1991, $18 (!), Soft Cover.

- K. H. Borgwardt, The Simplex Method: A Probablistic Analysis, Springer-
  Verlag, 1987, $18 (!), Soft Cover.

- J. R. Dias, Molecular Orbital Calculations Using Chemical Graph Theory,
  Springer-Verlag, 1993, $16 (!), Soft Cover.

- A. Terras, Harmonic Analysis on Symmetric Spaces and Applications II,
  Springer-Verlag, 1988, $17 (!), Soft Cover.

- R. Benedetti, C. Petronio, Lectures on Hyperbolic Geometry, Springer-
  Verlag, 1992, $17 (!), Soft Cover.

- K. Konigsberger, Analysis 2, Springer-Lehrbuch, 1993, $17 (!), Soft
  Cover.

- L. S. Charlap, Bieberbach Groups and Flat Manifolds, Springer-Verlag,
  1986, $17 (!), Soft Cover.

- R. H. Rand, D. Armbruster, Perturbation Methods: Bifurcationi Theory and
  Computer Algebra, Springer-Verlad, 1987, $19 (!), Soft Cover.

- R. L. Gue and M. E. Thomas, Mathematical Methods in Operations Research,
  The macmillan Co., 1968, $25 (****).

- G. Hadley, Linear Algebra, Addison Wesley, 1961, $19 (***).

- C. Goffman and G. Pedrick, First Course in Functional Analysis, Prentice
  Hall, 1965, $22 (****).

- F. Hausdorff, Set Theory, 2nd ed., Chelsea Pub. Co., 1962, $29 (****).

- S. Bell, J. R. Blum, J. V. Lewis, and J. Rosenblatt, Modern University
  Calculus with Coordinate Geometry, Holden Day, 1966, $23 (****).

- F. C. Hoppensteadt and C. S. Peskin, Mathematics in Medicine and The
  Life Sciences, Springer Verlag, 1992, $25 (!).

- P. Buser, Geometry and Spectra of Compact Riemann Surfaces, Birkhauser
  Boston, 1992, $25 (!).

- J. L. Schiff, Normal Families, Springer Verlag, 1993, $19 (!, soft cover).

- C. E. Froberg, Introduction to Numerical Analysis, Addison Wesley, 1965,
  $22 (***).

- J. A. Peterson, J. Hashisaka, Theory of Arithmatic, Second Edition,
  Wiley, 1963, $19 (***).

- H. Rutishauser, Lectures on Numerical Mathematics, Birkhauswer, 1990,
  $35 (!).

- G. F. Simmons, Differential Equations with Applications and Historical
  Notes, McGraw-Hill, 1972, $25 (***).

- P. G. Hoel, Elementary Statistics, Second Edition, Wiley, 1966,
  $25 (***).

- S. Sahni, Concepts in Descrete Mathematics, Second Edition, Camelot,
  1985, $29 (****).

- A. L. Rabenstein, Elementary Differential Equations with Linear Algebra,
  Second Edition, Academic Press, 1975, $24 (***).

- S. Ross, A First Course in Probability, Second Edition, MacMillan, 1984
  $28 (!).

- J. Gilbert, L. Gilbert, Elements of Modern Algebra, Third Edition, 1992
  $27 (****).

- K. Meinke, J. V. Tucker, Eds., Many-Sorted Logic and its Applications,
  Wiley, 1993 $35 (!).

- P. C. Shields, Elementary Linear Algebra, Second Edition, Worth, 1968
  $18 (***).

- S. Wolfenstein, Introduction to Linear Algebra and Differential
  Equations, Holden-Day, 1969, $25 (***).

- H. A. Taha, Operations
…

read more »

                           CALL FOR PAPERS

                 The Third International Workshop on

        AGENT THEORIES, ARCHITECTURES, AND LANGUAGES (ATAL-96)

    To be held at ECAI-96, Budapest, Hungary, August 12–13, 1996

              http://www.dfki.uni-sb.de/~jpm/atal96.html

Introduction

The  emergence of intelligent agent   technology  is one of the   most
exciting and important events to occur in  computer science during the
1990s.  It is now widely  accepted that  this  technology will play  a
central  role  in the  development   of complex  distributed  systems,
networked  information systems,  and  computer  interfaces during  the
twenty-first century.   The aim of this workshop  is to bring together
researchers interested in    the agent-level, micro    aspects of this
emerging technology.  Specifically,  the  workshop  will address  such
issues  as  the specification   of  agents via agent   theories, agent
architectures   and  decision-making, methodologies and  languages for
realising agents, and software tools for programming and experimenting
with agents.   In particular,  the workshop  will   focus on  the link
between agent  theories and  the  realisation of  such  theories using
software  architectures   or  languages.     Issues  such    as  agent
communication languages also fall  within  the scope of the  workshop.
However, the submission of papers  that address macro-level aspects of
agent technology, (such  as cooperative problem solving or cooperation
protocols),  is  not  encouraged.    Such  papers address   mainstream
multi-agent systems issues, and there  are more appropriate forums for
such work.  The same holds  true for papers that describe applications
of agent-based technologies  without clearly describing the underlying
theory, architecture, or language.

ATAL-96 will build on the success of two previous ATAL workshops.  The
first,  ATAL-94,  was held  at  the   ECAI-94 conference;  the second,
ATAL-95,  was  held at  IJCAI-95.   The proceedings  of both  of these
workshops have been formally  published by Springer-Verlag,  under the
title `Intelligent Agents’ (Volumes 1 and  2); the ATAL-94 proceedings
were the  best-selling LNAI volume  of 1995.   The proceedings  of the
1996 workshop will  be  published in  a  similar way,  soon after  the
workshop is held.

As the title suggests, the workshop has three main themes:

o   Agent theories:  How  do  the   various  components of an  agent’s
     cognitive makeup conspire  to produce rational behaviour? What is
     the relationship between  these components?  What formalisms  are
     appropriate for expressing  aspects of agent  theory?  Do we need
     logic-based formalisms?  If  not, is another type of mathematical
     framework appropriate?  How are we  to model bounded rationality?
     What  properties   are   desirable for   an   agent communication
     language?

o  Agent architectures:  What  structure  should an   agent  have?  Is
     reactive  behaviour enough, or do  we need  deliberation as well?
     How  can we     integrate reactive  and  deliberative  components
     cleanly?   What is the  relationship  between an agent theory and
     architecture?  How  can  we synthesise an   agent   from an agent
     specification? How are we to reason about reactive systems?

o Agent languages: What  are the right  primitives for programming  an
     intelligent  agent?  How are    these primitives related to   the
     theory of an agent, or its architecture?

Papers  that  cross  theme   boundaries are  of  particular  interest.
Examples might  include a  paper  that demonstrated how   a particular
architecture or  language embodied some theory  of agency,  or a paper
that  gave  the semantics  for   an  implemented agent   communication
language.

Topics of Interest

Topics of  interest include,  but are by  no  means restricted to, the
following:

 Agent Theories                           Agent Architectures

 intentions                               deliberative architectures
 time, desires, beliefs, and goals        reactive architectures
 decision theory and agency               hybrid architectures
 believable agents                        BDI architectures
 specification/verification of agents     agent-based design methodologies
 executing logical agent specifications   software agents
 models for reactive agents                  
 semantics of agent communication         Agent Languages
 know-how, procedural knowledge, ability
 practical reasoning and rational choice  the agent-oriented paradigm
 models for agent decision-making         agent communication languages
 rationality & bounded rationality        agent specification languages
 deliberation scheduling                  agent-based computing

Submission Details

Those wishing to participate in the workshop should submit an original
paper of up   to  five thousand words   (approximately  thirteen pages
maximum), to reach the organising committee chair  no later than April
5, 1996.  Electronic   submission of papers  in  PostScript format is
strongly  encouraged.  Alternatively,  send   *four* single-sided hard
copies to reach  the chair by  April 5, 1996.   The first page should
include  the full  name and   contact  details (including email,  full
postal address,  and telephone number   if possible)  of at least  one
author; detailed formatting  instructions,  (including a   LaTeX style
package), are available either from the  workshop WWW site (see below)
or on request  from  the organisers.   Notification of  acceptance  or
rejection will  be  sent  no later than    May 24, 1996, and  will  be
delivered  by   email   where  possible.   Pre-proceedings     will be
distributed at the workshop.  As with ATAL-94 and ATAL-95, proceedings
will be formally published soon after the workshop is held.

Those wishing to attend without presenting a paper should send a brief
summary  of  their reasons for    interest  in  the  workshop to   the
organising  committee chair. Note  that attendance will, of necessity,
be limited.

            NOTE: EVERYONE ATTENDING THE WORKSHOP WILL BE
            REQUIRED TO REGISTER FOR THE MAIN CONFERENCE.

Organising Committee

Joerg P. Mueller (CHAIR)                Email j…@dfki.uni-sb.de
 DFKI GmbH                              Tel (+49 681) 302 5331
 Stuhlsatzenhausweg 3                   Fax (+49 681) 302 5341
 D-66123 Saarbruecken, Germany

Michael Wooldridge                      Email M.Wooldri…@doc.mmu.ac.uk
 Department of Computing                Tel (+44 161) 247 1531
 Manchester Metropolitan University     Fax (+44 161) 247 1483
 Manchester M1 5GD, U.K.                

Nicholas Jennings                       Email N.R.Jenni…@qmw.ac.uk
 Department of Electronic Engineering   Tel (+44 171) 975 5349
 Queen Mary & Westfield College         Fax (+44 181) 981 0259
 Mile End Road, London E1 4NS, U.K.

Program Committee

 Christiano Castelfranchi (Italy)
 Keith Clark (UK)
 Paul Cohen (USA)
 Phil Cohen (USA)
 Ed Durfee (USA)  
 Tim Finin (USA)
 Klaus Fischer (D)
 Michael Fisher (UK)
 John Fox (UK)
 Fausto Giunchiglia (Italy)
 Piotr Gmytrasiewicz (USA)
 Hans Haugeneder (D)
 Sarit Kraus (Israel)
 John Jules Ch. Meyer (NL)
 Anand Rao (Australia)
 Jeff Rosenschein (Israel)
 Yoav Shoham (USA)
 Munindar Singh (USA)
 Aaron Sloman (UK)
 Donald Steiner (D)
 Kurt Sundermeyer (D)
 Milind Tambe (USA)
 Jan Treur (NL)
 Gerd Wagner (D)

Further Details

Either point your browser at:

                              http://www.dfki.uni-sb.de/~jpm/atal96.html

or contact any member of the organising committee.

___________________________________________________________________________

–
Michael Wooldridge                 | email M.Wooldri…@doc.mmu.ac.uk
Department of Computing            | http://www.doc.mmu.ac.uk/STAFF/mikew.html
Manchester Metropolitan University | tel  (+44 161) 247 1531
Chester St., Manchester M1 5GD, UK | fax  (+44 161) 247 1483

Hi,

i want to have a collection (as broad as possible) of undecidable problems.
As there exists no Garey/Johnson for these problems, i would be very glad for
any hints to references (as recent as possible, understandable for
undergraduate students with a good backgound).

Thanks, bye, Uli

Lecture Announcement
——————–

Herbert Hrachovec
==================
Institut fuer Philosophie, Universitaet Wien
mailto:Herbert.Hracho…@univie.ac.at

Dreimal Unvollstaendigkeit:
Mengentheorie, Meta-Mathematik, Philosophie.
————————————————————–
Monday, January 8, 1995, 16:45

ABSTRACT:

Was beweist Goedels erster Unvollstaendigkeitssatz? Antworten auf diese
Frage vermischen in der Regel verschiedene Ebenen der Analyse. Zur
Erklaerung reicht es nicht, die korrekte Ableitung eines bestimmten
Theorems unkommentiert hinzustellen. Wenn damit etwas von allgemeinem
Interesse bewiesen wird, muss auf den formalen Beweis eine Interpretation
aufgesetzt werden. Ihr Gehalt ist nicht auf den blossen Beweisverlauf
reduzierbar.

Der Vortrag knuepft an Raymond Smullyans Darstellung des Goedelschen
Beweises an und unterscheidet eine metamathematische und eine
philosophische Interpretationsebene. Er versucht zu zeigen, dass es sich
in beiden Faellen nicht um entbehrliche Zusatzueberlegungen zu den "harten
Fakten" der faktischen Beweisfuehrung handelt. Vielmehr bestimmt sich das
Verstaendnis dessen, worum es in diesem Satz eigentlich geht, aus
informellen Vorgaben.

Sie lassen sich praezisieren. Dabei zeigt sich, dass die philosophische
Verarbeitung des Theorems auf einen eigenartigen
Problemtypus stoesst: auf die Bedeutung konkurrierender Interpretationen
scheinbar feststehender formaler Vorgaben.

PLACE:

Seminarraum SEM 181A, Institut fuer Informationssysteme,
Paniglgasse 16, 1. Stock, 1040 Wien.

————————
Kurt-Goedel-Gesellschaft
Technische Universitaet Wien
Institut fuer Computersprachen E185.2
Resselgasse 3/1, A-1040 Wien

Tel: (+43 1) 588 01/4088
Fax: (+43 1) 504 15 89
email: mailto:k…@logic.tuwien.ac.at
http://logic.tuwien.ac.at:80/kgs/home.html
listserver: mailto:listp…@dbai.tuwien.ac.at

Mit Unterstuetzung des
Bundesministeriums fuer Wissenschaft und Forschung

                Call for Papers

               Beyond First Order

     Workshop on Extensions of First Order Logic

       Zakopane, Poland, September 23 – 28 1996

Topics:

The workshop aims at stimulating research activities on extensions
of first order logic, especially those concerned with finite and
pseudofinite models. Typical, but not exclusive, topics of interest are

- Classification and decidability in higher order logic
– Generalized quantifiers on finite and pseudofinite structures
– Problems of complexity and definability

Submissions

The scientific programme will include presentations of the accepted
papers and discussion sessions. Authors are invited to send three
copies of their manuscripts to Beyond96 at Warsaw University, at the
address mentioned below. Papers must be written and presented in English.

Programme Committee

Z. Adamowicz (Warsaw), J. W. Degen (Erlangen, chair), J. Flum (Freiburg),
L. Hella (Helsinki), H. Herre (Leipzig), M. Krynicki (Warsaw),
K. Leeb (Erlangen), M. Mostowski (Warsaw), P. Zbierski (Warsaw)

Organizing Committee

Z. Adamowicz (Warsaw), M. Krynicki (Warsaw), K. Misiuna
M. Mostowski (Warsaw, chair), P. Zbierski (Warsaw)

Information/Correspondence:

by email : beyon…@plearn.bitnet
surface mail : Beyond96, Krystyna Misiuna

               Uniwersytet Warszawski
               Instytut Filozofii
               Krakowskie Przedmiescie 3
               00-047 Warszawa
               Poland

Important Dates:

Deadline for submissions: April 15, 1996
Notification of acception/rejection: Juli 1, 1996
Workshop: September 23 – 28 , 1996

I am a Spanish pupil and I am interested in the Maths Olympiad. I am
trying to prepare myself for that. So I am looking for interesting
mathematical problems.
Please, if you know someone or you know where I can find them I would be
very grateful, if you sent it to me (to this newsgroup or by e-mail)

        Thank you very much

Tomas Palacios Gutierrez
m.gutier…@mad.servicom.es

P.S.: Also, I am interested in writting with other people interested in
Maths , Maths problems and Maths Olympiad. If you want, write me.

                  SHELAH’S ARCHIVE

About 150 of Saharon Shelah’s recent (mainly submitted or published)
papers as well as a list of all of Shelah’s papers are available at
Rutgers university through anonymous ftp or http (WWW).

(To simplify the notation, we speak only about "Shelah’s papers",
although many of them have one or more coauthors.)

The papers plus input files are available for anonymous ftp at
   math.rutgers.edu      in the directory      pub/shelah/all    

Various lists of Shelah’s papers (shelah.tex in LaTeX, shelah.bib in BibTeX,
shelah_a.tex and shelah_a.bib with a few abstracts) are at:
   math.rutgers.edu      in the directory      pub/shelah

On the WWW, you can find all the above, plus a list of papers in
hypertext format, at
              http://math.rutgers.edu/~shelah

The files will be updated at irregular intervals.

– Martin Goldstern and Andrzej Roslanowski