BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Konrad Zdanowski
SearchCollections
Map detail
Konrad Zdanowski5 visible / 5 total nodes / 4 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipKonrad ZdanowskiAKonrad ZdanowskiResearcherOne Henkin Quantifier in the empty vocabulary suffices for undecidabilityWOne Henkin Quantifier i...preprint / 2016Second order intuitionistic propositional logic of the real line is decidableWSecond order intuitioni...preprint / 2016The strength of Ramsey Theorem for coloring relatively large setsWThe strength of Ramsey ...preprint / 2012New bounds on the strength of some restrictions of Hindman's TheoremWNew bounds on the stren...preprint / 2017
Person4 links

Konrad Zdanowski

Researcher

PaperOne Henkin Quantifier in the empty vocabulary suffices for undecidabilityAuthorship / preprint / 2016PaperSecond order intuitionistic propositional logic of the real line is decidableAuthorship / preprint / 2016PaperThe strength of Ramsey Theorem for coloring relatively large setsAuthorship / preprint / 2012PaperNew bounds on the strength of some restrictions of Hindman's TheoremAuthorship / preprint / 2017

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)