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.

Robert Lubarsky
SearchCollections
Map detail
Robert Lubarsky13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRobert LubarskyARobert LubarskyResearcherIndependence Results around Constructive ZFWIndependence Results ar...preprint / 2015Geometric Spaces with No PointsWGeometric Spaces with N...preprint / 2015IKP and FriendsWIKP and Friendspreprint / 2015Signed-Bit Representations of Real NumbersWSigned-Bit Representati...preprint / 2015Zero Sets of Univariate PolynomialsWZero Sets of Univariate...preprint / 2015Well-founded Iterations of Infinite Time Turing MachinesWWell-founded Iterations...preprint / 2015CZF and Second Order ArithmeticWCZF and Second Order Ar...preprint / 2015Topological Forcing Semantics with SettlingWTopological Forcing Sem...preprint / 2015On the Cauchy Completeness of the Constructive Cauchy RealsWOn the Cauchy Completen...preprint / 2015On the Constructive Dedekind RealsWOn the Constructive Ded...preprint / 2015On the Failure of BD-N and BD, and an Application to the Anti-Specker PropertyWOn the Failure of BD-N ...preprint / 2015Walker's cancellation theoremWWalker's cancellation t...preprint / 2015
Person12 links

Robert Lubarsky

Researcher

PaperIndependence Results around Constructive ZFAuthorship / preprint / 2015PaperGeometric Spaces with No PointsAuthorship / preprint / 2015PaperIKP and FriendsAuthorship / preprint / 2015PaperSigned-Bit Representations of Real NumbersAuthorship / preprint / 2015PaperZero Sets of Univariate PolynomialsAuthorship / preprint / 2015PaperWell-founded Iterations of Infinite Time Turing MachinesAuthorship / preprint / 2015PaperCZF and Second Order ArithmeticAuthorship / preprint / 2015PaperTopological Forcing Semantics with SettlingAuthorship / preprint / 2015

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)