• Daneshyari
  • Topics
    • Physical Sciences and Engineering
      Life Sciences
      Health Sciences
      Social Sciences and Humanities
Physical Sciences and Engineering Mathematics Logic

Forcing □ω1 with finite conditions

Article ID Journal Published Year Pages File Type
4661947 Annals of Pure and Applied Logic 2013 16 Pages PDF
Abstract

We give a construction of the square principle □ω1 by means of forcing with finite conditions.

Related Topics
Physical Sciences and Engineering Mathematics Logic
Preview
Forcing □ω1 with finite conditions
Related Articles
Products of Menger spaces: A combinatorial approach
A classification of orbits admitting a unique invariant measure
Cardinal characteristics at κ   in a small u(κ)u(κ) model
Bounded stationary reflection II
Labeled sequent calculus for justification logics
Effective results on a fixed point algorithm for families of nonlinear mappings
Vaught's conjecture for quite o-minimal theories
Proof complexity of intuitionistic implicational formulas
Pseudo real closed fields, pseudo p-adically closed fields and NTP2
Essential and density topologies of continuous domains
Journal
Annals of Pure and Applied Logic
Journal: Annals of Pure and Applied Logic
Related Categories
Algebra and Number Theory
Analysis
Applied Mathematics
Computational Mathematics
Control and Optimization
Discrete Mathematics and Combinatorics
Geometry and Topology
Logic
Mathematical Physics
Mathematics (General)
Modelling and Simulation
Numerical Analysis
Statistics and Probability
Theoretical Computer Science
Related Journals
Journal of Applied Logic
Daneshyari provides fulltext access to millions of research papers.