Source author record

Janak Ramakrishnan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

5works

1topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2011arXiv

Functions continuous on curves in o-minimal structures

We give necessary and sufficient conditions on a non-oscillatory curve in an o-minimal field such that, for any bounded definable function, the germ of the function on an initial segment of the curve can be continuously extended to a closed definable set. This situation is translated into a question about types: What are the conditions on an $n$ -type such that, for any bounded definable function, there is a definable set containing the type on which the function is continuous, and can be extended continuously to the set's closure? All such types are definable, and we give the precise conditions that are equivalent to existence of a desired definable set.

preprint2011arXiv

Interpretable groups are definable

We prove that in an arbitrary o-minimal structure, every interpretable group is definably isomorphic to a definable one. We also prove that every definable group lives in a cartesian product of one-dimensional definable group-intervals (or one-dimensional definable groups). We discuss the general open question of elimination of imaginaries in an o-minimal structure.

preprint2010arXiv

Definable linear orders definably embed into lexicographic orders in o-minimal structures

We completely characterize definable linear orders in o-minimal structures expanding groups. For example, let (P,<_p) be a linear order definable in the real field R. Then (P,<_p) embeds definably in (R^{n+1},<_l), where <_l is the lexicographic order and n is the o-minimal dimension of P. This improves a result of Onshuus and Steinhorn in the o-minimal group context.

preprint2010arXiv

Maximal small extensions of o-minimal structures

A proper elementary extension of a model is called small if it realizes no new types over any finite set in the base model. We answer a question of Marker, and show that it is possible to have an o-minimal structure with a maximal small extension. Our construction yields such a structure for any cardinality. We show that in some cases, notably when the base structure is countable, the maximal small extension has maximal possible cardinality.

preprint2010arXiv

Uniform bounds on growth in o-minimal structures

We prove that a function definable with parameters in an o-minimal structure is bounded away from infinity as its argument goes to infinity by a function definable without parameters, and that this new function can be chosen independently of the parameters in the original function. This generalizes a result in a paper of Friedman and Miller. Moreover, this remains true if the argument is taken to approach any element of the structure (or plus/minus infinity), and the function has limit any element of the structure (or plus/minus infinity).

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.

Janak Ramakrishnan

Research overview

Is this your work?

5 publications

Functions continuous on curves in o-minimal structures

Interpretable groups are definable

Definable linear orders definably embed into lexicographic orders in o-minimal structures

Maximal small extensions of o-minimal structures

Uniform bounds on growth in o-minimal structures

See the researcher in context

Building this map preview