The Construction of A Definable Non‐Categorical Domain

Mathematical Logic Quarterly 37 (13‐16):217-226 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19910371305

Links

PhilArchive



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

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 Usual Model Construction for NFU Preserves Information.M. Randall Holmes - 2012 - Notre Dame Journal of Formal Logic 53 (4):571-580.
Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
Applications of Kolmogorov Complexity to Computable Model Theory.B. Khoussainov, P. Semukhin & F. Stephan - 2007 - Journal of Symbolic Logic 72 (3):1041 - 1054.
An Integer Construction of Infinitesimals: Toward a Theory of Eudoxus Hyperreals.Alexandre Borovik, Renling Jin & Mikhail G. Katz - 2012 - Notre Dame Journal of Formal Logic 53 (4):557-570.
Expansions of ordered fields without definable gaps.Jafar S. Eivazloo & Mojtaba Moniri - 2003 - Mathematical Logic Quarterly 49 (1):72-82.
A weakly definable type which is not definable.James H. Schmerl - 1993 - Archive for Mathematical Logic 32 (6):463-468.
Definability of groups in ℵ₀-stable metric structures.Itaï Ben Yaacov - 2010 - Journal of Symbolic Logic 75 (3):817-840.
Groups, group actions and fields definable in first‐order topological structures.Roman Wencel - 2012 - Mathematical Logic Quarterly 58 (6):449-467.
On relationships between algebraic properties of groups and rings in some model-theoretic contexts.Krzysztof Krupiński - 2011 - Journal of Symbolic Logic 76 (4):1403-1417.
Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.
The geometry of forking and groups of finite Morley rank.Anand Pillay - 1995 - Journal of Symbolic Logic 60 (4):1251-1259.
Informal biology is a core domain, but its construction needs experience.Giyoo Hatano - 1998 - Behavioral and Brain Sciences 21 (4):575-575.
On the Type-Definability of the Binding Group in Simple Theories.Bradd Hart & Ziv Shami - 2005 - Journal of Symbolic Logic 70 (2):379 - 388.

Analytics

Added to PP
2013-12-01

Downloads
2 (#1,813,371)

6 months
1 (#1,501,709)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Set theory.Thomas Jech - 1981 - Journal of Symbolic Logic.
Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
Consistency results about ordinal definability.Kenneth McAloon - 1971 - Annals of Mathematical Logic 2 (4):449.

Add more references