The formal verification of the ctm approach to forcing

, , &
Annals of Pure and Applied Logic 175 (5):103413 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2024.103413

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

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

An axiomatic approach to forcing in a general setting.Rodrigo A. Freire & Peter Holy - 2022 - Bulletin of Symbolic Logic 28 (3):427-450.
Forcing with Sequences of Models of Two Types.Itay Neeman - 2014 - Notre Dame Journal of Formal Logic 55 (2):265-298.
More Notions of Forcing Add a Souslin Tree.Ari Meir Brodsky & Assaf Rinot - 2019 - Notre Dame Journal of Formal Logic 60 (3):437-455.
Modal and Temporal Properties of Processes.Colin Stirling - 2001 - Springer Verlag.
Essential Forcing Generics.Stephanie Cawthorne & David Kueker - 2000 - Notre Dame Journal of Formal Logic 41 (1):41-52.
Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
The Subjective Roots of Forcing Theory and Their Influence in Independence Results.Stathis Livadas - 2015 - Axiomathes 25 (4):433-455.
The Consistency Strength of M P C C C.George Leibman - 2010 - Notre Dame Journal of Formal Logic 51 (2):181-193.
Grigorieff Forcing on Uncountable Cardinals Does Not Add a Generic of Minimal Degree.Brooke M. Andersen & Marcia J. Groszek - 2009 - Notre Dame Journal of Formal Logic 50 (2):195-200.
Methodology of Computer Science.Timothy Colburn - 2004 - In Luciano Floridi (ed.), The Blackwell Guide to the Philosophy of Computing and Information. Oxford, UK: Blackwell. pp. 318–326.
Distributive proper forcing axiom and cardinal invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.
Projective absoluteness for Sacks forcing.Daisuke Ikegami - 2009 - Archive for Mathematical Logic 48 (7):679-690.
Forcing operators on MTL-algebras.George Georgescu & Denisa Diaconescu - 2011 - Mathematical Logic Quarterly 57 (1):47-64.
Sweet & sour and other flavours of ccc forcing notions.Andrzej Rosłanowski & Saharon Shelah - 2004 - Archive for Mathematical Logic 43 (5):583-663.
Introducing H, an Institution-Based Formal Specification and Verification Language.Răzvan Diaconescu - 2020 - Logica Universalis 14 (2):259-277.

Analytics

Added to PP
2024-02-01

Downloads
11 (#1,141,291)

6 months
11 (#242,683)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
A formalised theorem in the partition calculus.Lawrence C. Paulson - 2024 - Annals of Pure and Applied Logic 175 (1):103246.
Mathias and set theory.Akihiro Kanamori - 2016 - Mathematical Logic Quarterly 62 (3):278-294.

View all 6 references / Add more references