Cardinal invariants of the continuum and combinatorics on uncountable cardinals Fulltext Access 30 Pages 2006
Pretopologies and a uniform presentation of sup-lattices, quantales and frames Fulltext Access 32 Pages 2006
Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation Fulltext Access 32 Pages 2006
Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert Fulltext Access 35 Pages 2006
The monadic second-order logic of graphs XV: On a conjecture by D. Seese Fulltext Access 36 Pages 2006
Fundamental notions of analysis in subsystems of second-order arithmetic Fulltext Access 47 Pages 2006
A descending chain condition for groups definable in o-minimal structures Fulltext Access 11 Pages 2005
A term calculus for (co-)recursive definitions on streamlike data structures Fulltext Access 16 Pages 2005
First-order definitions of rational functions and S-integers over holomorphy rings of algebraic functions of characteristic 0 Fulltext Access 17 Pages 2005
On the limit existence principles in elementary arithmetic and Σn0-consequences of theories Fulltext Access 19 Pages 2005
Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory Fulltext Access 19 Pages 2005
A Banach-Mazur computable but not Markov computable function on the computable real numbers Fulltext Access 20 Pages 2005
The elementary theory of Dedekind cuts in polynomially bounded structures Fulltext Access 22 Pages 2005
A simple proof of second-order strong normalization with permutative conversions Fulltext Access 22 Pages 2005
Abstract State Machines: a unifying view of models of computation and of system design frameworks Fulltext Access 23 Pages 2005
On obligations and normative ability: Towards a logical analysis of the social contract Fulltext Access 25 Pages 2005
Pseudo-exponentiation on algebraically closed fields of characteristic zero Fulltext Access 29 Pages 2005