Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update setbiblio.html: Logique et Analyse, Fixing Frege’s Set Theory, flash-sheridan.name #3

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Update setbiblio.html: Logique et Analyse, Fixing Frege’s Set Theory, flash-sheridan.name #3

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
0d5b11f
Update pobox.com/~flash[eridn] ⇒ flash-sheridan.name
FlashSheridan Mar 27, 2024
40ee1f8
Update setbiblio.html: Logique et Analyse, Fixing Frege’s Set Theory
FlashSheridan Mar 27, 2024
439cc45
Update setbiblio.html: A Closer Look at the Russell Paradox
FlashSheridan May 29, 2024
0c9bfbf
Update setbiblio.html: clean up whitespace
FlashSheridan May 29, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
31 changes: 17 additions & 14 deletions Bibliography/setbiblio.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1991,23 +1991,26 @@ <H2 CLASS="western"><STRONG>Comprehensive Bibliography </STRONG>
this modified iterative conception of set supports the axioms of
Quine's set theory NF.'')</P>

<LI><P STYLE="margin-bottom: 0in"><STRONG>Sheridan, Flash [2014]
<LI><P STYLE="margin-bottom: 0in"><STRONG>Sheridan, Flash [2016]
<BR></STRONG><CITE>A Variant of Church's Set Theory with a Universal
Set in which the Singleton Function is a Set.</CITE> <BR>

<a href ="http://virthost.vub.ac.be/lnaweb/ojs/index.php/LogiqueEtAnalyse/article/view/1903">
Logique et Analyse <B>59</B> (233) pp. 81-131, doi:10.2143/LEA.233.0.3149532</a>
<BR>This is an abridged version of an Oxford doctoral thesis awaiting resubmission. The
full version is online at <a href=" http://www.logic-center.be/Publications/Bibliotheque/SheridanVariantChurch.pdf">
http://www.logic-center.be/Publications/Bibliotheque/SheridanVariantChurch.pdf.</a>
<BR>
<ahref="http://www.logic-center.be/Publications/Bibliotheque/SheridanVariantChurch.pdf">
Set in which the Singleton Function is a Set.</CITE> <BR>
<a href ="http://virthost.vub.ac.be/lnaweb/ojs/index.php/LogiqueEtAnalyse/article/view/1903">
Logique et Analyse <B>59</B> (233) pp. 81-131, doi:10.2143/LEA.233.0.3149532</a>
<BR>This is an abridged version of an Oxford doctoral thesis awaiting resubmission. The
full version is online at <a href="http://www.logic-center.be/assets/pdf/SheridanVariantChurch.pdf">
http://www.logic-center.be/assets/pdf/SheridanVariantChurch.pdf.</a>
<BR>
<a href="http://www.logic-center.be/Publications/Bibliotheque/SheridanVariantChurch.pdf">
Slides for a talk summarizing the results and philosophy are
at <a href="http://pobox.com/~flash/Fixing_Freges_Set_Theory.pdf">
http://pobox.com/~flash/Fixing_Freges_Set_Theory.pdf </a>.</P>
<http://virthost.vub.ac.be/lnaweb/ojs/index.php/LogiqueEtAnalyse/article/view/1903>
at <a href="http://www-logic.stanford.edu/seminar/1314/Sheridan_Fixing_Freges_Set_Theory.pdf">
http://www-logic.stanford.edu/seminar/1314/Sheridan_Fixing_Freges_Set_Theory.pdf </a>.</P>

<LI><P STYLE="margin-bottom: 0in"><STRONG>Sheridan, Flash [2024]
<BR></STRONG><CITE>A Closer Look at the Russell Paradox.</CITE>
<BR>To appear in Logique et Analyse. Preprint at
<a href="https://arxiv.org/abs/2103.00090">https://arxiv.org/abs/2103.00090</a>.
</P>


<LI><P STYLE="margin-bottom: 0in"><STRONG>Skala, H. [1974a] <BR></STRONG><CITE>Eine
neue Methode, die Paradoxien der na&iuml;ven Mengenlehre zu
vermeiden.</CITE> <BR>Annalen der &Ouml;sterreichen Akademie der
Expand Down
4 changes: 2 additions & 2 deletions nf.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -132,8 +132,8 @@ <H3> Links to Fans</H3>
theorem prover</A>, which uses a lambda-calculus equivalent to an
extension of NFU as its higher order logic. This descrption of my program is outdated: look at my main page.<P>

<A HREF = http://pobox.com/~flasheridn> Flash Sheridan</A> warns us
that his page is mostly his Newton programming stuff.
<A HREF = http://flash-sheridan.name> Flash Sheridan</A> warns us
that his page is mostly his compiler testing, static analysis, and Newton programming stuff.

<P>
<A HREF = "http://www.math.psu.edu/jech/"> Thomas Jech </A> has worked on implementing the system of
Expand Down