scientific article; zbMATH DE number 3916259

zbMATH Open0574.03040MaRDI QIDQ3691663FDOQ3691663

Authors: J. F. Pabion 

Publication date: 1982

Full work available at URL: http://www.numdam.org/item?id=ASCFM_1982__73_21_15_0

Title of this publication is not available (Why is that?)

Recommendations

• Provable Π 1 2 -Singletons
• Perfect set theorems for $Π^1_2$ in the universe without choice
• Models of Second-Order Zermelo Set Theory
• Definable partitions and reflection properties for regular cardinals
• A definable \(E_0\) class containing no definable elements

zbMATH Keywords

axiomatizationreflection principleminimal modelsordinal definabilityfragments of set theoryanalysis in ZFC

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Axiomatics of classical set theory and its fragments (03E30) Inner models, including constructibility, ordinal definability, and core models (03E45)

Cites Work

• Title not available (Why is that?)
• Set theory. An introduction to large cardinals
• Title not available (Why is that?)
• Title not available (Why is that?)
• On models of arithmetic—Answers to two problems raised by H. Gaifman
• Title not available (Why is that?)
• Title not available (Why is that?)
• Forcing, arithmetic, division rings
• Title not available (Why is that?)
• The forcing companions of number theories
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Models of set theory with definable ordinals
• Models of Second-Order Zermelo Set Theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3691663)