Logic Group Preprint Series

'

Logic Group Preprint Series

Skip to content

Visser, Albert

Volume

Title

333

Interpretability suprema in Peano artithmetic
Henk, Paula | Visser, Albert
329

Extension and Interpretability
Visser, Albert
319

Jumping in Arithmetic
Visser, Albert
318

The Interpretability of Inconsistency: Feferman’s Theorem and Related Results
Visser, Albert
317

The Henkin Sentence
Halbach, Volker | Visser, Albert
316

Self-Reference in Arithmetic
Halbach, Volker | Visser, Albert
303

New Constructions of Satisfaction Classes
Enayat, Ali | Visser, Albert
301

Interpretability Degrees of Finitely Axiomatized Sequential Theories
Visser, Albert
298

Peano Basso and Peano Corto
Visser, Albert
293

The Arithmetics of a Theory
Visser, Albert
288

What is the right notion of sequentiality?
Visser, Albert
287

Vaught’s theorem on axiomatizability by a scheme
Visser, Albert
283

Hume’s Principle, beginnings
Visser, Albert
281

Intermediate logics and the de Jongh property
Jongh, D.H.J. de | Verbrugge, R. | Visser, Albert
280

On the termination of Russel’s description elimination algorithm
Grabmayer, C.A. | Leo, Joop | Oostrom, V. van | Visser, Albert
279

Why the theory R is special
Visser, Albert
272

Cardinal arithmetic in the style of Baron von Münchhausen
Visser, Albert
267

Can we make the second incompleteness theorem coordinate free?
Visser, Albert
266

ω-Models of finite set theory
Enayat, Ali | Schmerl, James | Visser, Albert
265

Cardinal arithmetic in weak theories
Visser, Albert
259

Closed fragments of provability logics of constructive theories
Visser, Albert
258

Decorated linear order types and the theory of concatenation
Cacic, V. | Pudlák, P. | Restall, G. | Urquhart, A. | Visser, Albert
257

Growing commas. A study of sequentiality and concatenation
Visser, Albert
251

Pairs, sets and sequences in first order theories
Visser, Albert
249

Prolegomena to the categorical study of interpretations
Visser, Albert
246

The predicative Frege hierarchy
Visser, Albert
243

Propositional logics of closed and open substitutions over Heyting’s Arithmetic
Visser, Albert
242

Relative interpretations in constructive arithmetic
Visser, Albert
235

Problems in the Logic of Provability
Beklemishev, L.D. | Visser, Albert
228

Categories of theories and interpretations
Visser, Albert
224

On the limit existence principles in elementary arithmetic and related topics
Beklemishev, L.D. | Visser, Albert
220

No escape from Vardanyan’s Theorem
Visser, Albert
216

Faith & Falsity. A study of faithful interpretations and false Σ01-sentences
Visser, Albert
197

The Interpretability Logic of all Reasonable Arithmetical Theories. The New Conjecture
Joosten, Joost J. | Visser, Albert
192

Algebras for Boolean Presuppositions
Vermeulen, K. | Visser, Albert | Wolters, E.
189

Submodels of Kripke Models
Visser, Albert
188

The Donkey and the Monoid: Dynamic Semantics with Control Elements
Visser, Albert
186

Rules and Arithmetics
Visser, Albert
179

Dynamic Negation, The One and Only
Hollenberg, M. | Visser, Albert
178

Prolegomena to the Definition of Dynamic Predicate Logic with Local Assignments
Visser, Albert
174

An overview of Interpretability Logic
Visser, Albert
161

Bisimulations, model descriptions and propositional quantifiers
Visser, Albert
157

Dynamics
Benthem, Johan van | Muskens, R. | Visser, Albert
144

Relational Validity & Dynamic Predicate Logic
Visser, Albert
143

Contexts in Dynamic Predicate Logic
Visser, Albert
139

Interpretations over Heyting’s Arithmetic
Visser, Albert
131

Dynamic Bracketing and Discourse Representation
Vermeulen, K. | Visser, Albert
117

Propositional combinations of Σ-sentences in Heyting’s Arithmetic
Visser, Albert
115

Embeddings of Heyting algebras, revised version
Jongh, D.H.J. de | Visser, Albert
111

NNIL, A study in intuitionistic propositional logic
Benthem, Johan van | Jongh, D.H.J. de | Renardel de Lavalette, G.R. | Visser, Albert
97

Embeddings of Heyting Algebras
Jongh, D.H.J. de | Visser, Albert
82

Lazy & quarrelsome brackets
Visser, Albert
76

Actions under presuppositions
Visser, Albert
64

The unprovability of small inconsistency
Visser, Albert
57

An inside view of EXP or The closed fragment of the provability logic of ΙΔo+Ω₁ with a propositional constant for EXP
Visser, Albert
52

On the ∑₁°–conservativity of ∑₁°-completeness
Visser, Albert
47

The formalization of interpretability
Visser, Albert
44

Explicit fixed points in interpretability logic
Jongh, D.H.J. de | Visser, Albert
43

An inside view of EXP or the closed fragment of the provability logic of ΙΔo+Ω₁ with a propositional constant for EXP
Visser, Albert
40

Interpretability Logic
Visser, Albert
34

A descending hierarchy of reflection principles
Visser, Albert
29

Preliminary notes on interpretability logic
Visser, Albert
20

A course in bimodal provability logic
Visser, Albert
14

Peano’s smart children. A provability logical study of systems with built-in consistency
Visser, Albert
11

Kunnen wij elke machine verslaan? Beschouwingen rondom Lucas’ argument
Visser, Albert
4

Evaluation, provably deductive equivalence in Heyting’s arithmetic of substitution instances of propositional formulas
Visser, Albert

© 2024 Utrecht University, Privacy statement

Online