Relevant bibliographies by topics / Iterated forcing

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Iterated forcing'

Author: Grafiati
Published: 1 February 2025
Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Iterated forcing.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Iterated forcing"

1

Friedman, Sy D. "Iterated Class Forcing." Mathematical Research Letters 1, no. 4 (1994): 427–36. http://dx.doi.org/10.4310/mrl.1994.v1.n4.a3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Groszek, Marcia J. "Applications of iterated perfect set forcing." Annals of Pure and Applied Logic 39, no. 1 (1988): 19–53. http://dx.doi.org/10.1016/0168-0072(88)90044-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ferrero, Daniela, Thomas Kalinowski, and Sudeep Stephen. "Zero forcing in iterated line digraphs." Discrete Applied Mathematics 255 (February 2019): 198–208. http://dx.doi.org/10.1016/j.dam.2018.08.019.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Spinas, O. "Iterated forcing in quadratic form theory." Israel Journal of Mathematics 79, no. 2-3 (1992): 297–315. http://dx.doi.org/10.1007/bf02808222.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ihoda, Jaime I., and Saharon Shelah. "Souslin forcing." Journal of Symbolic Logic 53, no. 4 (1988): 1188–207. http://dx.doi.org/10.1017/s0022481200028012.

Full text
Abstract:
AbstractWe define the notion of Souslin forcing, and we prove that some properties are preserved under iteration. We define a weaker form of Martin's axiom, namely , and using the results on Souslin forcing we show that is consistent with the existence of a Souslin tree and with the splitting number s = ℵ1. We prove that proves the additivity of measure. Also we introduce the notion of proper Souslin forcing, and we prove that this property is preserved under countable support iterated forcing. We use these results to show that ZFC + there is an inaccessible cardinal is equiconsistent with ZFC
APA, Harvard, Vancouver, ISO, and other styles
6

Audrito, Giorgio, and Matteo Viale. "Absoluteness via resurrection." Journal of Mathematical Logic 17, no. 02 (2017): 1750005. http://dx.doi.org/10.1142/s0219061317500052.

