A note on nsop1 in one variable

Journal of Symbolic Logic 84 (1):388-392 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2018.83

Links

PhilArchive



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

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

Frank Plumpton Ramsey. On truth. Original manuscript materials from the Ramsey collection at the University of Pittsburgh. Edited by Nicholas Rescher and Ulrich Majer. Episteme, vol. 16. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1991, xxi + 129 pp. [REVIEW]Paul Horwich - 1993 - Journal of Symbolic Logic 58 (2):721-723.
On the number of countable models of a countable nsop1 theory without weight ω.Byunghan Kim - 2019 - Journal of Symbolic Logic 84 (3):1168-1175.
Functional completeness in one variable.James Rosenberg - 1968 - Journal of Symbolic Logic 33 (1):105-106.
Recursive Functions of One Variable.Julia Robinson - 1970 - Journal of Symbolic Logic 35 (3):476-476.
Zero-one laws with variable probability.Joel Spencer - 1993 - Journal of Symbolic Logic 58 (1):1-14.
On formulas of one variable in intuitionistic propositional calculus.Iwao Nishimura - 1960 - Journal of Symbolic Logic 25 (4):327-331.
One-Variable Fragments of First-Order Logics.Petr Cintula, George Metcalfe & Naomi Tokuda - forthcoming - Bulletin of Symbolic Logic:1-23.
A Simple Decision Procedure for One-Variable Implication/Negation Formulae in Intuitionist Logic.Gene F. Rose - 1964 - Journal of Symbolic Logic 29 (4):212-212.
Review: Julia Robinson, Recursive Functions of One Variable. [REVIEW]Martin Davis - 1970 - Journal of Symbolic Logic 35 (3):476-476.
Ramsey cardinals and constructibility.William Mitchell - 1979 - Journal of Symbolic Logic 44 (2):260-266.

Analytics

Added to PP
2019-03-16

Downloads
12 (#1,095,929)

6 months
2 (#1,445,320)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nicholas Ramsey
University of California, Los Angeles

Citations of this work

On the antichain tree property.JinHoo Ahn, Joonhee Kim & Junguk Lee - 2022 - Journal of Mathematical Logic 23 (2).

Add more citations

References found in this work

Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
On model-theoretic tree properties.Artem Chernikov & Nicholas Ramsey - 2016 - Journal of Mathematical Logic 16 (2):1650009.
On ◁∗-maximality.Mirna Džamonja & Saharon Shelah - 2004 - Annals of Pure and Applied Logic 125 (1-3):119-158.
A remark on the strict order property.A. H. Lachlan - 1975 - Mathematical Logic Quarterly 21 (1):69-70.

Add more references