Die folgenden Vorträge haben im Wintersemester 2012/13 im Oberseminar Modelltheorie stattgefunden.

 

Montag, 22.10.2012 um 15.15 Uhr, Oberseminar Modelltheorie

Kein Vortrag

 

Montag, 29.10.2012 um 15.15 Uhr, Oberseminar Modelltheorie

Kein Vortrag

 

Montag, 05.11.2012 um 15.15 Uhr (im Raum D436), Oberseminar Modelltheorie

Samuel Volkweis Leite (Konstanz)

Divisibilities and an Axiomatization of the Ring of Continuous Functions from a Compact Hausdorff Space to the Field of p-adic Numbers

Abstract: I will talk about divisibilities as being the pre-concept of  valuations when treated axiomatically. As an application, I will use them to give an axiomatization of a certain class of rings of continuous functions having p-adic values.

In the last talk I used some stronger condition to give such characterization. Now I will show how we can avoid it using a more reasonable condition.

 

Donnerstag, 08.11.2012 um 17:00 Uhr, Oberseminar Modelltheorie

Tamara Servi (CMAF, Universidade de Lisboa)

(Gast von Salma Kuhlmann und Margaret Thomas)

Quantifier Elimination and Rectilinearisation Theorem for quasi-analytic algebras

Abstract: An algebra of real functions is quasi-analytic if there is an injective morphism which associates a (divergent) generalised power series to each germ at zero of a function in the algebra. In the context of quasi-analytic algebras, which generalises that of real analytic geometry, we prove an analogue to Denef and van den Dries' Quantifier Elimination Theorem and analogue to Hironaka's Rectilinearisation Theorem, which states that every bounded subanalytic set can be written, after a finite sequence of blow-ups, as a finite union of quadrants (joint work with J.-P. Rolin).

 

Montag, 12.11.2012 um 15.15 Uhr, Oberseminar Modelltheorie

Merlin Carl (Konstanz)

On Machines and Melodies - An Introduction to Infinitary Computations

Abstract: Turing computability provides an intuitive and attractive formal framework for the analysis of the question which mathematical objects and functions can be generated by applying a certain procedure finitely many times. However, in mathematical practice, we often encounter examples of objects generated by infinite processes involving limits, such as adding reals, computing with limits of real sequences, forming direct limits of directed systems, hulls, closures etc. This motivates the study of infinitary computations that can account for the limit phenomenon in such processes and should provide a framework for extending results from recursion theory to infinitary mathematical objects. I will introduce Infinite Time Register Machines (ITRM’s), a machine model for infinitary computations introduced by Koepke and Miller in 2008 and give some of the most interesting results that we have about their behaviour and strength. In particular, I will demonstrate the strong link between ITRM- computability and models of Kripke-Platek set theory established by Koepke and Miller and give some results from my recent work on the question which reals can be uniquely identified by an ITRM as the number in the oracle.

 

Montag, 19.11.2012 um 15.15 Uhr, Oberseminar Modelltheorie

Kein Vortrag

 

Montag, 26.11.2012 um 15.15 Uhr, Oberseminar Modelltheorie

Isabella Fascitiello (Seconda Università degli Studi di Napoli)

(Gast von Salma Kuhlmann)

On the construction of a Normal Integer Part of a Real Closed Field

Abstract: An integer part (IP) for an ordered field R is a discretely ordered subring Z such that for each r in R there exists some z in Z with  |r - z|< 1. Shepherdson in 1964 showed that Integer Parts of real closed fields (RCF) are precisely the models of a fragment of Peano Arithmetic called Open Induction (OI). This correspondence led Shepherdson and others to investigate the properties of Integer Parts of real closed fields. By Mourgues and Ressayre, every real closed field has an IP. The IPs they constructed are not normal,  i. e. not integrally closed in its fraction field. It is an open question whether every RCF has a normal IP.

 

Montag, 03.12.2012 um 15.15 Uhr, Oberseminar Modelltheorie

Will Anscombe (University of Oxford)

(Gast von Arno Fehm)

Definability in power series fields via a lemma like Hensel's

