Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
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.
Onderzoeker
Fedor Pakhomov
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
24
Resultaten
2024
Functorial fast-growing hierarchies
Juan P. Aguilera
Fedor Pakhomov
Andreas Weiermann
A1
Artikel in een tijdschrift
in
FORUM OF MATHEMATICS SIGMA
2024
There are no minimal essentially undecidable theories
Juvenal Murwanashyaka
Fedor Pakhomov
Albert Visser
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2024
2023
Modern perspectives in Proof Theory
Juan Aguilera
Fedor Pakhomov
Andreas Weiermann
Redactioneel materiaal
2023
Provable better quasi orders
Anton Freund
Alberto Marcone
Fedor Pakhomov
Giovanni Solda
Preprint
2023
Reducing omega-model reflection to iterated syntactic reflection (vol 23, 2250001, 2021)
Fedor Pakhomov
James Walsh
Correctie
2023
Reducing ω-model reflection to iterated syntactic reflection
Fedor Pakhomov
James Walsh
A1
Artikel in een tijdschrift
in
JOURNAL OF MATHEMATICAL LOGIC
2023
The Pi ^1_2 consequences of a theory
Juan Aguilera
Fedor Pakhomov
A1
Artikel in een tijdschrift
in
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES
2023
The logical strength of minimal bad arrays
Anton Freund
Fedor Pakhomov
Giovanni Solda
Preprint
2023
The spectrum of Π¹₃-soundness
Juan Aguilera
Fedor Pakhomov
A1
Artikel in een tijdschrift
in
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
2023
2022
Arithmetical and hyperarithmetical worm battles
David Fernández-Duque
Joost J Joosten
Fedor Pakhomov
Konstantinos Papafilippou
Andreas Weiermann
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2022
Finitely axiomatized theories lack self‐comprehension
Fedor Pakhomov
Albert Visser
A1
Artikel in een tijdschrift
in
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY
2022
Linear orders in Presburger arithmetic
Fedor Pakhomov
Alexander Zapryagaev
Preprint
2022
2021
REFLECTION RANKS AND ORDINAL ANALYSIS
Fedor Pakhomov
James Walsh
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2021
2020
Multi-dimensional interpretations of Presburger arithmetic in itself
Fedor Pakhomov
Alexander Zapryagaev
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2020
Short proofs for slow consistency
Anton Freund
Fedor Pakhomov
A1
Artikel in een tijdschrift
in
NOTRE DAME JOURNAL OF FORMAL LOGIC
2020
2019
Complexity of the interpretability logic IL
Luka Mikec
Fedor Pakhomov
Mladen Vukovic
A1
Artikel in een tijdschrift
in
LOGIC JOURNAL OF THE IGPL
2019
On a question of Krajewski's
Fedor Pakhomov
Albert Visser
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2019
Truth, disjunction, and induction
Ali Enayat
Fedor Pakhomov
A1
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
2019
2018
Interpretations of Presburger arithmetic in itself
Alexander Zapryagaev
Fedor Pakhomov
P1
Conferentie
2018
2017
Solovay's completeness without fixed points
Fedor Pakhomov
P1
Conferentie
2017
2016
Linear GLP-algebras and their elementary theories
Fedor Pakhomov
A1
Artikel in een tijdschrift
in
IZVESTIYA MATHEMATICS
2016
2015
On elementary theories of ordinal notation systems based on reflection principles
Fedor Pakhomov
A1
Artikel in een tijdschrift
in
PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS
2015
2014
On the complexity of the closed fragment of Japaridze's provability logic
Fedor Pakhomov
A1
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
2014
2012
Undecidability of the elementary theory of the semilattice of GLP-words
Fedor Pakhomov
A1
Artikel in een tijdschrift
in
SBORNIK MATHEMATICS
2012