Bi-colored expansions of geometric theories

, &
Annals of Pure and Applied Logic 176 (2):103525 (2025)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2024.103525

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Generic Expansions of Geometric Theories.Somaye Jalili, Massoud Pourmahdian & Nazanin Roshandel Tavana - forthcoming - Journal of Symbolic Logic:1-22.
Leloup, G., Rings of monoids elementarily equivalent to polynomial rings Miller, C., Expansions of the real field with power functions Ozawa, M., Forcing in nonstandard analysis Rathjen, M., Proof theory of reflection. [REVIEW]L. D. Beklemishev, O. V. Belegradek, K. J. Davey & J. L. Krivine - 1994 - Annals of Pure and Applied Logic 68:343.
Ardeshir, M., Ruitenburg, W. and Salehi, S., Intuitionistic.C. Areces, P. Blackburn, M. Marx, S. Cook, A. Kolokolova, T. Coquand, G. Sambin, J. Smith, S. Valentini & P. Dybjer - 2003 - Annals of Pure and Applied Logic 124:301.
The universality spectrum of stable unsuperstable theories.Menachem Kojman & Saharon Shelah - 1992 - Annals of Pure and Applied Logic 58 (1):57-72.
Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms.Giuseppe Longo - 1983 - Annals of Pure and Applied Logic 24 (2):153.
Orbits of subsets of the monster model and geometric theories.Enrique Casanovas & Luis Jaime Corredor - 2017 - Annals of Pure and Applied Logic 168 (12):2152-2163.
Boolean pairs formed by the Δn0-sets.E. Herrmann - 1997 - Annals of Pure and Applied Logic 87 (2):145-149.
Stability in geometric theories.Jerry Gagelman - 2005 - Annals of Pure and Applied Logic 132 (2-3):313-326.
More on SOP 1 and SOP 2.Saharon Shelah & Alexander Usvyatsov - 2008 - Annals of Pure and Applied Logic 155 (1):16-31.

Analytics

Added to PP
2024-10-20

Downloads
7 (#1,637,090)

6 months
7 (#706,906)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Macan Moslem-Khani
Kharazmi University
Surush Jalili
University of Tehran

Citations of this work

No citations found.

Add more citations

References found in this work

Generic structures and simple theories.Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):71-92.
Stable generic structures.John T. Baldwin & Niandong Shi - 1996 - Annals of Pure and Applied Logic 79 (1):1-35.
Laforte, G., see Downey, R.T. Arai, Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):287.
On definable subsets of p-adic fields.Angus MacIntyre - 1976 - Journal of Symbolic Logic 41 (3):605-610.

View all 11 references / Add more references