Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Project

Analyse van de sterkte van de stelling van Hindman in alternatieve formuleringen.

Output en outcomes

Code

01D28620

Looptijd

01-01-2021 → 31-12-2024

Financiering

Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds

Promotor

Andreas Weiermann

Mandaathouder

Oriola Gjetaj

Onderzoeksdisciplines

Natural sciences
- Combinatorics
- Mathematical logic and foundations

Trefwoorden

Combinatoriek Bewijstheorie Berekenbaarheid Omgekeerde wiskunde Ramsey theorie Stelling van Hindman

Projectomschrijving

De stelling van Hindman vormt een mijlpaal voor de combinatoriek en bracht vele open problemen voort in de wiskundige logica. Studie van de stelling van Ramsey en Goodstein-reeksen hangt nauw samen met onderzoek naar de stelling van Hindman en biedt nuttige toepasbare methoden. Het project beaamt de computationele kracht van de stelling van Hindman en alternatieve formuleringen te onderzoeken.

English

Dutch

English

Cookie settings

In addition to functional cookies which are necessary for the website to function, Ghent University uses non-functional cookies such as statistical cookies and social media cookies. These non-functional cookies can also be placed by third parties, for example to measure the use of the site or to share content on social media. Certain media are only available if you accept the cookies. You can set and modify your cookie preferences yourself. Find out what cookies we use and why in the Cookie Statement.

Analytics

AnalyticsWe'll collect information about your visit to our site. It helps us understand how the site is used – what's working, what might be broken and what we should improve.

Powered by