Recent Publications of Members of the IMMD I

• "Systeme der Kumulativen Logik", Philosophia Verlag, Munich 1983

• "Some Things Some Functions May Be, Some Others Can't Be" (with K. Leeb, G. Pirillo, H. Sperber) Actes du Séminaire Lotharingien de Combinatoire X, Burg Feuerstein 1984 (R. König, ed.), Publications de l'IRMA 244/S-110, Strasbourg, 1985, p. 56

• "Set-theoretic results on reflections" Notices of the AMS, 1986, p. 432

• "Set Theory and Infinitary Binomial Coefficients" Actes du Séminaire Lotharingien de Combinatoire XV, Schney 1986 (A. Kerber, ed.), Publications de l'IRMA 340/S-15, Strasbourg, 1987, pp. 23-38

• "Das onto-logische Sechseck" Grazer Philosophische Studien 32 (1988) pp. 113-121

• "There can be a Permutation that is not the Product of Two Reflections" Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 34 (1988) pp. 65-66

• "Mereology in Leibniz's Logic and Philosophy" (with H. Burkhardt) Topoi 9 (1990) pp. 3-13

• "On Internal and External Relations", in: R. Haller, J. Brandl (eds.): "Wittgenstein - Eine Neubewertung", Schriftenreihe der Wittgensteingesellschaft Bd. 19, Vienna 1990, pp. 100-105

• "Takeuti's Conjecture for Certain Infinitary Type Theories", in: 9th int. cong. Logic, Methodology, Philosophy of Science, Uppsala 1991, Section 1, 7
• "Some Contributions to the Model Theory of Mono-Unaries" Actes du Séminaire Lotharingien de Combinatoire XXVI, Thurnau 1991 (A. Kerber, ed.) Publications de l'IRMA 476/S-26, Strasbourg, 1992, pp. 7-11

• "Kontext, Komposition und Proposition" Ethik und Sozialwissenschaften 3 (1992) pp. 143-146

• "Accidents IV: The Ontological Hexagon", "Ego", "Gödel, Kurt" and "Tense Logic" in: H. Burkhardt and B. Smith (eds.) Handbook of Metaphysics and Ontology , Philosophia Verlag Munich 1992

• "Two Formal Vindications of Logicism", in: J. Czermak (ed.): "Philosophie der Mathematik", Schriftenreihe der Wittgensteingesellschaft Bd. 20/1, Vienna 1993, pp. 243-250

• "Some Aspects and Examples of Infinity Notions", new material

• "Some Aspects and Examples of Infinity Notions (2)", Mathematical Logic Quarterly 40 (1994) pp. 111-124

• Review of T. E. Forster "Set Theory with a Universal Set. Exploring an Untyped Universe", Oxford Logic Guides 20, 1992; in Studia Logica 53 (1994), pp. 586-595

• "Some Theorems of Mono-Unaries", in: 10th int. cong. Logic, Methodology, Philosophy of Science, Florence 1995, Section 2, 70-71
• "Complete Infinitary Type Logics", Studia Logica 63: 85-119, 1999 (additional material)

• "Some Principles of Non-Migration", 22nd International Wittgenstein Symposium 1999, 147-154
• "Ontologie der Vorstellungen", 2000, Wittgenstein Society, 148-156
• "Cumulative Higher-Order Logic as a Foundation for Set Theory", with J. Johannsen, Mathematical Logic Quaterly, 2000, 46 2: 147-170
• "Pigeonhole and Choice Principles", Mathematical Logic Quaterly, 2000, 46 3, 313-334
• "Contributions for the Ontological Foundation of Knowledge Modelling", with Heller and Herre, 2001, Report Nr. 02. Institut fuer Informatik, Universitaet Leipzig
• "GOL: A General Ontological Language", with Heller, Herre, Smith, FOIS'01, 2001, 34-46
• "Proof Theory for Finitely Valid Sentences", Reports on Mathematical Logic, 2001, 35: 47-59
• "GOL: A Framework for Building and Representing Ontologies", in Heller, Herre, Smith (ed.), Ontological Spring, 2002, IFOMIS Reports 1 Leipzig, 182-203
• "Rigid Unary Functions and the Axiom of Choice", Mathematical Logic Quaterly, 47 2, 197-204, 2002
• "Factors of Functions, AC and Recursive Analogues", Mathematical Logic Quaterly, 48 1, 73-86, 2002
• "GOL-Manual", with Heller and Herre, OntoMed-Report, 2003
• "On Wittgenstein on Mathematics", 27th International Wittgenstein Symposium 2004, Marek and Reicher (ed.), 8 and 95-97
• "On Persistence Through Time", 28th International Wittgenstein Symposium 2005, 55-56
• "Leibniz's Metaphysics: New Concepts via Old Terms, Parts of Perceptions and Appetites", (with H.Burkhardt), D. Berlioz et F. Nef (ed.), Leibniz et les puissances du langage (151-162), 2005
• "'On Denoting' and Some Infelicitous Consequences", Guido Imaguire ~ Bernard Linsky (ed.), On Denoting 1905-2005, 381-395, 2005
• "Logical Problems Suggested by Logicism", M.C. Galavotti (ed.), Cambridge and Vienna: Frank. P. Ramsey and the Vienna Circle, 123-138, Springer 2006
• "Variations Of Frege's Grundgesetze", Neuchatel, 2006, 1-12
• Übersetzung von: "Petrus Hispanus : Logische Abhandlungen : Tractatus / Summulae Logicales. Aus dem Lateinischen von Wolfgang Degen und Bernhard Pabst", Philosophia-Verlag, München, 2006
• "Einige Beziehungen, in denen Gedanken und Sachverhalte stehen können", Guido Imaguire ~ Christine Schneider (eds.), Untersuchungen zur Ontologie, 97-111, Philosophia Verlag 2006

