Definability of satisfaction in outer models

&
Journal of Symbolic Logic 81 (3):1047-1068 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2016.33

Links

PhilArchive



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

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

Nonstandard definability.Stuart T. Smith - 1989 - Annals of Pure and Applied Logic 42 (1):21-43.
Undefinability vs. Definability of Satisfaction and Truth.Roman Murawski - 1999 - Vienna Circle Institute Yearbook 6:203-215.
Review: Kenneth McAloon, On the Sequence of Models $operatorname{HOD}_n$; Thomas J. Jech, Forcing with Trees and Ordinal Definability; Wlodzimierz Zadrozny, Iterating Ordinal Definability. [REVIEW]Rene David - 1987 - Journal of Symbolic Logic 52 (2):570-571.
Troubles with (the concept of) truth in mathematics.Roman Murawski - 2006 - Logic and Logical Philosophy 15 (4):285-303.
The outer consciousness, a biological entity.W. D. Lighthall - 1926 - Montreal,: Witness press.
On definability in multimodal logic: On definability in multimodal logic.Joseph Y. Halpern - 2009 - Review of Symbolic Logic 2 (3):451-468.
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
Definability and automorphisms in abstract logics.Xavier Caicedo - 2004 - Archive for Mathematical Logic 43 (8):937-945.
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
Expressiveness and definability in circumscription.Francicleber Martins Ferreira & Ana Teresa Martins - 2011 - Manuscrito 34 (1):233-266.
A note on definability in fragments of arithmetic with free unary predicates.Stanislav O. Speranski - 2013 - Archive for Mathematical Logic 52 (5-6):507-516.
Some characterization and preservation theorems in modal logic.Tin Perkov - 2012 - Annals of Pure and Applied Logic 163 (12):1928-1939.
Buddhist Belief in Merit (Punña), Buddhist Religiousness and Life Satisfaction Among Thai Buddhists in Bangkok, Thailand.Vanchai Ariyabuddhiphongs - 2009 - Archive for the Psychology of Religion 31 (2):191-213.
Definability in models of set theory.David Guaspari - 1980 - Journal of Symbolic Logic 45 (1):9-19.
Satisfaction relations for proper classes: Applications in logic and set theory.Robert A. Van Wesep - 2013 - Journal of Symbolic Logic 78 (2):345-368.

Analytics

Added to PP
2018-02-09

Downloads
12 (#1,025,624)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Universism and extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - 2021 - Review of Symbolic Logic 14 (1):112-154.

Add more citations

References found in this work

Add more references