On the Semantics of the Constructible Levels

Mathematical Logic Quarterly 16 (2):139-148 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19700160204

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

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

The cumulative hierarchy and the constructible universe of ZFA.Matteo Viale - 2004 - Mathematical Logic Quarterly 50 (1):99.
Degrees of unsolvability of constructible sets of integers.George Boolos & Hilary Putnam - 1968 - Journal of Symbolic Logic 33 (4):497-513.
Semantics of openmath and mathml.Michael Kohlhase - unknown
Rumely Domains with Atomic Constructible Boolean Algebra. An Effective Viewpoint.Claude Sureson - 2007 - Notre Dame Journal of Formal Logic 48 (3):399-423.
Descriptive Atomism and Foundational Holism: Semantics between the Old Testament and the New.Henry Jackman - 2005 - ProtoSociology 21:5-19.
Syntax, semantics, and levels of explanation.Jose Luis Bermudez - 1995 - Philosophical Quarterly 45 (180):361-367.
A hierarchical framework for levels of reality: Understanding through representation. [REVIEW]Stanley N. Salthe - 2009 - Axiomathes 19 (1):87-99.
Depth of intention.Ingemund Gullvåg - 1983 - Inquiry: An Interdisciplinary Journal of Philosophy 26 (1):31 – 83.
The semantics of syntax: a minimalist approach to grammar.Denis Bouchard - 1995 - Chicago, Ill.: University of Chicago Press.
Partial Up and Down Logic.Jan O. M. Jaspars - 1995 - Notre Dame Journal of Formal Logic 36 (1):134-157.
Levels of knowing and existence.Harry L. Weinberg - 1959 - New York,: Harper.
Two levels of semantics (Frege, Carnap).J. Peregrin - 2003 - Filosoficky Casopis 51 (4):547-565.
Kripke bundle semantics and c-set semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
Characterising subsets of ω1 constructible from a real.P. D. Welch - 1994 - Journal of Symbolic Logic 59 (4):1420 - 1432.

Analytics

Added to PP
2013-11-24

Downloads
8 (#1,243,760)

6 months
4 (#678,769)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some observations on truth hierarchies.P. D. Welch - 2014 - Review of Symbolic Logic 7 (1):1-30.
The distribution of ITRM-recognizable reals.Merlin Carl - 2014 - Annals of Pure and Applied Logic 165 (9):1403-1417.
Ordinal definability in the rank hierarchy.John W. Dawson - 1973 - Annals of Mathematical Logic 6 (1):1.
Countably decomposable admissible sets.Menachem Magidor, Saharon Shelah & Jonathan Stavi - 1984 - Annals of Pure and Applied Logic 26 (3):287-361.

View all 6 citations / Add more citations

References found in this work

A survey of Mathematical logic.Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.
A Survey of Mathematical Logic. [REVIEW]Georg Kreisel - 1966 - Philosophical Review 75 (2):240-244.

Add more references