Full text
Abstract:
The resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Veličković. We introduce a stronger form of resurrection axioms (the iterated resurrection axioms [Formula: see text] for a class of forcings [Formula: see text] and a given ordinal [Formula: see text]), and show that [Formula: see text] implies generic absoluteness for the first-order theory of [Formula: see text] with respect to forcings in [Formula: see text] preserving the axiom, where [Formula: see text] is a cardinal which depends on [Formula: see text] ([Formula: s
APA, Harvard, Vancouver, ISO, and other styles
7

Ishiu, Tetsuya, and Paul B. Larson. "Some results about (+) proved by iterated forcing." Journal of Symbolic Logic 77, no. 2 (2012): 515–31. http://dx.doi.org/10.2178/jsl/1333566635.

Full text
Abstract:
AbstractWe shall show the consistency of CH+⌝(+) and CH+(+)+there are no club guessing sequences on ω1. We shall also prove that ◊+ does not imply the existence of a strong club guessing sequence on ω1.
APA, Harvard, Vancouver, ISO, and other styles
8

Shelah, Saharon. "Iterated forcing and normal ideals onω 1". Israel Journal of Mathematics 60, № 3 (1987): 345–80. http://dx.doi.org/10.1007/bf02780398.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Mitchell, William. "Prikry forcing at κ+ and beyond". Journal of Symbolic Logic 52, № 1 (1987): 44–50. http://dx.doi.org/10.2307/2273859.

Full text
Abstract:
If U is a normal measure on κ then we can add indiscernibles for U either by Prikry forcing [P] or by taking an iterated ultrapower which will add a sequence of indiscernibles for over M. These constructions are equivalent: the set C of indiscernibles for added by the iterated ultrapower is Prikry generic for [Mat]. Prikry forcing has been extended for sequences of measures of length by Magidor [Mag], and his method readily extends to . In this case the measure U is replaced by a sequence of measures and the set C of indiscernibles is replaced by a system of indiscernibles for : is a function
APA, Harvard, Vancouver, ISO, and other styles
10

Kanovei, Vladimir. "On non-wellfounded iterations of the perfect set forcing." Journal of Symbolic Logic 64, no. 2 (1999): 551–74. http://dx.doi.org/10.2307/2586484.

Full text
Abstract:
AbstractWe prove that if I is a partially ordered set in a countable transitive model of ZFC then can be extended by a generic sequence of reals ai, i ∈ I, such that is preserved and every ai is Sacks generic over [〈aj: j < i〉]. The structure of the degrees of -constructibility of reals in the extension is investigated.As applications of the methods involved, we define a cardinal invariant to distinguish product and iterated Sacks extensions, and give a short proof of a theorem (by Budinas) that in ω2-iterated Sacks extension of L the Burgess selection principle for analytic equivalence rel
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Iterated forcing"

1

Tzimas, Dimitrios V. "A new framework of iterated forcing along a gap one morass at [omega]1." Thesis, Massachusetts Institute of Technology, 1993. http://hdl.handle.net/1721.1/29862.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1993.<br>On t.p., "[omega]" appears as the lower case Greek letter.<br>Includes bibliographical references (leaves 38-39 ).<br>by Dimitrios V. Tzimas.<br>Ph.D.
APA, Harvard, Vancouver, ISO, and other styles
2

Santiago, Suárez Juan Manuel. "Infinitary logics and forcing." Electronic Thesis or Diss., Université Paris Cité, 2024. http://www.theses.fr/2024UNIP7024.

Full text
Abstract:
Les principaux résultats de cette thèse sont liés au forcing, mais notre présentation bénéficie de sa mise en relation avec un autre domaine de la logique: la théorie des modèles des logiques infinitaires. Une idée clé de notre travail, qui était plus ou moins implicite dans les recherches de nombreux auteurs, est que le forcing joue un rôle en logique infinitaire similaire à celui joué par le théorème de compacité en logique du premier ordre. Plus précisément, de la même manière que le théorème de compacité est l'outil clé pour produire des modèles de théories du premier ordre, le forcing peu
APA, Harvard, Vancouver, ISO, and other styles
3

Spasojević, Zoran. "Gaps, trees and iterated forcing." 1994. http://catalog.hathitrust.org/api/volumes/oclc/32101789.html.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Iterated forcing"

1

Chong, C. T., W. H. Woodin, Qi Feng, T. A. Slaman, and Yue Yang. Forcing, iterated ultrapowers, and Turing degrees. World Scientific, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Chong, Chitat, Qi Feng, Theodore A. Slaman, W. Hugh Woodin, and Yue Yang. Forcing, Iterated Ultrapowers, and Turing Degrees. WORLD SCIENTIFIC, 2015. http://dx.doi.org/10.1142/9697.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Forcing, Iterated Ultrapowers, and Turing Degrees. World Scientific Publishing Co Pte Ltd, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Forcing, Iterated Ultrapowers, and Turing Degrees. World Scientific Publishing Co Pte Ltd, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Iterated forcing"

1

Shelah, Saharon. "Iterated Forcing with Uncountable Support." In Perspectives in Mathematical Logic. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/978-3-662-12831-2_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Cummings, James. "Iterated Forcing and Elementary Embeddings." In Handbook of Set Theory. Springer Netherlands, 2009. http://dx.doi.org/10.1007/978-1-4020-5764-9_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

"Iterated Forcing." In An Introduction to Independence for Analysts. Cambridge University Press, 1987. http://dx.doi.org/10.1017/cbo9780511662256.009.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

"Iterated Forcing." In Forcing for Mathematicians. WORLD SCIENTIFIC, 2014. http://dx.doi.org/10.1142/9789814566018_0022.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gitik, Moti. "PRIKRY-TYPE FORCINGS AND A FORCING WITH SHORT EXTENDERS." In Forcing, Iterated Ultrapowers, and Turing Degrees. WORLD SCIENTIFIC, 2015. http://dx.doi.org/10.1142/9789814699952_0001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

"Iterated Forcing and Martin’s Axiom." In Fast Track to Forcing. Cambridge University Press, 2020. http://dx.doi.org/10.1017/9781108303866.012.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Steel, John. "AN INTRODUCTION TO ITERATED ULTRAPOWERS." In Forcing, Iterated Ultrapowers, and Turing Degrees. WORLD SCIENTIFIC, 2015. http://dx.doi.org/10.1142/9789814699952_0003.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Shore, Richard A. "THE TURING DEGREES: AN INTRODUCTION." In Forcing, Iterated Ultrapowers, and Turing Degrees. WORLD SCIENTIFIC, 2015. http://dx.doi.org/10.1142/9789814699952_0002.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Iterated forcing"

1

Kara, Mustafa C., and Thorsten Stoesser. "A Strong FSI Coupling Scheme to Investigate the Onset of Resonance of Cylinders in Tandem Arrangement." In ASME 2014 33rd International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/omae2014-23972.

Full text
Abstract:
This paper considers numerical simulations of two-dimensional viscous flow past oscillating cylinders using an efficient, oscillation-free, Cartesian grid based Immersed Boundary Method (IBM). The direct forcing approach originally developed by Uhlmann [1] for fixed and moving boundaries is employed. The IBM utilizes an improved smoothing technique for the discrete delta function and a solid-domain forcing strategy. A strong-coupling scheme is employed in which both, fluid and structure, are treated as linked components of a single dynamical system and all governing equations are iterated unti
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Iterated forcing' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography