Updates from December, 2015 Toggle Comment Threads | Keyboard Shortcuts

  • sylvyanscombe 5:52 pm on December 20, 2015 Permalink | Reply
    Tags: , valued fields   

    Henselianity in the language of rings, with Franziska Jahnke 

    I would like to write about a new paper ([AJ15]) which Franziska Jahnke and I have written and put on the arXiv. It’s called Henselianity in the language of rings. In it we investigate the relationship between the following four properties of a field K:

    (h) K is henselian, i.e. K admits a nontrivial henselian valuation,

    (eh) K is elementarily henselian, i.e. every L\equiv K is henselian,

    (def) K admits a definable nontrivial henselian valuation, and

    (\emptyset-def) K admits a \emptyset-definable nontrivial henselian valuation.

    (More …)

    Advertisements
     
  • sylvyanscombe 9:56 pm on October 28, 2015 Permalink | Reply
    Tags:   

    Two old-ish Terry Tao posts about model theory 

    I can’t get enough of Terry Tao’s blog What’s New, he writes so much and so brilliantly. Anyway, I found two really nice old-ish posts about model theory:

    • this which talks about completeness, compactness, zeroth-order logic, and Skolemisation;
    • and this which talks about nonstandard analysis, notions of `elementary convergence’ and `elementary completion’, countable saturation, compactness and saturation re-written from an analytical point-of-view, and the Szemerédi regularity lemma (something I always want to know more about).

    I don’t have time to write anything more now, but later I will get back to it.

     

     
c
Compose new post
j
Next post/Next comment
k
Previous post/Previous comment
r
Reply
e
Edit
o
Show/Hide comments
t
Go to top
l
Go to login
h
Show/Hide help
shift + esc
Cancel