What is the theory ZFC without power set?

What is the theory ZFC without power set?

We show that the theory ZFC, consisting of the usual axioms of ZFC but with the power set axiom removed—specifically axiomatized by extensionality, foundation, pairing, union, infinity, separation, replacement and the assertion that every set can be well-ordered—is weaker than commonly supposed and...

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs:	Gitman, V, Hamkins, J, Johnstone, T
Formaat:	Journal article
Taal:	English
Gepubliceerd in:	Wiley 2016

Gelijkaardige items

ZFC proves that the class of ordinals is not weakly compact for definable classes
door: Enayat, A, et al.
Gepubliceerd in: (2018)

Small sets in convex geometry and formal independence over ZFC
door: Menachem Kojman
Gepubliceerd in: (2005-01-01)

Topology and models of ZFC at early Universe
door: Jerzy Król, et al.
Gepubliceerd in: (2019-07-01)

A Generic Model in Which the Russell-Nontypical Sets Satisfy ZFC Strictly between HOD and the Universe
door: Vladimir Kanovei, et al.
Gepubliceerd in: (2022-02-01)

Optimization of the Guiding Stability of a Horizontal Axis HTS ZFC Radial Levitation Bearing
door: António J. Arsénio, et al.
Gepubliceerd in: (2021-11-01)

Bi-interpretation in weak set theories
door: Freire, AR, et al.
Gepubliceerd in: (2020)

Numerical and Experimental Analysis of the ZFC Heat Release from a YBCO Bulk and Validation of YBCO Thermal Parameters
door: António J. Arsénio Costa, et al.
Gepubliceerd in: (2023-03-01)

Set-theoretic mereology
door: Hamkins, J, et al.
Gepubliceerd in: (2016)

Set-theoretic geology
door: Fuchs, G, et al.
Gepubliceerd in: (2014)

The exact strength of the class forcing theorem
door: Gitman, V, et al.
Gepubliceerd in: (2020)

The modal logic of set-theoretic potentialism and the potentialist maximality principles
door: Hamkins, J, et al.
Gepubliceerd in: (2019)

Correction: ZFC3H1, a Zinc Finger Protein, Modulates IL-8 Transcription by Binding with Celastramycin A, a Potential Immune Suppressor.
door: Takeshi Tomita, et al.
Gepubliceerd in: (2015-01-01)

The C3HC type zinc-finger protein (ZFC3) interacting with Lon/MAP1 is important for mitochondrial gene regulation, infection hypha development and longevity of Magnaporthe oryzae
door: Shaoshuai Liu, et al.
Gepubliceerd in: (2020-01-01)

USE VS ACT, OR WHAT AND HOW IS TESTED IN ENTERING EXEMINATIONS TO UNIVIRSITIES IN RUSSIA AND THE USA
door: Elena K. Gitman, et al.
Gepubliceerd in: (2016-12-01)

A formalization of set theory without variables /
door: 319988 Tarski, Alfred, et al.
Gepubliceerd in: (1987)

What is the role and impact of molecular markers on treatment decisions in the adjuvant setting of colorectal cancer?
door: Johnstone, E, et al.
Gepubliceerd in: (2008)

A multiverse perspective on the axiom of constructibility
door: Hamkins, J
Gepubliceerd in: (2014)

Jensen <inline-formula><math display="inline"><semantics><mrow><msubsup><mo>Δ</mo><mi>n</mi><mn>1</mn></msubsup></mrow></semantics></math></inline-formula> Reals by Means of ZFC and Second-Order Peano Arithmetic
door: Vladimir Kanovei, et al.
Gepubliceerd in: (2024-01-01)

Design and testing of a rotating cryogenic check valve
door: Hamkins, Christopher P.
Gepubliceerd in: (2022)

Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms
door: Longo, Guiseppe
Gepubliceerd in: (2023)

Biodiversity research: data without theory – theory without data
door: Matthias C. Rillig, et al.
Gepubliceerd in: (2015-03-01)

Set theory /
door: 248098 Jech, Thomas J.
Gepubliceerd in: (2003)

Set theory, with an introduction to descriptive set theory /
door: Kuratowski, Kazimierz, 1897-
Gepubliceerd in: (1976)

What if The World without Bees?
door: Zou Jiahui
Gepubliceerd in: (2022-01-01)

The subseries number
door: Brendle, J, et al.
Gepubliceerd in: (2019)

Selection of options for the reconstruction of the power supply system based on the fuzzy sets theory and the crit eria of decision-making theory
door: A. V. Malafeev, et al.
Gepubliceerd in: (2019-06-01)

What is theory?
door: Root Gorelick
Gepubliceerd in: (2011-03-01)

WHAT HAPPEN TO (CURRICULUM) CRITICAL THEORY? THE NEED TO GO ABOVE AND BEYOND NEOLIBERAL RAGE WITHOUT AVOIDING IT
door: JOÃO M. PARASKEVA
Gepubliceerd in: (2019-04-01)

Topos theory /
door: 310234 Johnstone, P. T.
Gepubliceerd in: (1977)

Structural connections between a forcing class and its modal logic
door: Hamkins, J, et al.
Gepubliceerd in: (2015)

To Be Powerful Without the Means of Power
door: Silvia Bottiroli, et al.
Gepubliceerd in: (2022-04-01)

Introduction to set theory /
door: 308492 Monk, J. Donald
Gepubliceerd in: (1969)

Invariant Set Theory: Violating Measurement Independence without Fine Tuning, Conspiracy, Constraints on Free Will or Retrocausality
door: Tim Palmer
Gepubliceerd in: (2015-11-01)

Theory of sets /
door: 437719 Kamke, E.
Gepubliceerd in: (1950)

Set theory /
door: 437376 Jech, Thomas
Gepubliceerd in: (1978)

Set theory /
door: Hausdorff, Felix, 1868-1942
Gepubliceerd in: (1978)

Set Theory
door: Christoph Neidhöfer
Gepubliceerd in: (2005-04-01)

What about TEFL without Method?
door: Fachrurrazy Fachrurrazy
Gepubliceerd in: (2015-09-01)

Design Theory of Equal Split Dual- Band Power Divider without Reactive Elements
door: Natarajamani S, et al.
Gepubliceerd in: (2022-10-01)

Design Theory of Equal Split Dual- Band Power Divider without Reactive Elements
door: Natarajamani S, et al.
Gepubliceerd in: (2022-10-01)