Top 1: Update with Centering

Abstract

UPDATE WITH NOMINAL CENTERING (UCδ) D1.0 (UCδ types) The set of UCδ types Θ is the smallest set such that: i. t, δ, s ∈ Θ ii. (ab) ∈ Θ, if a, b ∈ Θ D1.1 (UCδ basic terms). For each a ∈ Θ, a set of a-constants Cona and a-variables Vara, incl.: Conδ = {a, b, c} Var(sδ) = {x, y, z}

Other Versions

No versions found

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Bases for Structures and Theories II.Jeffrey Ketland - 2020 - Logica Universalis 14 (4):461-479.
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
On the existence of regular types.Saharon Shelah & Steven Buechler - 1989 - Annals of Pure and Applied Logic 45 (3):277-308.
Partial near supercompactness.Jason Aaron Schanker - 2013 - Annals of Pure and Applied Logic 164 (2):67-85.
On the number of models of uncountable theories.Ambar Chowdhury & Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1285-1300.
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
2010-09-23

Downloads
1 (#1,945,614)

6 months
1 (#1,889,092)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references