BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Tapani Hyttinen

Tapani Hyttinen contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.FA

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

4 published item(s)

preprint2022arXiv

An AEC framework for fields with commuting automorphisms

In this paper, we introduce an AEC framework for studying fields with commuting automorphisms. Fields with commuting automorphisms are closely related to difference fields. Some authors define a difference ring (or field) as a ring (or field) together with several commuting endomorphisms, while others only study one endomorphism. Z. Chatzidakis and E. Hrushovski have studied in depth the model theory of ACFA,the model companion of difference fields with one automorphism. Our fields with commuting automorphisms generalize this setting. We have several automorphisms and they are required to commute. Hrushovski has proved that in the case of fields with two or more commuting automorphisms,the existentially closed models do not necessarily form a first order model class. In the present paper, we introduce FCA-classes, an AEC framework for studying the existentially closed models of the theory of fields with commuting automorphisms.We prove that an FCA-class has AP and JEP and thus a monster model, that Galois types coincide with existential types in existentially closed models,that the class is homogeneous,and that there is a version of type amalgamation theorem that allows to combine three types under certain conditions. Finally, we use these results to show that our monster model is a simple homogeneous structure in the sense of S. Buechler and O. Lessman (this is a non-elementary analogue for the classification theoretic notion of a simple first order theory).

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On highly equivalent non-isomorphic countable models of arithmetic and set theory

It is well-known that the first order Peano axioms PA have a continuum of non-isomorphic countable models. The question, how close to being isomorphic such countable models can be, seems to be less investigated. A measure of closeness to isomorphism of countable models is the length of back-and-forth sequences that can be established between them. We show that for every countable ordinal alpha there are countable non-isomorphic models of PA with a back-and-forth sequence of length alpha between them. This implies that the Scott height (or rank) of such models is bigger than $α$. We also prove the same result for models of ZFC.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On ultraproducts, the spectral theorem and rigged Hilbert spaces

We start by showing how to approximate unitary and bounded self-adjoint operators by operators in finite dimensional spaces. Using ultraproducts we give a precise meaning for the approximation. In this process we see how the spectral measure is obtained as an ultralimit of counting measures that arise naturally from the finite dimensional approximations. Then we see how generalized distributions can be interpreted in the ultraproduct. Finally we study how one can calculate kernels of operators $K$ by calculating them in the finite dimensional approximations and how one needs to interpret Dirac deltas in the ultraproduct in order to get the kernels as propagators $\langle x_{1}|K|x_{0}\rangle$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

First-Order Model Theory of Free Projective Planes

We prove that the theory of open projective planes is complete and strictly stable, and infer from this that Marshall Hall's free projective planes $(π^n : 4 \leq n \leq ω)$ are all elementary equivalent and that their common theory is strictly stable and decidable, being in fact the theory of open projective planes. We further characterize the elementary substructure relation in the class of open projective planes, and show in particular that $(π^n : 4 \leq n \leq ω)$ is an elementary chain. We then prove that the theory of open projective planes does not have a prime model, that it has elimination of quantifiers down to Boolean combinations of existential formulas, and that it is not model complete. Finally, we characterize the forking independence relation in models of the theory and prove that the $π^n$'s ($4 \leq n \leq ω)$ are strongly type-homogeneous.

0 citations0 reviewsNo code linkedOpen access