Random Amalgamation of Simple Theories

Mathematical Logic Quarterly 47 (1):45-50 (2001)
  Copy   BIBTEX

Abstract

Let T1 and T2 be two simple complete theories in disjoint languages. We prove that there is a simple complete theory which extends T1 ∪ T2 if T2 has a certain condition

Categories

Keywords

Reprint years

DOI

10.1002/1521-3870(200101)47:1

Links

PhilArchive



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

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

Fusion over a vector space.Andreas Baudisch, Amador Martin-Pizarro & Martin Ziegler - 2006 - Journal of Mathematical Logic 6 (2):141-162.
Disjoint $n$ -Amalgamation and Pseudofinite Countably Categorical Theories.Alex Kruckman - 2019 - Notre Dame Journal of Formal Logic 60 (1):139-160.
Prediction in Branching Time Logic.Giacomo Bonanno - 2001 - Mathematical Logic Quarterly 47 (2):239-248.
n-Simple theories.Alexei S. Kolesnikov - 2005 - Annals of Pure and Applied Logic 131 (1-3):227-261.
Using Aristotle's Philosophy of Mathematics to Understand the Scope of Hypothetical and Simple Necessity in His Philosophy of Biology.David Clair Williams - 2000 - Dissertation, The University of Utah
Mutual definability does not imply definitional equivalence, a simple example.Hajnal Andréka, Judit X. Madarász & István Németi - 2005 - Mathematical Logic Quarterly 51 (6):591-597.
A note on stationarity of types over models in simple theories.Makoto Kobayashi & Akito Tsuboi - 2008 - Mathematical Logic Quarterly 54 (6):625-628.
On Amalgamation in NTP2 Theories and Generically Simple Generics.Pierre Simon - 2020 - Notre Dame Journal of Formal Logic 61 (2):233-243.
Generalized amalgamation and n -simplicity.Byunghan Kim, Alexei S. Kolesnikov & Akito Tsuboi - 2008 - Annals of Pure and Applied Logic 155 (2):97-114.
On Kueker simple theories.Ziv Shami - 2005 - Journal of Symbolic Logic 70 (1):216-222.

Analytics

Added to PP
2013-12-01

Downloads
2 (#1,819,493)

6 months
25 (#118,899)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Adding linear orders.Saharon Shelah & Pierre Simon - 2012 - Journal of Symbolic Logic 77 (2):717-725.

Add more citations

References found in this work

No references found.

Add more references