Müller, G. H. (Gert Heinz) 1923
Overview
Works:  35 works in 299 publications in 3 languages and 4,116 library holdings 

Genres:  Conference papers and proceedings Bibliography 
Roles:  Author, Editor, Other 
Classifications:  QA3, 511.3 
Publication Timeline
.
Most widely held works by
G. H Müller
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 1521, 1984 by
HeinzDieter Ebbinghaus(
Book
)
37 editions published between 1985 and 1990 in English and Undetermined and held by 688 WorldCat member libraries worldwide
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics
37 editions published between 1985 and 1990 in English and Undetermined and held by 688 WorldCat member libraries worldwide
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 by
G. H Müller(
Book
)
32 editions published between 1975 and 2008 in English and Undetermined and held by 410 WorldCat member libraries worldwide
32 editions published between 1975 and 2008 in English and Undetermined and held by 410 WorldCat member libraries worldwide
Geometries and groups : proceedings of a colloquium held at the Freie Universität, Berlin May 1981 by
Jonathan A Hillman(
Book
)
24 editions published between 1981 and 2008 in English and Undetermined and held by 367 WorldCat member libraries worldwide
24 editions published between 1981 and 2008 in English and Undetermined and held by 367 WorldCat member libraries worldwide
ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International
Summer Institute and Logic Colloquium, Kiel, 1974 by
Justus Diller(
Book
)
21 editions published between 1975 and 2008 in 3 languages and held by 365 WorldCat member libraries worldwide
21 editions published between 1975 and 2008 in 3 languages and held by 365 WorldCat member libraries worldwide
The study of time : proceedings of the first conference of the International Society for the Study of Time, Oberwolfach (Black
Forest), West Germany by
International Society for the Study of Time(
Book
)
31 editions published in 1972 in 3 languages and held by 349 WorldCat member libraries worldwide
The First Conference of the International Society for the Study of Time was held at the Mathematisches Forschungsinstitut at Oberwolfach in the Black Forest, Federal Republic of Germany from Sunday, 31 August to Saturday, 6 September, 1969. The origin of this conference and the formation of the Society goes back to a proposal due to J.T. Fraser that was discussed at a conference on "Interdisciplinary Perspectives of Time" held by the New York Academy of Sciences in January, 1966. It was unanimously agreed than that an international society should be formed on an interdisciplinary basis with the object of stimulating interest in all problems concerning 'time and that this object could best be attained by means of conferences held at regular intervals. J.T. Fraser was elected Secretary, S. Watanabe Treasurer, and I was elected President. It was agreed, at my suggestion, that the organization of the first conference of the newly formed Society be left to a committee of these three officers, on the understanding that they would invite authorities on the role of time in the various special sciences and humanities to form an Advisory Board to assist them. One of the main difficulties in seeking support for an interdisciplinary conference is that most foundations confine their interest exclusively either to the sciences or to the humanities
31 editions published in 1972 in 3 languages and held by 349 WorldCat member libraries worldwide
The First Conference of the International Society for the Study of Time was held at the Mathematisches Forschungsinstitut at Oberwolfach in the Black Forest, Federal Republic of Germany from Sunday, 31 August to Saturday, 6 September, 1969. The origin of this conference and the formation of the Society goes back to a proposal due to J.T. Fraser that was discussed at a conference on "Interdisciplinary Perspectives of Time" held by the New York Academy of Sciences in January, 1966. It was unanimously agreed than that an international society should be formed on an interdisciplinary basis with the object of stimulating interest in all problems concerning 'time and that this object could best be attained by means of conferences held at regular intervals. J.T. Fraser was elected Secretary, S. Watanabe Treasurer, and I was elected President. It was agreed, at my suggestion, that the organization of the first conference of the newly formed Society be left to a committee of these three officers, on the understanding that they would invite authorities on the role of time in the various special sciences and humanities to form an Advisory Board to assist them. One of the main difficulties in seeking support for an interdisciplinary conference is that most foundations confine their interest exclusively either to the sciences or to the humanities
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 1823, 1983 by
Aachen> Logic Colloquium <1983(
Book
)
36 editions published in 1984 in English and Undetermined and held by 262 WorldCat member libraries worldwide
36 editions published in 1984 in English and Undetermined and held by 262 WorldCat member libraries worldwide
Sociology and ontology : the analytical foundations of sociological theory by
G. H Müller(
Book
)
8 editions published in 1989 in English and held by 152 WorldCat member libraries worldwide
8 editions published in 1989 in English and held by 152 WorldCat member libraries worldwide
[Omega]bibliography of mathematical logic(
Book
)
5 editions published in 1987 in English and German and held by 135 WorldCat member libraries worldwide
5 editions published in 1987 in English and German and held by 135 WorldCat member libraries worldwide
Das philosophische Werk Franz Kröner's : mit drei nachgelassenen Originalbeiträgen by
G. H Müller(
Book
)
11 editions published in 1962 in German and held by 101 WorldCat member libraries worldwide
11 editions published in 1962 in German and held by 101 WorldCat member libraries worldwide
Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 1823, 1983 Part I by
G. H Müller(
)
2 editions published in 1984 in English and held by 63 WorldCat member libraries worldwide
2 editions published in 1984 in English and held by 63 WorldCat member libraries worldwide
Omegabibliography of mathematical logic by
G. H Müller(
Book
)
9 editions published in 1987 in English and held by 34 WorldCat member libraries worldwide
9 editions published in 1987 in English and held by 34 WorldCat member libraries worldwide
Logic Symposia Hakone 1979, 1980 Proceedings of Conferences Held in Hakone, Japan March 2124, 1979 and February 47, 1980 by
G. H Müller(
)
1 edition published in 1981 in English and held by 29 WorldCat member libraries worldwide
1 edition published in 1981 in English and held by 29 WorldCat member libraries worldwide
Classical logic : Wolfgang Rautenberg (ed.)(
Book
)
4 editions published in 1987 in English and held by 29 WorldCat member libraries worldwide
4 editions published in 1987 in English and held by 29 WorldCat member libraries worldwide
Decidable Theories I by
G. H Müller(
)
2 editions published in 1970 in English and held by 28 WorldCat member libraries worldwide
2 editions published in 1970 in English and held by 28 WorldCat member libraries worldwide
Set theory : Andreas R. Blass (ed.)(
Book
)
4 editions published in 1987 in English and held by 27 WorldCat member libraries worldwide
4 editions published in 1987 in English and held by 27 WorldCat member libraries worldwide
Omegabibliography of mathematical logic by
G. H Müller(
Book
)
4 editions published in 1987 in English and held by 22 WorldCat member libraries worldwide
4 editions published in 1987 in English and held by 22 WorldCat member libraries worldwide
ISILC Proof Theory Symposium : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International
Summer Institute and Logic Colloquium, Kiel, 1974 by
G. H Müller(
Book
)
6 editions published in 1975 in English and Undetermined and held by 21 WorldCat member libraries worldwide
6 editions published in 1975 in English and Undetermined and held by 21 WorldCat member libraries worldwide
Ōbibliography of mathematical logic by
G. H Müller(
Book
)
9 editions published in 1987 in English and held by 16 WorldCat member libraries worldwide
Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Nonclassical Logics W. Rautenberg 111. Model Theory H.D. Ebbinghaus IV. Recursion Theory P.G. Hinman V. Set Theory A.R. Blass VI. ProofTheory; Constructive Mathematics J.E. Kister; D. van Dalen & A.S. Troelstra
9 editions published in 1987 in English and held by 16 WorldCat member libraries worldwide
Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Nonclassical Logics W. Rautenberg 111. Model Theory H.D. Ebbinghaus IV. Recursion Theory P.G. Hinman V. Set Theory A.R. Blass VI. ProofTheory; Constructive Mathematics J.E. Kister; D. van Dalen & A.S. Troelstra
OmegaBibliography of mathematical logic by
G. H Müller(
Book
)
3 editions published in 1987 in English and held by 14 WorldCat member libraries worldwide
3 editions published in 1987 in English and held by 14 WorldCat member libraries worldwide
The monadic second order theory of all countable ordinals by
J. Richard Büchi(
Book
)
4 editions published in 1973 in English and held by 13 WorldCat member libraries worldwide
4 editions published in 1973 in English and held by 13 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Sacks, Gerald E. Other Author Editor
 Ebbinghaus, HeinzDieter 1939 Other Author Editor
 Diller, Justus Other Author Editor
 Oberschelp, Arnold Author Editor
 Schütte, K. (Kurt) Other Honoree
 Potthoff, Karl Editor
 Tugué, T. (Tosiyuki) 1926 Editor
 Takeuti, Gaisi 1926 Editor
 AmbosSpies, K. (Klaus) Other Author Editor
 Fraser, J. T. (Julius Thomas) 19232010 Author Editor
Associated Subjects
Alexander ideals Algebra Algebraic logic Algebraic spaces Büchi, J. Richard Clocks and watches Combinatorial analysis Differentiable dynamical systems Differential equations Differential equations, Partial Dimension theory (Algebra) Distribution (Probability theory) Economics FlightPhysiological aspects Fluids Geometry Geometry, Algebraic Gödel's theorem Group theory Induction (Mathematics) Knot theory Logic, Symbolic and mathematical Mathematical analysisFoundations Mathematical models Mathematical physics Mathematics MathematicsPhilosophy Model theory Nonclassical mathematical logic Number theory Ontology Physics Probabilistic number theory Proof theory Recursion theory Schütte, K.(Kurt) Set theory Sociology SociologyMethodology SociologyPhilosophy Time Turbulence