• "On the Weakness of Sharply Bounded Polynomial Induction", in: G. Gottlob et.al. (eds.) "Computational Logic and Proof Theory", Springer LNCS 713 (1993), pp. 223-230

• "A Note on Sharply Bounded Arithmetic", Archive for Mathematical Logic 33 (1994) pp. 159-165

• "On Sharply Bounded Length Induction", in: H. Kleine Büning (ed.) "Computer Science Logic", Springer LNCS 1092 (1996), pp. 362-367

• "A Bounded Arithmetic Theory for Constant Depth Threshold Circuits", in: P. Hájek (ed.) "GÖDEL'96", Springer Lecture Notes in Logic 6, pp. 224-234

• "Equational Calculi and Constant Depth Propositional Proofs", in: P. Beame and S. R. Buss (eds.) "Proof Complexity and Feasible Arithmetics", AMS DIMACS Series Vol. 39, pp. 149-162

• "A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications", Mathematical Logic Quarterly 44 (1998), pp. 205-215

• "A Note on Eventually Complete Models of Type Theory and Quine's New Foundations" (with U. Weigand), submitted for publication

• "Die Darstellung einer chirurgischen Schnittkurve als mathematische Funktion" (mit P. Hümmer) Klinikarzt 9 (1980) pp. 694-696

• "Reduction Algorithms for some Classes of Aperiodic Monoids" R.A.I.R.O. Informatique théorique/Theoretical Informatics 19(3) (1985) pp. 233-260

• "Untermonoide freier Monoide und eine Verallgemeinerung des Euklidischen Algorithmus" Actes du Séminaire Lotharingien de Combinatoire XV . (A. Kerber, ed.), Publ. 340/S-15 de l' IRMA, Strasbourg (1986), pp. 67-75

• "Cross-sections for Free Partially Commutative Monoids" Proc. of 57. Congrès de l'ACFAS, (S. Brlek, ed.), Montrèal, 1989

• "Free partially Commutative Monoids" Abstract of a lecture given at the Workshop on Free Partially Commutative Monoids, Kochel, 2.-4. Oktober 1989

• "Graphs and Partially Commutative Monoids" Theoretical Computer Science 78 (1991) pp. 319-346

• "On the Construction of Irreducible Self-Reciprocal Polynomials over Finite Fields" Applied Algebra in Engineering, Communications and Computation 1 (1990) pp. 43-53

• "An Iterated Normal Presentation of GF(q^{2^\infty})" In: Applications of Finite Fields, IMA-Conference Series, Clarendon Press, Oxford 1994

• "Explicit N-Polynomials of 2-Power Degree over Finite Fields, I" Designs, Codes and Cryptography 6 (1995) pp. 107-116

• "Factorization of the Cyclotomic Polynomial x^(2^n) + 1 over Finite Fields" Finite Fields and their Applications 2 (1996) pp. 439-442

• "Combinatorics of Laguerre Polynomials" (with D. Foata) in: D. M. Jackson and S. A. Vanstone, (eds.) "Enumeration and Design", Academic Press, 1984, pp. 123-140

• "Two Short Proofs of Kemp's Identity for Rooted Plane Trees" European Journal of Combinatorics 5 (1984), pp. 373-376

