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: 91,571

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

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.
A splitting logic in NExt(KTB).Yutaka Miyazaki - 2007 - Studia Logica 85 (3):381 - 394.
A Splitting Logic in NExt.Yutaka Miyazaki - 2007 - Studia Logica 85 (3):381-394.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
The equivalence of bar recursion and open recursion.Thomas Powell - 2014 - Annals of Pure and Applied Logic 165 (11):1727-1754.
The Church-Rosser property in symmetric combinatory logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536-556.
Compatible Functions in Algebras Associated to Extensions of Positive Logic.Rodolfo Ertola, Adriana Galli & Marta Sagastuma - 2007 - Logic Journal of the IGPL 15 (1):109-119.
Quantization by parts, self-adjoint extensions, and a novel derivation of the Josephson equation in superconductivity.K. Kong Wan & R. H. Fountain - 1996 - Foundations of Physics 26 (9):1165-1199.
Nash Bargaining Theory, Nonconvex Problems and Social Welfare Orderings.Vincenzo Denicolò & Marco Mariotti - 2000 - Theory and Decision 48 (4):351-358.
Determination of symmetric VL1 formulas: algorithm and program SYM4.Gerald M. Jenson - 1975 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
"On The Origins of Order: Non-Symmetric or Only Symmetric Relations?".Fraser MacBride - 2015 - In M. J. Loux & G. Galuzzo (eds.), The Problem of Universals in Contemporary Philosophy. Cambridge University Press. pp. 173-94.
Neutral relations revisited.Fraser MacBride - 2007 - Dialectica 61 (1):25–56.
A Gap Cohomology Group.Charles Morgan - 1995 - Mathematical Logic Quarterly 41 (4):564-570.
Free and Projective Bimodal Symmetric Gödel Algebras.Revaz Grigolia, Tatiana Kiseliova & Vladimer Odisharia - 2016 - Studia Logica 104 (1):115-143.
On pseudo cyclic Ricci symmetric manifolds admitting semi-symmetric metric connection.Absos Ali Shaikh & Shyamal Kumar Hui - 2010 - Scientia 20:73-80.

Analytics

Added to PP
2019-03-16

Downloads
18 (#826,353)

6 months
8 (#351,349)

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.
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