Fernando Barrera @_fer_be

TU Wien Joined August 2020

Tweets

127
Followers

88
Following

202
Likes

877

arXiv math.LO Logic @mathLOb

a month ago

Jouko V\"a\"an\"anen: Model theory of second order logic arxiv.org/abs/2508.01788 arxiv.org/pdf/2508.01788 arxiv.org/html/2508.01788

0 4 27 862 9

arXiv math.LO Logic @mathLOb

4 months ago

Sandra M\"uller, Bartosz Wcis{\l}o: A model with fragments of projective determinacy and failures of $\mathsf{DC}$ arxiv.org/abs/2505.16628 arxiv.org/pdf/2505.16628 arxiv.org/html/2505.16628

0 7 13 977 2

arXiv math.LO Logic @mathLOb

5 months ago

Fernando Barrera, Vincenzo Dimonte, Sandra M\"uller: The $\lambda$-PSP at $\lambda$-coanalytic sets arxiv.org/abs/2504.15675 arxiv.org/pdf/2504.15675 arxiv.org/html/2504.15675

0 3 6 764 1

arXiv math.LO Logic @mathLOb

a year ago

Vincenzo Dimonte, Alejandro Poveda, Sebastiano Thei: The Baire and perfect set properties at singulars cardinals arxiv.org/abs/2408.05973 arxiv.org/pdf/2408.05973

0 6 10 969 1

He was such a diva... oho, I hate the indignities and inanities of fame..I would never agree to a TV interview...unless 😏 unless you were to film my severely handsome head in aquiline profile as I gaze philosophically at quietly lapping waves. but that's a crazy idea 😏

Synekura Audio @synekura_audio

a year ago

64 902 6K 584K 3K

Download Video

4 253 4K 126K 685

MathMatize Memes @MathMatize

a year ago

>wake up >open LaTeX document >

20 275 2K 88K 131

Download Image

Fernando Barrera @_fer_be

a year ago

as far as I've seen, a "Woodin proved that ..." is more than enough

0 0 3 94 0

Fernando Barrera @_fer_be

a year ago

question: what the f*** do you type on latex to get the hand-grenade symbol?

1 0 0 131 0

Fernando Barrera @_fer_be

2 years ago

0 0 4 155 0

Download Image

Set Theory Talks @settheorytalks

2 years ago

Vienna Inner Model Theory 2024 vimt2024.conf.tuwien.ac.at

0 5 14 1K 1

Fernando Barrera @_fer_be

2 years ago

I always struggle paying attention for more than 10 minutes even when the topic i'm reading or listening to interests me, but I recently discovered a tip to stay focused for much longer and I want to share it with you: read much faster and watch vids/talks/classes at x2 speed.

0 0 1 147 0

Set Theory Talks @settheorytalks

2 years ago

Postdoc position in mathematical logic, Udine (Italy) deadline: 14 March 2024 titulus-uniud.cineca.it/albo/viewer?vi… @DimonteSet

0 7 11 2K 0

Neil Renic @NC_Renic

2 years ago

Doing a PhD is a strange experience, because every non-academic thinks you're an overachiever while you live in fear of being exposed as a wastrel and fraud

36 594 6K 390K 427

Fernando Barrera @_fer_be

2 years ago

"It is perhaps no surprise to the reader that Woodin cardinals were discovered by Woodin" Steel, An Outline of Inner Model Theory

0 0 4 345 0

Fernando Barrera @_fer_be

2 years ago

everything is about iterability in the end, isn't it

1 0 2 298 0

andrew gao @itsandrewgao

2 years ago

A 🧵 of peer reviewed published scientific research where the authors left out a key coauthor 😉: “As an AI language model…” @MicrobiomDigest

115 1K 7K 2.1M 2K

Download Image

Fernando Barrera @_fer_be

2 years ago

I took this photo during the YSTW in Münster this year and I like it :)

0 2 9 761 1

Download Image

Takehiko Gappo @takehikogappo

2 years ago

Speaking of TU Wien mini workshop on June 12 (Monday), I've uploaded all the titles and abstracts of the talks on the website. Also, we've decided to livestream all the talks through Zoom! Please send me an email if you would like to get the link. sites.google.com/view/takehikog…