A Model of the Generic Vopěnka Principle in Which the Ordinals Are Not ∆2-mahlo

نویسنده

  • VICTORIA GITMAN
چکیده

The generic Vopěnka principle, we prove, is relatively consistent with the ordinals being non-Mahlo. Similarly, the generic Vopěnka scheme is relatively consistent with the ordinals being definably non-Mahlo. Indeed, the generic Vopěnka scheme is relatively consistent with the existence of a ∆2definable class containing no regular cardinals. In such a model, there can be no Σ2-reflecting cardinals and hence also no remarkable cardinals. This latter fact answers negatively a question of Bagaria, Gitman and Schindler.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A model for the "Fuzzy TOPSIS" based on Zadde's extension principle

The TOPSIS process is one of the most comprehensive systems designed for decision making with multiple criteria, since this technique enables formulation of the problem as decision matrix, as well as the possibility of considering different quantitative and qualitative criteria in the problem. Fuzzy TOPSIS methods have been introduced to make fundamental decisions that make decisions decisions ...

متن کامل

Proof Theory and Martin-Löf Type Theory

We give an overview of the historic origins of ordinal theoretic proof theory. We indicate why ordinal theoretic proof theory needs to be supplemented by a second step, namely the proof of the well-foundedness of the ordinal notation systems used in theories, for which we have an argument, that everything derived in them is valid. Such theories serve as a substitute for Hilbert’s finitary metho...

متن کامل

First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo

In this paper first order theories for nonmonotone inductive definitions are introduced, and a proof-theoretic analysis for such theories based on combined operator forms à la Richter with recursively inaccessible and Mahlo closure ordinals is given.

متن کامل

An Investigation of the Generic Features of Research Articles Published in the Bulletin of Iranian Mathematical Society

In light of the understanding that the analysis of the generic features of different academic genres can enhance the ability of non-native members of academic discourse communities to understand, and where appropriate, to produce them, the present study aimed at investigating the dominant generic structure of research articles in mathematics. To start with a relatively narrow focus, a corpus of...

متن کامل

Canonical thermostatics of ideal gas in the frame work of generalized uncertainty principle

The statistical consequences of minimal length supposition are investigated for a canonical ensemble of ideal gas. These effects are encoded in the so-called Generalized Uncertainty Principle (GUP) of the second order. In the frame work of the considered GUP scenario, a unique partition function is obtained by using of two different methods of quantum and classical approaches. It should be noti...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017