Ghent University Academic Bibliography

Your filters: cql: parent exact "Journal of Symbolic Logic"

Add to list
- Journal Article
- A1
- open access
The baire closure and its logic

G. Bezhanishvili and David Fernández-Duque (UGent)

(2024) JOURNAL OF SYMBOLIC LOGIC. 89(1). p.27-49
Add to list
Complete intuitionistic temporal logics for topological dynamics

Joseph Boudou, Martin Diéguez and David Fernández-Duque (UGent)

(2022) JOURNAL OF SYMBOLIC LOGIC. 87(3). p.995-1022
Add to list
- Journal Article
- A1
- open access
REFLECTION RANKS AND ORDINAL ANALYSIS

Fedor Pakhomov (UGent) and James Walsh

(2021) JOURNAL OF SYMBOLIC LOGIC. 86(4). p.1350-1384
Add to list
Shortening clopen games

J. P. Aguilera (UGent)

(2021) JOURNAL OF SYMBOLIC LOGIC. 86(4). p.1541-1554
Add to list
Games and induction on reals

J. P. Aguilera (UGent) and P. D. Welch

(2021) JOURNAL OF SYMBOLIC LOGIC. 86(4). p.1676-1690
Add to list
- Journal Article
- A1
- open access
The order of reflection

J. P. Aguilera (UGent)

(2021) JOURNAL OF SYMBOLIC LOGIC. 86(4). p.1555-1583
Add to list
- Journal Article
- A1
- open access
The consistency strength of long projective determinacy

J. P. Aguilera (UGent) and Sandra Müller

(2020) JOURNAL OF SYMBOLIC LOGIC. 85(1). p.338-366
Add to list
Provably Δ1 games

J. P. Aguilera (UGent) and D. W. Blue

(2020) JOURNAL OF SYMBOLIC LOGIC. 85(3). p.1124-1146
Add to list
- Journal Article
- A1
- open access
Fσ games and reflection in L(ℝ)

J. P. Aguilera (UGent)

(2020) JOURNAL OF SYMBOLIC LOGIC. 85(3). p.1102-1123
Add to list
- Journal Article
- A1
Unsound inferences make proofs shorter

J. P. Aguilera (UGent) and Matthias Baaz

(2019) JOURNAL OF SYMBOLIC LOGIC. 84(1). p.102-122

Academic Bibliography

The baire closure and its logic

Complete intuitionistic temporal logics for topological dynamics

REFLECTION RANKS AND ORDINAL ANALYSIS

Shortening clopen games

Games and induction on reals

The order of reflection

The consistency strength of long projective determinacy

Provably Δ1 games

Fσ games and reflection in L(ℝ)

Unsound inferences make proofs shorter

Contents

Support

Contact