Product of invariant types modulo domination–equivalence

Archive for Mathematical Logic 59 (1):1-29 (2020)
  Copy   BIBTEX

Abstract

We investigate the interaction between the product of invariant types and domination–equivalence. We present a theory where the latter is not a congruence with respect to the former, provide sufficient conditions for it to be, and study the resulting quotient when it is.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-019-00676-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The domination monoid in o-minimal theories.Rosario Mennuni - 2021 - Journal of Mathematical Logic 22 (1).
Forcing with quotients.Michael Hrušák & Jindřich Zapletal - 2008 - Archive for Mathematical Logic 47 (7-8):719-739.
A predicate extension of real valued logic.Stefano Baratella - 2017 - Archive for Mathematical Logic 56 (5):585-605.
Generalised stability of ultraproducts of finite residue rings.Ricardo Isaac Bello Aguirre - 2021 - Archive for Mathematical Logic 60 (7):815-829.
Omitting types and AF algebras.Kevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira & Alexander Sherman - 2014 - Archive for Mathematical Logic 53 (1):157-169.
Linear orders with distinguished function symbol.Douglas Cenzer, Barbara F. Csima & Bakhadyr Khoussainov - 2009 - Archive for Mathematical Logic 48 (1):63-76.
Radin forcing and its iterations.John Krueger - 2007 - Archive for Mathematical Logic 46 (3-4):223-252.
σ-Continuity and related forcings.Marcin Sabok - 2009 - Archive for Mathematical Logic 48 (5):449-464.
Cohesive powers of structures.Valentina Harizanov & Keshav Srinivasan - forthcoming - Archive for Mathematical Logic:1-24.
On the structure of nonarchimedean exponential fields I.Salma Kuhlmann - 1995 - Archive for Mathematical Logic 34 (3):145-182.

Analytics

Added to PP
2019-05-10

Downloads
28 (#138,667)

6 months
12 (#1,086,452)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Weakly binary expansions of dense meet‐trees.Rosario Mennuni - 2022 - Mathematical Logic Quarterly 68 (1):32-47.
The domination monoid in o-minimal theories.Rosario Mennuni - 2021 - Journal of Mathematical Logic 22 (1).
An Invitation to Extension Domination.Kyle Gannon & Jinhe Ye - 2023 - Notre Dame Journal of Formal Logic 64 (3):253-280.

Add more citations

References found in this work

Simple theories.Byunghan Kim & Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):149-164.
Unidimensional theories are superstable.Ehud Hrushovski - 1990 - Annals of Pure and Applied Logic 50 (2):117-137.
Generically stable regular types.Predrag Tanović - 2015 - Journal of Symbolic Logic 80 (1):308-321.
Remarks on Structure Theorems for $\omega_{1}$ -Saturated Models.Tapani Hyttinen - 1995 - Notre Dame Journal of Formal Logic 36 (2):269-278.
Unidimensional theories are superstable.Katsuya Eda - 1990 - Annals of Pure and Applied Logic 50 (2):117-137.

View all 6 references / Add more references