ILLC Publications, Mathematical Logic and Foundations (ML) Series

These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.

ML-1998-14:
Yde Venema, Vera Stebletsova Undecidable theories of Lyndon algebras.
1.Full Text, 2.Abstract.
ML-1998-13:
Yde Venema Canonical Pseudo-Correspondence.
1.Full Text, 2.Abstract.
ML-1998-12:
Johan van Benthem Modal Logic in Two Gestalts.
1.Full Text, 2.Abstract.
ML-1998-11:
Carlos Areces, Dick de Jongh, Eva Hoogland The Interpolation Theorem for IL and ILP.
1.Full Text, 2.Abstract.
ML-1998-10:
Carlos Areces, Verónica Becher, Sebastián Ferro Characterization Results for d-Horn Formulas.
1.Full Text, 2.Abstract.
ML-1998-09:
Rosalie Iemhoff A Modal Analysis of Some Principles of the Provability Logic of Heyting Arithmetic.
1.Full Text, 2.Abstract.
ML-1998-08:
Johan van Benthem Dynamic Odds \& Ends.
1.Full Text, 2.Abstract.
ML-1998-07:
Victor N. Krivtsov A Negationless Interpretation of Intuitionistic Axiomatic Theories: Higher-Order Arithmetic.
1.Full Text, 2.Abstract.
ML-1998-06:
Victor N. Krivtsov A Negationless Interpretation of Intuitionistic Axiomatic Theories: Arithmetic and Analysis.
1.Full Text, 2.Abstract.
ML-1998-05:
Steven Givant, Yde Venema The Preservation of Sahlqvist Equations in Completions of Boolean Algebras with Operators.
1.Full Text, 2.Abstract.
ML-1998-04:
Yde Venema Points, Lines and Diamonds: a Two-Sorted Modal Logic for Projective Planes.
1.Full Text, 2.Abstract.
ML-1998-03:
Hans de Nivelle Decoding the $E^+$-Class by an A Posteriori, Liftable Order.
1.Full Text, 2.Abstract.
ML-1998-02:
A.S. Troelstra Concepts and Axioms.
1.Full Text, 2.Abstract.
ML-1998-01:
A.S. Troelstra Marginalia on Sequent Calculi.
1.Full Text, 2.Abstract.
ML-1997-08:
Anton\'{i}n Ku\u{c}era, Sebastiaan A. Terwijn Lowness for the Class of Random Sets.
1.Full Text, 2.Abstract.
ML-1997-07:
Sebastiaan A. Terwijn, Domenico Zambella Algorithmic Randomness and Lowness.
1.Full Text, 2.Abstract.
ML-1997-06:
Johan van Benthem Modality, Bisimulation and Interpolation in Infinitary Logic.
1.Full Text, 2.Abstract.
ML-1997-05:
Johan van Benthem The Range of Modal Logic: an Essay in Memory of George Gargov.
1.Full Text, 2.Abstract.
ML-1997-04:
Ian Hodkinson, Szabolcs Mikulás Non-finitely axiomatizable, union-free reducts of algebras of relations.
1.Full Text, 2.Abstract.
ML-1997-03:
Giovanna D'Agostino The Lo\'{s}-Tarski and Lyndon Theorem for the $\mu$-logic.
1.Full Text, 2.Abstract.
ML-1997-02:
Maarten Marx Complexity of Modal Logics of Relations.
1.Full Text, 2.Abstract.
ML-1997-01:
Dick de Jongh, Giorgi Japaridze The Logic of Provability.
1.Full Text.
ML-1996-13:
Lex Hendriks Intuitionistic Propositional Logic with only Equivalence has no Interpolation.
1.Full Text, 2.Abstract.
ML-1996-12:
Jon Barwise, Johan van Benthem Interpolation, Preservation, and Pebble Games.
1.Full Text, 2.Abstract.
ML-1996-11:
Domenico Zambella Forcing in Finite Structures (revised version of ML-1996-02).
1.Full Text, 2.Abstract.
ML-1996-10:
Vladimir Kanovei On a Dichotomy related to Colourings of Definable Graphs in Generic Models.
1.Full Text, 2.Abstract.
ML-1996-08:
Johan van Benthem, Angelo Montanari, Giovanna D'Agostino, Alberto Policriti Modal Deduction in Second-Order Logic and Set Theory - II.
1.Full Text, 2.Abstract.
ML-1996-07:
Angelo Montanari, Adriano Peron, Alberto Policriti Decidable Theories of $\omega$-Layered Metric Temporal Structures.
1.Full Text, 2.Abstract.
ML-1996-06:
Angelo Montanari, Alberto Policriti A Decidable Theory of Finitely-Layered Metric Temporal Structures.
1.Full Text, 2.Abstract.
ML-1996-05:
Søren Riis Count($q$) versus the Pigeon-Hole Principle.
1.Full Text.
ML-1996-04:
Kees Doets Proper Classes.
1.Full Text, 2.Abstract.
ML-1996-03:
Hajnal Andréka, Johan van Benthem, István Németi Modal Languages and Bounded Fragments of Predicate Logic.
1.Full Text.
ML-1996-02:
Domenico Zambella On Forcing in Bounded Arithmetic (superseded by ML-1996-11).
1.Full Text.
ML-1996-01:
Domenico Zambella Algebraic Methods and Bounded Formulas.
1.Full Text, 2.Abstract.
ML-1995-10:
Alexei P. Kopylov The Undecidability of Second Order Linear Affine Logic.
1.Full Text.
ML-1995-09:
Hiroakira Ono Decidability and Finite Model Property of Substructural Logics.
1.Full Text, 2.Abstract.
ML-1995-08:
Eric Rosen Modal Logic over Finite Structures.
1.Full Text, 2.Abstract.
ML-1995-07:
Johan van Benthem Modal Foundations of Predicate Logic.
1.Full Text.
ML-1995-06:
Dick de Jongh, Albert Visser Embeddings of Heyting Algebras (revised version of ML-1993-14).
1.Full Text.
ML-1995-05:
Natasha Alechina, Michiel van Lambalgen Generalized Quantification as Substructural Logic.
1.Full Text, 2.Abstract.
ML-1995-04:
Hajnal Andréka, Johan van Benthem, István Németi Back and Forth between Modal Logic and Classical Logic.
1.Full Text.
ML-1995-03:
Vladimir Kanovei, Michiel van Lambalgen On a Spector Ultrapower of the Solovay Model.
1.Full Text, 2.Abstract.
ML-1995-02:
Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti Modal Deduction in Second-Order Logic and Set Theory.
1.Full Text, 2.Abstract.
ML-1995-01:
Michiel van Lambalgen Randomness and Infinity.
1.Full Text.
ML-1994-13:
Marco R. Vervoort An Elementary Construction of an Ultrafilter on $\aleph_1$ Using the Axiom of Determinateness.
1.Full Text, 2.Abstract, 3.Old (PS), 4.Old (PDF).
ML-1994-12:
Victor Selivanov Fine Hierarchy and Definability in the Lindenbaum Algebra.
1.Full Text.
ML-1994-11:
Natasha Alechina On One Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic.
1.Full Text, 2.Abstract.
ML-1994-10:
Elena Nogina Logic of Proofs with the Strong Provability Operator.
1.Full Text, 2.Abstract.
ML-1994-09:
Giovanna D'Agostino, Angelo Montanari, Alberto Policriti A Set-Theoretic Translation Method for Polymodal Logics.
1.Full Text, 2.Abstract.
ML-1994-08:
Andreja Prijatelj Free Algebras Corresponding to Multiplicative Classical Linear Logic and some Extensions.
1.Full Text, 2.Abstract.
ML-1994-07:
Sergei Artëmov, Artëm Chuprina Logic of Proofs with Complexity Operators.
1.Full Text.
ML-1994-06:
Lex Hendriks, Dick de Jongh Finitely Generated Magari Algebras and Arithmetic.
1.Full Text, 2.Abstract.
ML-1994-05:
V. Kanovei IST is more than an Algorithm to prove ZFC Theorems.
1.Full Text.
ML-1994-04:
Michiel van Lambalgen Independence Structures in Set Theory.
1.Full Text, 2.Abstract.
ML-1994-03:
Johan van Benthem, Dick de Jongh, Gerard Renardel de Lavalette, Albert Visser NNIL, A Study in Intuitionistic Propositional Logic.
1.Full Text.
ML-1994-02:
Domenico Zambella End Extensions of Models of Linearly Bounded Arithmetic.
1.Full Text, 2.Abstract.
ML-1994-01:
Domenico Zambella Notes on polynomially bounded arithmetic.
1.Full Text, 2.Abstract.
ML-1993-22:
Andreja Prijatelj Connectification for $n$-contraction.
1.Full Text.
ML-1993-21:
Max I. Kanovich The Relational Knowledge-Base Interpretation and Feasible Theorem Proving for Intuitionistic Propositional Logic.
1.Full Text.
ML-1993-20:
L.A. Chagrova, Dick de Jongh The Decidability of Dependency in Intuitionistic Propositional Logic.
1.Full Text.
ML-1993-19:
Raymond Hoofman Comparing Models of the Non-Extensional Typed l-Calculus.
1.Full Text.
ML-1993-18:
Jaap van Oosten Extensional Realizability.
1.Full Text.
ML-1993-17:
Alexander Chagrov, Michael Zakharyaschev On the Independent Axiomatizability of Modal and Intermediate Logics.
1.Full Text.
ML-1993-16:
Maarten de Rijke Correspondence Theory for Extended Modal Logics.
1.Full Text.
ML-1993-15:
G.K. Dzhaparidze Effective Truth.
1.Full Text.
ML-1993-14:
Dick de Jongh, Albert Visser Embeddings of Heyting Algebras (superseded by ML-1995-06).
1.Full Text.
ML-1993-13:
V.Yu. Shavrukov Undecidability in Diagonizable Algebras.
1.Full Text.
ML-1993-12:
V.Yu. Shavrukov Remarks on Uniformly Finitely Precomplete Positive Equivalences.
1.Full Text.
ML-1993-11:
Lex Hendriks Inventory of Fragments and Exact Models in Intuitionistic Propositional Logic.
1.Full Text.
ML-1993-10:
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs.
1.Full Text.
ML-1993-09:
A.S. Troelstra Natural Deduction for Intuitionistic Linear Logic.
1.Full Text.
ML-1993-08:
Raymond Hoofman, Ieke Moerdijk Remarks on the Theory of Semi-Functors.
1.Full Text.
ML-1993-07:
A.V. Chagrov, L.A. Chagrova Algorithmic Problems Concerning First-Order Definability of Modal Formulas on the Class of All Finite Frames.
1.Full Text.
ML-1993-06:
J. Zashev Categorial Generalization of Algebraic Recursion Theory.
1.Full Text.
ML-1993-05:
Raymond Hoofman, Harold Schellinx Models of the Untyped l-calculus in Semi Cartesian Closed Categories.
1.Full Text.
ML-1993-04:
Andreja Prijatelj Bounded Contraction and Many-Valued Semantics.
1.Full Text.
ML-1993-03:
Mati Pentus The Conjoinablity Relation in Lambek Calculus and Linear Logic.
1.Full Text.
ML-1993-02:
Johan van Benthem, Natasha Alechina Modal Quantification over Structured Domains.
1.Full Text.
ML-1993-01:
Maciej Kandulski Commutative Lambek Categorial Grammars.
1.Full Text.
ML-1992-10:
V.Yu. Shavrukov A Smart Child of Peano's.
1.Full Text.
ML-1992-09:
A.S. Troelstra Realizability.
1.Full Text.
ML-1992-08:
Raymond Hoofman Information Systems as Coalgebras.
1.Full Text.
ML-1992-07:
Harold Schellinx How to Broaden your Horizon.
1.Full Text.
ML-1992-06:
D.M. Gabbay, Valentin B. Shehtman Undecidability of Modal and Intermediate First-Order Logics with Two Individual Variables.
1.Full Text.
ML-1992-05:
Domenico Zambella Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories containing ID0 + EXP.
1.Full Text.
ML-1992-04:
Dimiter Vakarelov A Modal Theory of Arrows, Arrow Logics I.
1.Full Text.
ML-1992-03:
Zoran Markovic On the Structure of Kripke Models of Heyting Arithmetic.
1.Full Text.
ML-1992-02:
Dmitrij P. Skvortsov, Valentin B. Shehtman Maximal Kripke-type Semantics for Modal and Superintuitionistic Predicate Logics.
1.Full Text.
ML-1992-01:
A.S. Troelstra Comparing the Theory of Representations and Constructive Mathematics.
1.Full Text.
ML-1991-12:
Johan van Benthem Modal Frame Classes, revisited.
1.Full Text.
ML-1991-11:
Rineke Verbrugge Feasible Interpretability.
1.Full Text.
ML-1991-10:
Maarten de Rijke, Yde Venema Sahlqvist's Theorem for Boolean Algebras with Operators.
1.Full Text.
ML-1991-09:
V.Yu. Shavrukov A Note on the Diagonalizable Algebras of PA and ZF.
1.Full Text.
ML-1991-08:
Inge Bethke Going Stable in Graph Models.
1.Full Text.
ML-1991-07:
Yde Venema Modal Derivation Rules.
1.Full Text.
ML-1991-06:
Inge Bethke Finite Type Structures within Combinatory Algebras.
1.Full Text.
ML-1991-05:
A.S. Troelstra History of Constructivism in the Twentieth Century.
1.Full Text.
ML-1991-04:
Raymond Hoofman, Harold Schellinx Collapsing Graph Models by Preorders.
1.Full Text.
ML-1991-03:
Domenico Zambella On the Proofs of Arithmetical Completeness for Interpretability Logic.
1.Full Text.
ML-1991-02:
Alessandro Berarducci, Rineke Verbrugge On the Metamathematics of Weak Theories.
1.Full Text.
ML-1991-01:
Yde Venema Cylindric Modal Logic.
1.Full Text.
ML-1990-11:
Paul C. Gilmore The Consistency of an Extended NaDSet.
1.Full Text.
ML-1990-10:
Michiel van Lambalgen Randomness in Set Theory.
1.Full Text.
ML-1990-09:
Dick de Jongh, Duccio Pianigiani Solution of a Problem of David Guaspari.
1.Full Text.
ML-1990-08:
Harold Schellinx Some Syntactical Observations on Linear Logic.
1.Full Text.
ML-1990-07:
Maarten de Rijke A Note on the Interpretability Logic of Finitely Axiomatized Theories.
1.Full Text.
ML-1990-06:
Jaap van Oosten Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman.
1.Full Text.
ML-1990-05:
Domenico Zambella Sequences with Simple Initial Segments.
1.Full Text.
ML-1990-04:
Maarten de Rijke Unary Interpretability Logic.
1.Full Text.
ML-1990-03:
Yde Venema Relational Games.
1.Full Text.
ML-1990-02:
Jaap van Oosten A Semantical Proof of De Jongh's Theorem.
1.Full Text.
ML-1990-01:
Harold Schellinx Isomorphisms and Non-Isomorphisms of Graph Models.
1.Full Text.
ML-1989-09:
Allesandro Carbone Provable Fixed Points in $I\D elta_0+Ømega_1$..
1.Full Text.
ML-1989-08:
Dirk Roorda Investigations into Classical Linear Logic.
1.Full Text.
ML-1989-07:
Dirk Roorda Elementary Inductive Definitions in HA: from Strictly Positive towards Monotone.
1.Full Text.
ML-1989-06:
Michiel van Lambalgen The Axiomatization of Randomness.
1.Full Text.
ML-1989-05:
Rineke Verbrugge $\S igma$-Completeness and Bounded Arithmetic.
1.Full Text.
ML-1989-04:
Dick de Jongh, Marc Jumulet, Franco Montagna On the Proof of Solovay's Theorem.
1.Full Text.
ML-1989-03:
Dick de Jongh, Franco Montagna Rosser Orderings and Free Variables.
1.Full Text.
ML-1989-02:
Roel de Vrijer Extending the Lambda Calculus with Surjective Pairing is conservative.
1.Full Text.
ML-1989-01:
Dick de Jongh, Albert Visser Explicit Fixed Points for Interpretability Logic.
1.Full Text.
ML-1988-05:
A.S. Troelstra Remarks on Intuitionism and the Philosophy of Mathematics.
1.Full Text.
ML-1988-04:
A.S. Troelstra On the Early History of Intuitionistic Logic.
1.Full Text.
ML-1988-03:
Dick de Jongh, Frank Veltman Provability Logics for Relative Interpretability.
1.Full Text.
ML-1988-02:
M.D.G. Swaen The Arithmetical Fragment of Martin Löf's Type Theories with weak $\S igma$-Elimination.
1.Full Text.
ML-1988-01:
Jaap van Oosten Lifschitz' Realizability.
1.Full Text.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X