Iterating symmetric extensions

Journal of Symbolic Logic 84 (1):123-159 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2018.73

Links

PhilArchive



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

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

Realizing realizability results with classical constructions.Asaf Karagila - 2019 - Bulletin of Symbolic Logic 25 (4):429-445.
Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse.Amitayu Banerjee - 2020 - Mathematical Logic Quarterly 66 (3):259-279.
On Symmetric Functions of m Symmetric Functions in a Boolean Algebra.S. Pankajam - 1939 - Journal of Symbolic Logic 4 (3):124-124.
Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations.Sebastian Gottifredi, Andrea Cohen, Alejandro J. García & Guillermo R. Simari - 2018 - Artificial Intelligence 262 (C):336-368.
A Splitting Logic in NExt.Yutaka Miyazaki - 2007 - Studia Logica 85 (3):381-394.
A splitting logic in NExt(KTB).Yutaka Miyazaki - 2007 - Studia Logica 85 (3):381 - 394.
On reduction to a symmetric relation.William Craig & W. V. Quine - 1952 - Journal of Symbolic Logic 17 (3):188.
On a four-valued modal logic with deductive implication.Marcelo E. Coniglio & Martín Figallo - 2014 - Bulletin of the Section of Logic 43 (1/2):1-18.
Reduction to a symmetric predicate.Alan Cobham - 1956 - Journal of Symbolic Logic 21 (1):56-59.
A Symmetric Form of Godel's Theorem.S. C. Kleene - 1951 - Journal of Symbolic Logic 16 (2):147-147.

Analytics

Added to PP
2019-03-16

Downloads
18 (#826,262)

6 months
8 (#506,113)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Realizing realizability results with classical constructions.Asaf Karagila - 2019 - Bulletin of Symbolic Logic 25 (4):429-445.
Does Imply, Uniformly?Alessandro Andretta & Lorenzo Notaro - forthcoming - Journal of Symbolic Logic:1-25.
Canonical Truth.Merlin Carl & Philipp Schlicht - 2022 - Axiomathes 32 (3):785-803.

Add more citations

References found in this work

Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
An independence result concerning the axiom of choice.Gershon Sageev - 1975 - Annals of Mathematical Logic 8 (1-2):1-184.
The Bristol model: An abyss called a Cohen real.Asaf Karagila - 2018 - Journal of Mathematical Logic 18 (2):1850008.

Add more references