K-continuous lattices and comprehension principles for Frege structures

Annals of Pure and Applied Logic 36:1-16 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(87)90008-x

Links

PhilArchive



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

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

Lattices of c-degrees.Robert S. Lubarsky - 1987 - Annals of Pure and Applied Logic 36:115-118.
Implication and analysis in classical frege structures.Robert C. Flagg & John Myhill - 1987 - Annals of Pure and Applied Logic 34 (1):33-85.
Using ultrapowers to compare continuous structures.H. Jerome Keisler - forthcoming - Annals of Pure and Applied Logic.
Some highly undecidable lattices.Menachem Magidor, John W. Rosenthal, Mattiyahu Rubin & Gabriel Srour - 1990 - Annals of Pure and Applied Logic 46 (1):41-63.
Automorphisms of substructure lattices in recursive algebra.David R. Guichard - 1983 - Annals of Pure and Applied Logic 25 (1):47-58.
No finite axiomatizations for posets embeddable into distributive lattices.Rob Egrot - 2018 - Annals of Pure and Applied Logic 169 (3):235-242.
Undecidability of L(F∞) and other lattices of r.e. substructures.R. G. Downey - 1986 - Annals of Pure and Applied Logic 32:17-26.
Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Mathematical Logic Quarterly 38 (1):107-141.
Beyond abstract elementary classes: On the model theory of geometric lattices.Tapani Hyttinen & Gianluca Paolini - 2018 - Annals of Pure and Applied Logic 169 (2):117-145.
Correction to “undecidability of L(F∞) and other lattices of r.e. substructures”.Rod Downey - 1990 - Annals of Pure and Applied Logic 48 (3):299-301.

Analytics

Added to PP
2014-01-16

Downloads
8 (#517,646)

6 months
5 (#1,552,255)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Positive Frege and its Scott‐style semantics.Thierry Libert - 2008 - Mathematical Logic Quarterly 54 (4):410-434.
A type-free system extending.John Myhill & Bob Flagg - 1989 - Annals of Pure and Applied Logic 43 (1):79-97.

Add more citations

References found in this work

Frege Structures and the notions of proposition, truth and set.Peter Aczel - 1980 - Journal of Symbolic Logic 51 (1):244-246.

Add more references