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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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.
Topological models of epistemic set theory.Nicolas D. Goodman - 1990 - Annals of Pure and Applied Logic 46 (2):147-167.
Globalization of intui tionistic set theory.Gaisi Takeuti & Satoko Titani - 1987 - Annals of Pure and Applied Logic 33 (C):195-211.
Realisability for infinitary intuitionistic set theory.Merlin Carl, Lorenzo Galeotti & Robert Passmann - 2023 - Annals of Pure and Applied Logic 174 (6):103259.
Some applications of positive formulas in descriptive set theory and logic.Stephen Dyck - 1990 - Annals of Pure and Applied Logic 46 (2):95-146.
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.
Some descriptive set theory and core models.P. D. Welch - 1988 - Annals of Pure and Applied Logic 39 (3):273-290.
Automorphisms of models of set theory and extensions of NFU.Zachiri McKenzie - 2015 - Annals of Pure and Applied Logic 166 (5):601-638.

Analytics

Added to PP
2023-06-02

Downloads
11 (#1,149,542)

6 months
4 (#1,006,434)

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