Abstract:We study definability in the power series field F((t)) in the language of rings allowing parameters from F. We assume F is perfect. After proving a `Hensel-like Lemma', we show how to give a very simple description of orbits of singletons under F-automorphisms of F((t)); in fact these orbits are existentially-definable (with additional parameters). Thus we may use previous work about existential definability to obtain consequences for F-definable subsets of F((t)).

 

Montag, 10.12.2012 um 15.15 Uhr, Oberseminar Modelltheorie

Salma Kuhlmann (Konstanz) 

The (valuative) difference rank of a difference field

(Work in progress with M. Matusinski and F. Point)

Abstract: There are several equivalent characterizations of the (valuative) rank of a valued field: via the chain of ideals of the valuation ring, the chain of convex subgroups of the value group, or the chain of final segments of the value set of the value group. The order type of any of the above described chains is the rank of the valued field.

This analysis can be extended to cases when the field admits extra structure. We considered for instance ordered exponential fields, introduced the (valuative) exponential rank, and gave a characterization completely analogous to the above, but taking into account the (extra) structure induced by the exponential map (on the ideals, convex subgroups and final segments).

In this talk, we push this analogy to the case of an (ordered) difference field and introduce the notion of "difference rank", naturally identifying it with the chain of fixed points of the automorphism induced on the (valuative) rank.

 

Montag, 17.12.2012 um 15.15 Uhr, Oberseminar Modelltheorie

Maurice Chiodo (Universita degli Studi di Milano)

(Gast von Salma Kuhlmann)

The computational complexity of recognising embeddings, and a universal finitely presented torsion-free group

Abstract: We extend a result by Lempp that recognising torsion-freeness for finitely presented groups is Π⁰₂-complete in the arithmetic hierarchy; we show that the problem of recognising embeddings of finitely presented groups is at least Π⁰₂-hard, Σ⁰₂-hard, and lies in Σ⁰₃. We give a uniform construction that, on input of a recursive presentation of a group P , outputs a recursive presentation P^tf of a torsion-free group which is isomorphic to P whenever P is itself torsion-free. We apply our constructions to form a ’universal’ finitely presented torsion-free group; one in which every finitely presented torsion-free group embeds.

 

Montag, 07.01.2013 um 15.15 Uhr, Oberseminar Modelltheorie

kein Vortrag

 

Montag, 14.01.2013 um 15.15 Uhr, Oberseminar Modelltheorie

Paola d'Aquino (Seconda Università degli Studi di Napoli)

(Gast von Salma Kuhlmann)

Saturation properties of o-minimal structures

Abstract: k-saturated divisible ordered abelian groups and real closed fields have been characterized in terms of valuation theory by S. Kuhlmann. I will present extensions of these results to o-minimal expansions of a real closed field and an analogous characterization of recursive saturation.

 

Montag, 21.01.2013 um 15.15 Uhr, Oberseminar Modelltheorie

Lorna Gregory (Konstanz)

Integer parts and henselian ordered fields

Abstract: Shepherdson showed that models of open induction, that is discrete ordered rings whose positive parts satisfy induction of quantifier-free formulae, are exactly the integer parts of real closed fields. Mourgues and Ressayre showed that every real closed field has an integer part. Fornasiero extended this result to show that every ordered field which is henselian with respect to its smallest convex valuation has an integer part. We call such an ordered field a henselian ordered field. We show that the class of henselian ordered fields is not axiomatisable and that the class of iinteger parts of these fields is not axiomatisable either. We will then show that there is a largest axiomatisable class of henselian ordered fields and show that the class of integer parts of these ordered fields is axiomatisable. This largest axiomatisable class of henselian ordered fields turns out to be exactly the henselian ordered fields such that each of their elementary extensions is also a henselian ordered field and that as pure fields these are the almost real closed fields of Delon and Farré.

 

Montag, 28.01.2013 um 15.15 Uhr, Oberseminar Modelltheorie

Margaret Thomas (Konstanz)

Growth dichotomies for integer-valued definable functions

Abstract: We consider analytic functions which take integer values at natural number arguments, and address the question of their growth behaviour at infinity. We shall show that for functions definable in certain o-minimal expansions of the real field there are dichotomies for this behaviour in the direction of a classical theorem of P\'{o}lya (regarding complex entire functions). Our main result follows from work in a related area on a conjecture of Wilkie, which concerns the bounding of the density of rational and algebraic points on sets definable in the real exponential field (this conjecture puts forward an improvement to the influential counting theorem of Pila and Wilkie, a result which has already had far-reaching consequences for diophantine geometry). We will discuss the proofs of these growth dichotomies, explaining the necessary background along the way. This is joint work with Gareth O. Jones and Alex J. Wilkie.

 

Montag, 04.02.2013 um 15.15 Uhr, Oberseminar Modelltheorie

kein Vortrag

 

Montag, 11.02.2013 um 15.15 Uhr, Oberseminar Modelltheorie

Katharina Dupont (Konstanz)

The Cardinality of basis of V-topologies

Abstract: In my talk I will present some results on the cardinality of V-topologies partly based on my diploma thesis. I will examine (filter) basis of neighbourhoods of zero as well as basis in the topological sense and the connection between the two. For the special case of t-henselian fields I will sketch a proof why not every such field admits a countable basis of zero environments and give further conditions under which there exists one.
This work is motivated by a question which came up during a talk of Laurent Moret- Bailly in Paris in November 2012.