Alexander Berenbeim

@berenbeim

Applies the tools of formal logic to state and solve problems

north america
Vrijeme pridruživanja: veljača 2011.
29 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @berenbeim

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @berenbeim

  1. proslijedio/la je Tweet
    28. sij

    Steve Awodey : Sheaf Representations and Duality in Logic

    7 proslijeđenih tweetova 16 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    24. sij

    I had no choice, sorry

    34 proslijeđena tweeta 87 korisnika označava da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    24. sij

    11 replies 39 proslijeđenih tweetova 330 korisnika označava da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    17. sij

    Real question:

    14 replies 13 proslijeđenih tweetova 75 korisnika označava da im se sviđa
    Poništi
  5. 15. sij

    I want to believe.

    It’s still hard for me to believe that such a result could be true. Scott Aaronson wrote a nice post about why this result is so surprising (assuming no error is found).
    Poništi
  6. proslijedio/la je Tweet
    10. sij

    Yes, linear logic with recursive types is a thing! Standard reference: Denotational interpretation in coherence spaces: Operational interpretation with session types: section 6 of ’s work is adjacent

    Odgovor korisnicima @davidad @_julesh_ @bgavran3
    Thank you! Btw, have you heard of anyone working on "linear polynomial functors"? Ie instead of defining ADTs using product/coproduct, youd use the linear connectives? (I'm not sure what youd use them for but I'm curious)
    4 proslijeđena tweeta 32 korisnika označavaju da im se sviđa
    Poništi
  7. 9. sij

    So Ivan linked some work of Vasey, Rosicky and Lieberman that looks at these ideas with abstract elementary classes. These papers are a good place to start, but I suppose they're not quite what I was thinking of. I'll try to clarify what I'm thinking of in a bit.

    2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. 9. sij

    Long shot, but does someone affiliated with logic twitter, or math twitter more broadly (with category theory twitter being the most likely to have leads), know of any papers looking at analogues in the non-classical setting of stability theory for first order theories?

    5 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    7. sij

    “A microscopic approach to Souslin-tree construction, Part II”, A. M. Brodsky and A. Rinot.

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  10. 7. sij

    Not going to lie, I would pay serious money to see this film.

    featuring a young type theorist trying to write mechanized metatheory proofs by hand and as a result suffers from paranoia and hallucinations. later his advisor reveals that he had similar problems years ago, and he should look for different ways to represent variable binding.
    1 korisnik označava da mu se sviđa
    Poništi
  11. proslijedio/la je Tweet
    6. sij

    And another one! The (non-principal) ultrapower of odd-cycles, which are not 2-colorable, results in a graph that has a 2-colorable connected component.

    3 proslijeđena tweeta 16 korisnika označava da im se sviđa
    Poništi
  12. 6. sij

    yodel theory.

    Alter one letter of a concept in your discipline. I'll go first. Dank Matter
    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    3. sij

    Suppose k is a non-Archimedean field with a (nontrivial) valuation. The category of germs of a k-analytic space can be obtained by taking the category whose objects are pairs (X, G), (where X is a k-analytic space and G ⊂ X) and localizing w.r.t maps (W, F) → (X, G) which...

    1 reply 1 proslijeđeni tweet 10 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    26. pro 2019.

    The left Jacobson radical and the right Jacobson radical coincide. This is called horseshoe theory.

    4 proslijeđena tweeta 27 korisnika označava da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    25. pro 2019.
    Odgovor korisnicima

    He never found his universal grammar, but maybe the real universal grammar was the systemic functionalists we made along the way.

    1 reply 4 proslijeđena tweeta 91 korisnik označava da mu se sviđa
    Poništi
  16. proslijedio/la je Tweet
    24. pro 2019.

    If Xenophon’s Socrates were able to dunk on me from a distance of some 2,380 years, I would simply consider that he might have a valid point

    164 proslijeđena tweeta 1.774 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    23. pro 2019.

    ‘Afghanistan Papers’ shed light on Biden

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  18. proslijedio/la je Tweet
    23. pro 2019.

    Letter: Like the Labour party, Britain needs rewiring

    4 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    22. pro 2019.

    Manuel Bodirsky, Thomas Quinn-Gregson : Solving Equation Systems in $ω$-categorical Algebras

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    19. pro 2019.

    The three branches of the government are: 0. A functor F from C to D. 1. A functor G from D to C. 2. An adjugant η from G to F.

    What are the three branches of government? (Wrong answers only.)
    1 reply 1 proslijeđeni tweet 6 korisnika označava da im se sviđa
    Poništi

@berenbeim još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·