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

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Gitman, V, Hamkins, J, Johnstone, T
Формат:	Journal article
Хэл сонгох:	English
Хэвлэсэн:	Wiley 2016

Ижил төстэй зүйлс

ZFC proves that the class of ordinals is not weakly compact for definable classes
-н: Enayat, A, зэрэг
Хэвлэсэн: (2018)

Small sets in convex geometry and formal independence over ZFC
-н: Menachem Kojman
Хэвлэсэн: (2005-01-01)

Topology and models of ZFC at early Universe
-н: Jerzy Król, зэрэг
Хэвлэсэн: (2019-07-01)

A Generic Model in Which the Russell-Nontypical Sets Satisfy ZFC Strictly between HOD and the Universe
-н: Vladimir Kanovei, зэрэг
Хэвлэсэн: (2022-02-01)

Optimization of the Guiding Stability of a Horizontal Axis HTS ZFC Radial Levitation Bearing
-н: António J. Arsénio, зэрэг
Хэвлэсэн: (2021-11-01)

Bi-interpretation in weak set theories
-н: Freire, AR, зэрэг
Хэвлэсэн: (2020)

Numerical and Experimental Analysis of the ZFC Heat Release from a YBCO Bulk and Validation of YBCO Thermal Parameters
-н: António J. Arsénio Costa, зэрэг
Хэвлэсэн: (2023-03-01)

Set-theoretic mereology
-н: Hamkins, J, зэрэг
Хэвлэсэн: (2016)

Set-theoretic geology
-н: Fuchs, G, зэрэг
Хэвлэсэн: (2014)

The exact strength of the class forcing theorem
-н: Gitman, V, зэрэг
Хэвлэсэн: (2020)

The modal logic of set-theoretic potentialism and the potentialist maximality principles
-н: Hamkins, J, зэрэг
Хэвлэсэн: (2019)

Correction: ZFC3H1, a Zinc Finger Protein, Modulates IL-8 Transcription by Binding with Celastramycin A, a Potential Immune Suppressor.
-н: Takeshi Tomita, зэрэг
Хэвлэсэн: (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
-н: Shaoshuai Liu, зэрэг
Хэвлэсэн: (2020-01-01)

USE VS ACT, OR WHAT AND HOW IS TESTED IN ENTERING EXEMINATIONS TO UNIVIRSITIES IN RUSSIA AND THE USA
-н: Elena K. Gitman, зэрэг
Хэвлэсэн: (2016-12-01)

A formalization of set theory without variables /
-н: 319988 Tarski, Alfred, зэрэг
Хэвлэсэн: (1987)

What is the role and impact of molecular markers on treatment decisions in the adjuvant setting of colorectal cancer?
-н: Johnstone, E, зэрэг
Хэвлэсэн: (2008)

A multiverse perspective on the axiom of constructibility
-н: Hamkins, J
Хэвлэсэн: (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
-н: Vladimir Kanovei, зэрэг
Хэвлэсэн: (2024-01-01)

Design and testing of a rotating cryogenic check valve
-н: Hamkins, Christopher P.
Хэвлэсэн: (2022)

Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms
-н: Longo, Guiseppe
Хэвлэсэн: (2023)

Biodiversity research: data without theory – theory without data
-н: Matthias C. Rillig, зэрэг
Хэвлэсэн: (2015-03-01)

Set theory /
-н: 248098 Jech, Thomas J.
Хэвлэсэн: (2003)

Set theory, with an introduction to descriptive set theory /
-н: Kuratowski, Kazimierz, 1897-
Хэвлэсэн: (1976)

What if The World without Bees?
-н: Zou Jiahui
Хэвлэсэн: (2022-01-01)

The subseries number
-н: Brendle, J, зэрэг
Хэвлэсэн: (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
-н: A. V. Malafeev, зэрэг
Хэвлэсэн: (2019-06-01)

What is theory?
-н: Root Gorelick
Хэвлэсэн: (2011-03-01)

WHAT HAPPEN TO (CURRICULUM) CRITICAL THEORY? THE NEED TO GO ABOVE AND BEYOND NEOLIBERAL RAGE WITHOUT AVOIDING IT
-н: JOÃO M. PARASKEVA
Хэвлэсэн: (2019-04-01)

Topos theory /
-н: 310234 Johnstone, P. T.
Хэвлэсэн: (1977)

Structural connections between a forcing class and its modal logic
-н: Hamkins, J, зэрэг
Хэвлэсэн: (2015)

To Be Powerful Without the Means of Power
-н: Silvia Bottiroli, зэрэг
Хэвлэсэн: (2022-04-01)

Introduction to set theory /
-н: 308492 Monk, J. Donald
Хэвлэсэн: (1969)

Invariant Set Theory: Violating Measurement Independence without Fine Tuning, Conspiracy, Constraints on Free Will or Retrocausality
-н: Tim Palmer
Хэвлэсэн: (2015-11-01)

Theory of sets /
-н: 437719 Kamke, E.
Хэвлэсэн: (1950)

Set theory /
-н: 437376 Jech, Thomas
Хэвлэсэн: (1978)

Set theory /
-н: Hausdorff, Felix, 1868-1942
Хэвлэсэн: (1978)

Set Theory
-н: Christoph Neidhöfer
Хэвлэсэн: (2005-04-01)

What about TEFL without Method?
-н: Fachrurrazy Fachrurrazy
Хэвлэсэн: (2015-09-01)

Design Theory of Equal Split Dual- Band Power Divider without Reactive Elements
-н: Natarajamani S, зэрэг
Хэвлэсэн: (2022-10-01)

Design Theory of Equal Split Dual- Band Power Divider without Reactive Elements
-н: Natarajamani S, зэрэг
Хэвлэсэн: (2022-10-01)