bibtype J - Journal Article
ARLID 0342828
utime 20240103193501.8
mtime 20101209235959.9
WOS 000276360100004
SCOPUS 77952097856
DOI 10.1007/s00153-010-0174-y
title (primary) (eng) Quotients of Boolean algebras and regular subalgebras
specification
page_count 14 s.
serial
ARLID cav_un_epca*0256186
ISSN 0933-5846
title Archive for Mathematical Logic
volume_id 49
volume 3 (2010)
page_num 329-342
publisher
name Springer
keyword Boolean algebra
keyword sequential topology
keyword ZFC extension
keyword ideal
author (primary)
ARLID cav_un_auth*0100647
name1 Balcar
name2 Bohuslav
full_dept (cz) Matematická logika a teoretická informatika
full_dept (eng) Mathematical Logic and Theoretical Computer Science
department (eng) MLTCS
institution MU-W
full_dept Mathematical Logic and Theoretical Computer Science
fullinstit Matematický ústav AV ČR, v. v. i.
author
ARLID cav_un_auth*0214086
name1 Pazák
name2 Tomáš
full_dept (cz) Stochastická informatika
full_dept Department of Stochastic Informatics
department (cz) SI
department SI
institution UTIA-B
fullinstit Ústav teorie informace a automatizace AV ČR, v. v. i.
source
url http://link.springer.com/article/10.1007%2Fs00153-010-0174-y
cas_special
project
project_id IAA100190509
agency GA AV ČR
ARLID cav_un_auth*0000975
project
project_id MEB060909
agency GA MŠk
ARLID cav_un_auth*0252862
research CEZ:AV0Z10190503
research CEZ:AV0Z10750506
abstract (eng) Let B and C be Boolean algebras and e : B -> C an embedding. We examine the hierarchy of ideals on C for which (e) over bar : B -> C/I is a regular (i.e. complete) embedding. As an application we deal with the interrelationship between P(omega)/fin in the ground model and in its extension. If M is an extension of V containing a new subset of omega, then in M there is an almost disjoint refinement of the family ([omega](omega))(V). Moreover, there is, in M, exactly one ideal I on omega such that (P(omega)/fin)(V) is a dense subalgebra of (P(omega)/I)(M) if and only if M does not contain an independent (splitting) real. We show that for a generic extension V[G], the canonical embedding P-V(omega)/fin hooked right arrow P(omega)/(U(Os)(B))(G) is a regular one, where U(Os)(B) is the Urysohn closure of the zero-convergence structure on B.
reportyear 2011
RIV BA
mrcbC52 4 R 4r 20231122134022.7
permalink http://hdl.handle.net/11104/0185452
mrcbT16-j 0.425
mrcbT16-s 0.550
mrcbT16-4 Q1
mrcbT16-B 25.124
mrcbT16-D Q3
mrcbT16-E Q1
arlyear 2010
mrcbTft \nSoubory v repozitáři: Balcar.pdf
mrcbU14 77952097856 SCOPUS
mrcbU34 000276360100004 WOS
mrcbU63 cav_un_epca*0256186 Archive for Mathematical Logic 0933-5846 1432-0665 Roč. 49 č. 3 2010 329 342 Springer