Generic expansions by a reduct

Journal of Mathematical Logic 21 (3):2150016 (2021)
  Copy   BIBTEX

Abstract

Consider the expansion TS of a theory T by a predicate for a submodel of a reduct T0 of T. We present a setup in which this expansion admits a model companion TS. We show that some of the nice feat...

Categories

Keywords

Reprint years

DOI

10.1142/s0219061321500161

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

Interpolative fusions.Alex Kruckman, Chieu-Minh Tran & Erik Walsberg - 2020 - Journal of Mathematical Logic 21 (2):2150010.
Generic derivations on o-minimal structures.Antongiulio Fornasiero & Elliot Kaplan - 2020 - Journal of Mathematical Logic 21 (2):2150007.
Iterability for (transfinite) stacks.Farmer Schlutzenberg - 2021 - Journal of Mathematical Logic 21 (2):2150008.
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited.Ali Enayat & Vladimir Kanovei - 2020 - Journal of Mathematical Logic 21 (3):2150014.
On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements.Paul Howard, Denis I. Saveliev & Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):155-176.
On Martin's Axiom and Forms of Choice.Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):190-203.
Guessing models and the approachability ideal.Rahman Mohammadpour & Boban Veličković - 2020 - Journal of Mathematical Logic 21 (2):2150003.
Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics.Petr Glivický & Vítězslav Kala - 2017 - Mathematical Logic Quarterly 63 (3-4):162-174.
Maximal almost disjoint families, determinacy, and forcing.Karen Bakke Haga, David Schrittesser & Asger Törnquist - 2021 - Journal of Mathematical Logic 22 (1).
Local Ramsey theory: an abstract approach.Carlos Di Prisco, José G. Mijares & Jesús Nieto - 2017 - Mathematical Logic Quarterly 63 (5):384-396.
Pseudofinite groups and VC-dimension.Gabriel Conant & Anand Pillay - 2020 - Journal of Mathematical Logic 21 (2):2150009.
The property “arithmetic-is-recursive” on a cone.Uri Andrews, Matthew Harrison-Trainor & Noah Schweber - 2021 - Journal of Mathematical Logic 21 (3).
The Structure of an SL2-module of finite Morley rank.Jules Tindzogho Ntsiri - 2017 - Mathematical Logic Quarterly 63 (5):364-375.
A descriptive Main Gap Theorem.Francesco Mangraviti & Luca Motto Ros - 2020 - Journal of Mathematical Logic 21 (1).
The length of an intersection.Christian Delhommé & Maurice Pouzet - 2017 - Mathematical Logic Quarterly 63 (3-4):243-255.

Analytics

Added to PP
2021-01-08

Downloads
11 (#1,141,291)

6 months
7 (#437,422)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Independence over arbitrary sets in NSOP1 theories.Jan Dobrowolski, Byunghan Kim & Nicholas Ramsey - 2022 - Annals of Pure and Applied Logic 173 (2):103058.
Forking, imaginaries, and other features of.Christian D’elbée - 2021 - Journal of Symbolic Logic 86 (2):669-700.
Three Surprising Instances of Dividing.Gabriel Conant & Alex Kruckman - forthcoming - Journal of Symbolic Logic:1-20.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references