Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Wilfried Buchholz

An Independence Result for (II11-CA)+BI

Annals of Pure and Applied Logic

English

A Uniform Approach to Fundamental Sequences and Hierarchies

Mathematical Logic Quarterly

English

Finitary Treatment of Operator Controlled Derivations

Mathematical Logic Quarterly

English

Related publications

Author Index

Journal of Mathematical Logic

English

The n-r.e. DEGREES: UNDECIDABILITY AND Σ1SUBSTRUCTURES

Journal of Mathematical Logic

English

Torsion-Free Abelian Groups With Optimal Scott Families

Journal of Mathematical Logic

English

What Is the Correct Logic of Necessity, Actuality and Apriority?

Review of Symbolic Logic

English

On the Infinite in Mereology With Plural Quantification

Review of Symbolic Logic

English

RSL Volume 10 Issue 4 Cover and Front Matter

Review of Symbolic Logic

English

Counterfactuals and Propositional Contingentism

Review of Symbolic Logic

English

Total Logic

Review of Symbolic Logic

English

Naive Truth and Restricted Quantification: Saving Truth a Whole Lot Better

Review of Symbolic Logic

English

RSL Volume 11 Issue 2 Cover and Back Matter

Review of Symbolic Logic

English