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.

Silvia Steila
SearchCollections
Map detail
Silvia Steila7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSilvia SteilaASilvia SteilaResearcherReverse Mathematical Bounds for the Termination TheoremWReverse Mathematical Bo...preprint / 2015Some algebraic equivalent forms of $\mathbb{R} \subseteq L$WSome algebraic equivale...preprint / 2016Ramsey's Theorem for Pairs and $k$ Colors as a Sub-Classical Principle of ArithmeticWRamsey's Theorem for Pa...preprint / 2016The strength of the SCT criterionWThe strength of the SCT...preprint / 2016A Boolean Algebraic Approach to Semiproper IterationsWA Boolean Algebraic App...preprint / 2014Proving termination with transition invariants of height omegaWProving termination wit...preprint / 2014
Person6 links

Silvia Steila

Researcher

PaperReverse Mathematical Bounds for the Termination TheoremAuthorship / preprint / 2015PaperSome algebraic equivalent forms of R⊆L\mathbb{R} \subseteq LAuthorship / preprint / 2016PaperRamsey's Theorem for Pairs and kk Colors as a Sub-Classical Principle of ArithmeticAuthorship / preprint / 2016PaperThe strength of the SCT criterionAuthorship / preprint / 2016PaperA Boolean Algebraic Approach to Semiproper IterationsAuthorship / preprint / 2014PaperProving termination with transition invariants of height omegaAuthorship / preprint / 2014

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)