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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Gitman, V, Hamkins, J, Johnstone, T
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	Wiley 2016

Míreanna comhchosúla

ZFC proves that the class of ordinals is not weakly compact for definable classes
de réir: Enayat, A, et al.
Foilsithe / Cruthaithe: (2018)

Small sets in convex geometry and formal independence over ZFC
de réir: Menachem Kojman
Foilsithe / Cruthaithe: (2005-01-01)

Topology and models of ZFC at early Universe
de réir: Jerzy Król, et al.
Foilsithe / Cruthaithe: (2019-07-01)

A Generic Model in Which the Russell-Nontypical Sets Satisfy ZFC Strictly between HOD and the Universe
de réir: Vladimir Kanovei, et al.
Foilsithe / Cruthaithe: (2022-02-01)

Optimization of the Guiding Stability of a Horizontal Axis HTS ZFC Radial Levitation Bearing
de réir: António J. Arsénio, et al.
Foilsithe / Cruthaithe: (2021-11-01)

Bi-interpretation in weak set theories
de réir: Freire, AR, et al.
Foilsithe / Cruthaithe: (2020)

Numerical and Experimental Analysis of the ZFC Heat Release from a YBCO Bulk and Validation of YBCO Thermal Parameters
de réir: António J. Arsénio Costa, et al.
Foilsithe / Cruthaithe: (2023-03-01)

Set-theoretic mereology
de réir: Hamkins, J, et al.
Foilsithe / Cruthaithe: (2016)

Set-theoretic geology
de réir: Fuchs, G, et al.
Foilsithe / Cruthaithe: (2014)

The exact strength of the class forcing theorem
de réir: Gitman, V, et al.
Foilsithe / Cruthaithe: (2020)

The modal logic of set-theoretic potentialism and the potentialist maximality principles
de réir: Hamkins, J, et al.
Foilsithe / Cruthaithe: (2019)

Correction: ZFC3H1, a Zinc Finger Protein, Modulates IL-8 Transcription by Binding with Celastramycin A, a Potential Immune Suppressor.
de réir: Takeshi Tomita, et al.
Foilsithe / Cruthaithe: (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
de réir: Shaoshuai Liu, et al.
Foilsithe / Cruthaithe: (2020-01-01)

USE VS ACT, OR WHAT AND HOW IS TESTED IN ENTERING EXEMINATIONS TO UNIVIRSITIES IN RUSSIA AND THE USA
de réir: Elena K. Gitman, et al.
Foilsithe / Cruthaithe: (2016-12-01)

A formalization of set theory without variables /
de réir: 319988 Tarski, Alfred, et al.
Foilsithe / Cruthaithe: (1987)

What is the role and impact of molecular markers on treatment decisions in the adjuvant setting of colorectal cancer?
de réir: Johnstone, E, et al.
Foilsithe / Cruthaithe: (2008)

A multiverse perspective on the axiom of constructibility
de réir: Hamkins, J
Foilsithe / Cruthaithe: (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
de réir: Vladimir Kanovei, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Design and testing of a rotating cryogenic check valve
de réir: Hamkins, Christopher P.
Foilsithe / Cruthaithe: (2022)

Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms
de réir: Longo, Guiseppe
Foilsithe / Cruthaithe: (2023)

Biodiversity research: data without theory – theory without data
de réir: Matthias C. Rillig, et al.
Foilsithe / Cruthaithe: (2015-03-01)

Set theory /
de réir: 248098 Jech, Thomas J.
Foilsithe / Cruthaithe: (2003)

Set theory, with an introduction to descriptive set theory /
de réir: Kuratowski, Kazimierz, 1897-
Foilsithe / Cruthaithe: (1976)

What if The World without Bees?
de réir: Zou Jiahui
Foilsithe / Cruthaithe: (2022-01-01)

The subseries number
de réir: Brendle, J, et al.
Foilsithe / Cruthaithe: (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
de réir: A. V. Malafeev, et al.
Foilsithe / Cruthaithe: (2019-06-01)

What is theory?
de réir: Root Gorelick
Foilsithe / Cruthaithe: (2011-03-01)

WHAT HAPPEN TO (CURRICULUM) CRITICAL THEORY? THE NEED TO GO ABOVE AND BEYOND NEOLIBERAL RAGE WITHOUT AVOIDING IT
de réir: JOÃO M. PARASKEVA
Foilsithe / Cruthaithe: (2019-04-01)

Topos theory /
de réir: 310234 Johnstone, P. T.
Foilsithe / Cruthaithe: (1977)

Structural connections between a forcing class and its modal logic
de réir: Hamkins, J, et al.
Foilsithe / Cruthaithe: (2015)

To Be Powerful Without the Means of Power
de réir: Silvia Bottiroli, et al.
Foilsithe / Cruthaithe: (2022-04-01)

Introduction to set theory /
de réir: 308492 Monk, J. Donald
Foilsithe / Cruthaithe: (1969)

Invariant Set Theory: Violating Measurement Independence without Fine Tuning, Conspiracy, Constraints on Free Will or Retrocausality
de réir: Tim Palmer
Foilsithe / Cruthaithe: (2015-11-01)

Theory of sets /
de réir: 437719 Kamke, E.
Foilsithe / Cruthaithe: (1950)

Set theory /
de réir: 437376 Jech, Thomas
Foilsithe / Cruthaithe: (1978)

Set theory /
de réir: Hausdorff, Felix, 1868-1942
Foilsithe / Cruthaithe: (1978)

Set Theory
de réir: Christoph Neidhöfer
Foilsithe / Cruthaithe: (2005-04-01)

What about TEFL without Method?
de réir: Fachrurrazy Fachrurrazy
Foilsithe / Cruthaithe: (2015-09-01)

Design Theory of Equal Split Dual- Band Power Divider without Reactive Elements
de réir: Natarajamani S, et al.
Foilsithe / Cruthaithe: (2022-10-01)

Design Theory of Equal Split Dual- Band Power Divider without Reactive Elements
de réir: Natarajamani S, et al.
Foilsithe / Cruthaithe: (2022-10-01)