Skip to main content

ResearchHubLoading navigation…

Loading ResearchHub…

Explore the network

Research, people, journals and institutions — all in one place.

Explore

01Research 02Smart search 03Researchers 04Journals 05Institutions 06RHR Rankings 07ResearchHub platform 08Events

Work together

Turn ideas into projects, questions and reusable datasets.

Connect

01Projects 02Questions 03Datasets

Stay informed

Follow trends, opportunities and your research library.

Insights

01Research trends 02Opportunities 03Library 04Research services 05ResearchHub Pro 06Pricing

ResearchHub

Explore ResearchHub.

Personal

01Recommended research 02Research intelligence

Home Search Network Library Log in

ResearchHub

Research, connected

Explore the graph

ResearchGate

Download ResearchHub

GET IT ONGoogle PlayComing soonDownload on theApp StoreComing soonEXPLORE IT ONAppGalleryComing soon

Research

Research Researchers Journals Institutions RHR Rankings

Contribute

Projects Questions Datasets Opportunities

Platform

ResearchHub platform About Blog Community Help API Licensing

Shopping

Contact and support

Need help, have a question, or want to contact the ResearchHub team?

Contact and support support@aresearch.uk

© 2026 ResearchHub. Built for responsible scholarly connection.

Privacy Terms Cookies This work is licensed under Creative Commons Attribution 4.0 InternationalCC BY 4.0

Privacy-aware community infrastructure

Søren Brinck Knudstorp | ORCID 0009-0008-9835-4195 | ResearchHub - ResearchHub

S

Researcher profile

Søren Brinck Knudstorp

Unclaimed researcher profile imported from scholarly metadata

University of Amsterdam ORCID

1

Publications

0

Citations

0

H-index

0

Recent H-index

14

Reads

0

Followers

Overview Research Publications Projects Datasets Questions Impact Network Activity

Overview

Research identity

Research areas

Not available

Education

Not available

Research

Research outputs

Public works are drawn from admitted ResearchHub scholarly records.

Publications

Selected public works

Search public worksYearWork typeSort works

1 of 1 listed works

Exports contain available public metadata for the works currently shown.

KNOCKING DOWN BOXES: THE FMP FOR <mml:math xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mnf="http://cambridge.org/core/manifest" xmlns:cup="http://contentservices.cambridge.org" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:m="http://cambridge.org/core/metadata" xmlns:core="http://cambridge.org/core" xmlns:c="http://cambridge.org/core/content" display="inline"> <mml:mrow> <mml:mi mathvariant="bold">K</mml:mi> </mml:mrow> <mml:mo>⊕</mml:mo> <mml:msup> <mml:mi>◻</mml:mi> <mml:mrow> <mml:mi>m</mml:mi> <mml:mo>+</mml:mo> <mml:mi>k</mml:mi> </mml:mrow> </mml:msup> <mml:mi>p</mml:mi> <mml:mo stretchy="false" accent="false">→</mml:mo> <mml:msup> <mml:mi>◻</mml:mi> <mml:mi>m</mml:mi> </mml:msup> <mml:mi>p</mml:mi> </mml:math> $\mathbf {K}\oplus \Box ^{m+k} p\to \Box ^m p$ bold upper K circled plus white medium square Superscript m plus k Baseline p right arrow white medium square Superscript m Baseline p

The Journal of Symbolic Logic · 2026 · journal-article

0 citations · 14 reads

Projects

Public projects

No public projects are available.

Datasets

Public datasets

No public datasets are available.

Questions

Questions & answers

Not available

Impact

Measured impact

Publications: 1
Citations: 0
H-index: 0
Recent H-index: 0
Reads: 14

H-index follows the standard Hirsch definition: the largest h for which h publications each have at least h citations. Recent H-index applies the same calculation to the five most recent complete calendar years (2021-2025); the current year is excluded while incomplete.

Affiliations

Institutions

UUniversity of AmsterdamAffiliation

Identifiers

Scholarly links

ORCID: 0009-0008-9835-4195

Network

Research network

0 followers

Public network totals only

Activity

Recent activity

Not available

Recognition

Professional record

Not available