Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!feeder.usenetexpress.com!tr3.iad1.usenetexpress.com!69.80.99.26.MISMATCH!Xl.tags.giganews.com!local-2.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 21 Feb 2024 20:36:02 +0000
Subject: Re: Few questions on forcing, large cardinals
Newsgroups: sci.logic
References: <80b2e419-8e47-4614-acb9-23c1ddeb7772@kt16g2000pbb.googlegroups.com> <eea04e67-374e-4fc0-8d10-198b8a79e0a9@googlegroups.com> <244e2a80-35de-46ad-92f1-b8b4deb22ef1@googlegroups.com> <481bcc2a-686c-4573-ab2a-5206b2cf3b29@googlegroups.com> <051a8c40-0f0a-479d-996b-783d094c24aa@googlegroups.com> <e2ffeea0-00e8-4963-a124-82eb8edac3bc@googlegroups.com> <518ebcb1-57d1-4ba5-b28a-6795f1999c79@googlegroups.com> <6b61f582-c98e-4b7d-b03a-1d7d776099a5@googlegroups.com> <c444ee6e-a581-404a-b112-799343998f93@googlegroups.com> <r0djq4$7hb$2@news.albasani.net> <ef87f3c0-0301-48f2-82e3-d96ea71bb29e@googlegroups.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Wed, 21 Feb 2024 12:36:07 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <ef87f3c0-0301-48f2-82e3-d96ea71bb29e@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <eYednTzhir8vw0v4nZ2dnZfqn_GdnZ2d@giganews.com>
Lines: 5
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-FAtlhfLXyvSPsX99pjhK+Jw1p03pnnks4PuewGXBI8LzIsRUbop355ktXhqCjz11LKjXzY1vAslyMdI!yCdxHxK7SkbFIV1WP1X2eoaILMo0kYxcOLv4nePAkCX50YZSRLYSvMn+SJ0jHNONHZt0KhpMCHDL
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40