Henkin constructions of models with size continuum

Bulletin of Symbolic Logic 25 (1):1-33 (2019)
  Copy   BIBTEX

Abstract

We describe techniques for constructing models of size continuum inωsteps by simultaneously building a perfect set of enmeshed countable Henkin sets. Such models have perfect, asymptotically similar subsets. We survey applications involving Borel models, atomic models, two-cardinal transfers and models respecting various closure relations.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Almost disjoint families and diagonalizations of length continuum.Dilip Raghavan - 2010 - Bulletin of Symbolic Logic 16 (2):240 - 260.
Neurological models of size scaling.Helen E. Ross - 2003 - Behavioral and Brain Sciences 26 (4):425-425.
On the strong Martin conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.
Explicit Henkin sentences.Robert M. Solovay - 1985 - Journal of Symbolic Logic 50 (1):91-93.
Strongly meager sets of size continuum.Tomek Bartoszynski & Saharon Shelah - 2003 - Archive for Mathematical Logic 42 (8):769-779.
Spectra of Formulae with Henkin Quantifiers.Joanna Golińska & Konrad Zdanowski - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 29--45.
Kripke-style models for typed lambda calculus.John C. Mitchell & Eugenio Moggi - 1991 - Annals of Pure and Applied Logic 51 (1-2):99-124.
On the Strong Martin Conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.
An approach to the modelling of the physical continuum.Richard Jozsa - 1986 - British Journal for the Philosophy of Science 37 (4):395-404.
An Ehrenfeucht‐Fraïssé class game.Wafik Boulos Lotfallah - 2004 - Mathematical Logic Quarterly 50 (2):179-188.
A Remark on Henkin Sentences and Their Contraries.John P. Burgess - 2003 - Notre Dame Journal of Formal Logic 44 (3):185-188.
Tiny models of categorical theories.M. C. Laskowski, A. Pillay & P. Rothmaler - 1992 - Archive for Mathematical Logic 31 (6):385-396.

Analytics

Added to PP
2019-04-03

Downloads
11 (#976,244)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Explanation, independence and realism in mathematics.Michael D. Resnik & David Kushner - 1987 - British Journal for the Philosophy of Science 38 (2):141-158.
Tree indiscernibilities, revisited.Byunghan Kim, Hyeung-Joon Kim & Lynn Scow - 2014 - Archive for Mathematical Logic 53 (1-2):211-232.
Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.
On quasiminimal excellent classes.Jonathan Kirby - 2010 - Journal of Symbolic Logic 75 (2):551-564.

View all 11 references / Add more references