Krull dimension in set theory

Annals of Pure and Applied Logic 174 (9):103299 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103299

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,619

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

Itay Neeman and Jindřich Zapletal. Proper forcings and absoluteness in L. Commentationes mathematicae Universitatis Carolinae, vol. 39 , pp. 281–301. - Itay Neeman and Jindřich Zapletal. Proper forcing and L. The journal of symbolic logic, vol. 66 , pp. 801–810. [REVIEW]Paul B. Larson - 2002 - Bulletin of Symbolic Logic 8 (4):548-550.
Realizability and recursive set theory.Charles McCarty - 1986 - Annals of Pure and Applied Logic 32:153-183.
Strong reducibilities and set theory.Noah Schweber - 2025 - Annals of Pure and Applied Logic 176 (2):103522.
Realisability for infinitary intuitionistic set theory.Merlin Carl, Lorenzo Galeotti & Robert Passmann - 2023 - Annals of Pure and Applied Logic 174 (6):103259.
Globalization of intui tionistic set theory.Gaisi Takeuti & Satoko Titani - 1987 - Annals of Pure and Applied Logic 33 (C):195-211.
Topological models of epistemic set theory.Nicolas D. Goodman - 1990 - Annals of Pure and Applied Logic 46 (2):147-167.
Some applications of positive formulas in descriptive set theory and logic.Stephen Dyck - 1990 - Annals of Pure and Applied Logic 46 (2):95-146.
Automorphisms of models of set theory and extensions of NFU.Zachiri McKenzie - 2015 - Annals of Pure and Applied Logic 166 (5):601-638.
A constructive consistency proof of a fragment of set theory.Jon Pearce - 1984 - Annals of Pure and Applied Logic 27 (1):25-62.
Ideal topologies in higher descriptive set theory.Peter Holy, Marlene Koelbing, Philipp Schlicht & Wolfgang Wohofsky - 2022 - Annals of Pure and Applied Logic 173 (4):103061.

Analytics

Added to PP
2023-06-02

Downloads
17 (#1,138,175)

6 months
5 (#1,011,641)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Coloring Isosceles Triangles in Choiceless Set Theory.Yuxin Zhou - forthcoming - Journal of Symbolic Logic:1-30.

Add more citations

References found in this work

Model Theory: An Introduction.David Marker - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.
Tame Topology and O-Minimal Structures.Lou van den Dries - 2000 - Bulletin of Symbolic Logic 6 (2):216-218.

Add more references