Minimality and completions of PA

Journal of Symbolic Logic 66 (3):1447-1457 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2695117

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

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

Haim Gaifman. Models and types of Peano's arithmetic. Annals of mathematical logic, vol. 9, pp. 223–306. - Julia F. Knight. Omitting types in set theory and arithmetic. The journal of symbolic logic, vol. 41 , pp. 25–32. - Julia F. Knight. Hanf numbers for omitting types over particular theories. The journal of symbolic logic, vol. 41 , pp. 583–588. - Fred G. Abramson and Leo A. Harrington. Models without indiscernibles. The journal of symbolic logic, vol. 41 , vol. 43 , pp. 572–600. [REVIEW]J. P. Ressayre - 1983 - Journal of Symbolic Logic 48 (2):484-485.
Chris Ash, Julia Knight, Mark Manasse, and Theodore Slaman. Generic copies of countable structures. Annals of pure and applied logic, vol. 42 , pp. 195–205. [REVIEW]Ivan N. Soskov - 1993 - Journal of Symbolic Logic 58 (3):1078-1079.
The non-axiomatizability of o-minimality.Alex Rennet - 2014 - Journal of Symbolic Logic 79 (1):54-59.
On canonicity and completions of weakly representable relation algebras.Ian Hodkinson & Szabolcs Mikulás - 2012 - Journal of Symbolic Logic 77 (1):245-262.
Vaught’s Two-Cardinal Theorem and Notions of Minimality in Continuous Logic.Victoria Noquez - 2019 - Bulletin of Symbolic Logic 25 (2):215-216.
Colimit completions and the effective topos.Edmund Robinson & Giuseppe Rosolini - 1990 - Journal of Symbolic Logic 55 (2):678-699.
Generalizations of Deissler's Minimality Rank.T. G. Kucera - 1988 - Journal of Symbolic Logic 53 (1):269-283.
A complete theory with arbitrarily large minimality ranks.Robert E. Woodrow & Julia F. Knight - 1983 - Journal of Symbolic Logic 48 (2):321-328.
Class forcing, the forcing theorem and Boolean completions.Peter Holy, Regula Krapf, Philipp Lücke, Ana Njegomir & Philipp Schlicht - 2016 - Journal of Symbolic Logic 81 (4):1500-1530.
Modality, Minimality, and Many-valuedness.Atwell R. Turquette - 1972 - Journal of Symbolic Logic 37 (4):753-754.

Analytics

Added to PP
2009-01-28

Downloads
51 (#447,550)

6 months
3 (#1,061,821)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references