• Polynômes d'Hermite généralises et identités de Szegö - une version combinatoire. Proceedings Symposium E. N. Laguerre sur les Polynômes Orthogonaux, Bar-le Duc, 1984 Springer LNM 1171 (1985), pp. 129-138

• "Jacobi-Polynomials: Combinatorics of the Basic Identities" (with P. Leroux) Discrete Mathematics 57 (1985), pp. 167-187

• "Combinatorics of Jacobi Configurations I: Complete Oriented Matchings" in: G. Labelle et al. (eds.) Proceedings Colloque de Combinatoire Énumérative - UQAM 1985 Springer LNM 1234 (1986), pp. 294-307

• "Combinatorics of Jacobi Configurations II: A Rational Approximation via Matching Polynomials" Actes du Séminaire Lotharingien de Combinatoire XIII, Bologna 1985. (G. Nicoletti, ed.), Publications de l'IRMA 316/S-13 , Strasbourg, 1986, pp. 112-133

• "Combinatorics of Jacobi Configurations III: The Srivastava-Singhal Generating Relation Revisited" Discrete Mathematics 73 (1988/89), pp. 221-232

• "Anmerkungen zu einer Anzahlformel von G. Kreweras für numerierte Wurzelbäume" Actes du Séminaire Lotharingien de Combinatoire XVI, Liebfrauenberg 1987. (D. Foata, ed.) Publications de l'IRMA 341/S-16, Strasbourg, 1988, pp. 129-131

• "Endliche Funktionen und spezielle Funktionen: eine kombinatorische Theorie zu einer Identität von P. Brock und deren Erweiterungen" Actes du Séminaire Lotharingien de Combinatoire XVII, Eremeo dei Santi Pietro et Paolo, Bienno(Italia), 1987. (D. Foata, ed.) Publications de l'IRMA 348/S-17 , Strasbourg , 1988, pp. 23-67

• "Inversions in 2-ordered Permutations - A Bijective Counting" Bayreuther Mathematische Schriften 28 (1989), pp. 127-138.

• "A Combinatorial Proof of Louck's Conjecture" Actes du Séminaire Lotharingien de Combinatoire XX, Alghero (Sardinien), 1988. (L. Cerlineco , D. Foata, eds.) Publications de l'IRMA 372/S-20, Strasbourg 1989, pp. 39-46

• Zykel-Enumeration bei lokal-strukturierten Funktionen. Habilitationsschrift im Fach Theoretische Informatik, 311 p., Erlangen, 1989. Eingereicht am 9. Nov. 1989, angenommen am 9. Mai 1990. Gutachter: Prof. Dr. K. Leeb (Erlangen) und Prof. Dr. J. Berstel (Paris VI).

• "Combinatorics" in: H. Burkhardt and B. Smith (eds.) Handbook of Metaphysics and Ontology , Philosophia Verlag Munich 1992

• "Counting Isomorphism Types of Endofunctions" Bayreuther Mathematische Schriften 40 (1992), pp. 153-167.

• "Identities of Rothe-Abel-Schläfli-Hurwitz-Type" Discrete Mathematics 99 (1992), pp. 321-340.

• "Combinatorics of Special Functions: Facets of Brock's Identity" In: Actes 4e Colloque Séries Formelles at Combinatoire Algébrique (P. Leroux et C. Reutenauer, éditeurs), Montréal 1992, 363-378.

• "Inversion of Polynomial Species and Jacobian Conjecture" (with Y. Chiricota). Bayreuther Mathematische Schriften 44 (1993), pp. 53-61.

• "Improvement of the Degree Setting in Gosper's Algorithm" (with P. Lisonek and P. Paule). Journal of Symbolic Computation 16 (1993), pp. 243-258.

• "Recurrences and Legendre Transform" Actes du Séminaire Lotharingien de Combinatoire XXIX, Thurnau 1992. Publications de l'IRMA, Strasbourg, 1993-33, pp. 81-100.

• "Binomial Identities - Combinatorial and Algorithmic Aspects" Discrete Mathematics 136 (1994), pp. 309-346.

• "Binomial Sums and Identities" The Maple Technical Newsletter 10 (1993), pp. 37-49.

• "Definite Summation" und "Average-Case Analyse von Algorithmen" Beiträge zum Bericht Computeralgebra in Deutschland, herausgegeben von der Fachgruppe Computeralgebra der GI, DMV, GAMM. Passau, Heidelberg 1993.

• see also "Internal Reports 1994" for more recent articles