Source author record

Seppo Heikkilä

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

ResearcherUnclaimed source record

math.CA math.LO math.FA

Catalog footprint

What is connected

5works

3topics

2close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2020arXiv

Theories of truth for countable languages which conform to classical logic

Every countable language which conforms to classical logic is shown to have an extension which conforms to classical logic, and has a definitional theory of truth. That extension has a semantical theory of truth, if every sentence of the object language is valuated by its meaning either as true or as false. These theories contain both a truth predicate and a non-truth predicate. Theories are equivalent when the sentences of the object language are valuated by their meanings.

preprint2015arXiv

On summability, multipliability, product integrability and parallel translation

In this paper we provide necessary and sufficient conditions for the existence of the Kurzweil, McShane and Riemann product integrals of step mappings with well-ordered steps, and for right regulated mappings with values in Banach algebras. Our basic tools are the concepts of summability and multipliability of families in normed algebras indexed by well-ordered subsets of the real line. These concepts also lead to the generalization of some results from the usual theory of infinite series and products. Finally, we present two applications of product integrals: First, we describe the relation between Stieltjes-type product integrals, Haahti products, and parallel translation operators. Second, we provide a link between the theory of strong Kurzweil product integrals and strong solutions of linear generalized differential equations.

preprint2015arXiv

On the construction of fully interpreted formal languages which posses their truth predicates

We shall construct by ordinary recursion method subsets to the set $D$ of Gödel numbers of the sentences of a language $\mathcal L$. That language is formed by sentences of a fully interpreted formal language $L$, called an MA language, and sentences containing a monadic predicate letter $T$. From the class of the constructed subsets of $D$ we extract one set $U$ by transfinite recursion method. Interpret those sentences whose Gödel numbers are in $U$ as true, and their negations as false. These sentences together form an MA language. It is a sublanguage of $\mathcal L$ having $L$ as its sublanguage, and $T$ is its truth predicate.

preprint2013arXiv

Distributions, their primitives and integrals with applications to differential equations

In this paper we will study integrability of distributions whose primitives are left regulated functions and locally or globally integrable in the Henstock--Kurzweil, Lebesgue or Riemann sense. Corresponding spaces of distributions and their primitives are defined and their properties are studied. Basic properties of primitive integrals are derived and applications to systems of first order nonlinear distributional differential equations and to an $m$th order distributional differential equation are presented. The domain of solutions can be unbounded, as shown by concrete examples.