BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Hans Schoutens

Hans Schoutens appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ACmath.LOmath.AGmath.DGmath.CTmath.KTmath.NT

Catalog footprint

What is connected

10works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2015arXiv

A Computable Functor From Graphs to Fields

We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S, there exists a countable field F with the same essential computable-model-theoretic properties as S. Along the way, we develop a new "computable category theory," and prove that our functor and its partially-defined inverse (restricted to the categories of countable graphs and countable fields) are computable functors.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Ordinal length and the canonical topology

We extend the classical length function to an ordinal-valued invariant on the class of all finite-dimensional Noetherian modules. We show how to calculate this combinatorial invariant by means of the fundamental cycle of the module, thus linking the lattice of submodules to homological properties of the module. Using this, we define on a module its canonical topology, in which every morphism is continuous.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The theory of ordinal length

We generalize the notion of length to an ordinal-valued invariant defined on the class of finitely generated modules over a Noetherian ring. A key property of this invariant is its semi-additivity on short exact sequences. We show how to calculate this combinatorial invariant by means of the fundamental cycle of the module, thus linking the lattice of submodules to homological properties of the module. Using this, we equip each module with its canonical topology.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The yoga of schemic Grothendieck rings, a topos-theoretical approach

We propose a suitable substitute for the classical Grothendieck ring of an algebraically closed field, in which any quasi-projective scheme is represented, while maintaining its non-reduced structure. This yields a more subtle invariant, called the schemic Grothendieck ring, in which we can formulate a form of integration resembling Kontsevich's motivic integration via arc schemes. Whereas the original construction was via definability, we have translated in this paper everything into a topos-theoretic framework.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Classifying singularities up to analytic extensions of scalars

The singularity space consists of all germs $(X,x)$, with $X$ a Noetherian scheme and $x$ a point, where we identify two such germs if they become the same after an analytic extension of scalars. This is a Polish space for the metric given by the order to which infinitesimal neighborhoods, or jets, agree after base change. In other words, the classification of singularities up to analytic extensions of scalars is a smooth problem in the sense of descriptive set-theory. Over $\mathbb C$, the following two classification problems up to isomorphism are now smooth: (i) analytic germs; and (ii) polarized schemes.

0 citations0 reviewsNo code linkedOpen access
preprint1997arXiv

Flattening and subanalytic sets in rigid analytic geometry

Let K be an algebraically closed field endowed with a complete non-archimedean norm with valuation ring R. Let f:Y -> X be a map of K-affinoid varieties. In this paper we study the analytic structure of the image f(Y) in X; such an image is a typical example of a subanalytic set. We show that the subanalytic sets are precisely the D-semianalytic sets, where D is the truncated division function first introduced by Denef and van den Dries. This result is most conveniently stated as a Quantifier Elimination result for the valuation ring R in an analytic expansion of the language of valued fields.

0 citations0 reviewsNo code linkedOpen access