Topological forcing semantics with settling

DOI10.1016/j.apal.2011.09.014zbMath1251.03079arXiv1510.00719OpenAlexW2963758906MaRDI QIDQ408537

Robert S. Lubarsky

Publication date: 10 April 2012

Published in: Annals of Pure and Applied Logic, Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.00719

zbMATH Keywords

topologyset theorysemanticsindependence resultsconstructivismweakenings of the power set axiom

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Sheaves in geometry and logic: a first introduction to topos theory
• CZF and second order arithmetic
• On the Constructive Dedekind Reals: Extended Abstract
• Topological representations of distributive lattices and Brouwerian logics
• Proofs of non-deducibility in intuitionistic functional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Topological forcing semantics with settling