On certain maximality principles
author
Abstract:
We present streamlined proofs of certain maximality principles studied by Hamkins and Woodin. Moreover, we formulate an intermediate maximality principle, which is shown here to be equiconsistent with the existence of a weakly compact cardinal $kappa$ such that $V_{kappa}prec V$.
similar resources
On a Class of Maximality Principles
We study various classes of maximality principles, MP(κ,Γ), introduced by J.D. Hamkins in [6], where Γ defines a class of forcing posets and κ is an infinite cardinal. We explore the consistency strength and the relationship of MP(κ,Γ) with various forcing axioms when κ ∈ {ω, ω1}. In particular, we give a characterization of bounded forcing axioms for a class of forcings Γ in terms of maximalit...
full textConsistency Strengths of Modified Maximality Principles
The Maximality Principle mp is a scheme which states that if a sentence of the language of zfc is true in some forcing extension V , and remains true in any further forcing extension of V , then it is true in all forcing extensions of V . A modified maximality principle mpΓ arises when considering forcing with a particular class Γ of forcing notions. A parametrized form of such a principle, mpΓ...
full textClosed maximality principles: implications, separations and combinations
I investigate versions of the Maximality Principles for the classes of forcings which are <κ-closed, <κ-directed-closed, or of the form Col(κ,< λ). These principles come in many variants, depending on the parameters which are allowed. I shall write MPΓ(A) for the maximality principle for forcings in Γ, with parameters from A. The main results of this paper are: • The principles have many conseq...
full textCombined Maximality Principles up to large cardinals
The motivation for this paper is the following: In [Fuc08] I showed that it is inconsistent with ZFC that the maximality principle for closed forcings holds at unboundedly many regular cardinals κ (even only allowing κ itself as a parameter in the maximality principle for <κ-closed forcings each time). So the question is whether it is consistent to have this principle at unboundedly many regula...
full textOn Foreman's Maximality Principle
In this paper we consider Foreman’s maximality principle, which says that any non-trivial forcing notion either adds a new real or collapses some cardinals. We prove the consistency of some of its consequences. We observe that it is consistent that every c.c.c. forcing adds a real and that for every uncountable regular cardinal κ, every κ-closed forcing of size 2<κ collapses some cardinal.
full textCertain Principles of Biomorphic Robots
Figure 1. Biped used in the visual control of gait experiments. Abstract-The field of biomorphic robotics can advance as quickly as clear principles of biological systems can be identified, implemented, and tested in robotic devices. Here, we describe the implementation of three principles: (1) The prediction of the sensory consequences of movement and its role in the extraction of novelty and ...
full textMy Resources
Journal title
volume 43 issue 5
pages 1259- 1264
publication date 2017-10-31
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023