Bernhard König

zbMath Openkonig.bernhardMaRDI QIDQ701723

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verifying a behavioural logic for graph transformation systems	2013-09-11	Paper
Kurepa trees and Namba forcing Journal of Symbolic Logic	2013-01-07	Paper
Winning strategies in club games and their applications Mathematical Logic Quarterly	2011-02-22	Paper
Bounding the consistency strength of a five element linear basis Israel Journal of Mathematics	2008-09-03	Paper
Guessing clubs in the generalized club filter Fundamenta Mathematicae	2007-07-26	Paper
Forcing indestructibility of set-theoretic axioms Journal of Symbolic Logic	2007-03-12	Paper
Dense subtrees in complete Boolean algebras Mathematical Logic Quarterly	2006-08-30	Paper
Chang's conjecture may fail at supercompact cardinals (submitted)	2006-05-04	Paper
Generic compactness reformulated Archive for Mathematical Logic	2004-12-16	Paper
scientific article; zbMATH DE number 2090850 (Why is no real title available?)	2004-08-13	Paper
Fragments of Martin's Maximum in generic extensions Mathematical Logic Quarterly	2004-08-06	Paper
Local coherence. Annals of Pure and Applied Logic	2003-11-25	Paper

Research outcomes over time

This page was built for person: Bernhard König