Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
constructivenews
Conversations
About
constructivenews
1–30 of 494
Mark all as read
Report abusive group
0 selected
andrej...@andrej.com
, …
Andrew Swan
13
Mar 15
If every subset of N is countable, does excluded middle follow?
I think there's actually a few examples of Grothendieck toposes where Kripke's principle
unread,
If every subset of N is countable, does excluded middle follow?
I think there's actually a few examples of Grothendieck toposes where Kripke's principle
Mar 15
Nicola Gambino
Mar 7
HoTT 2023: deadline extended
*** 2nd International Conference on Homotopy Type Theory (HoTT 2023) *** Monday 22nd May - Thursday
unread,
HoTT 2023: deadline extended
*** 2nd International Conference on Homotopy Type Theory (HoTT 2023) *** Monday 22nd May - Thursday
Mar 7
Paul Taylor
Mar 2
Well founded coalgebras: online seminar TODAY
TITLE: Well Founded Coalgebras SPEAKER: me, Paul Taylor (Honorary Senior Research Fellow, University
unread,
Well founded coalgebras: online seminar TODAY
TITLE: Well Founded Coalgebras SPEAKER: me, Paul Taylor (Honorary Senior Research Fellow, University
Mar 2
Martin Escardo
Feb 13
Midlands Graduate School 2023
We are happy to announce that registration for the Midlands Graduate School, to take place in 2-6
unread,
Midlands Graduate School 2023
We are happy to announce that registration for the Midlands Graduate School, to take place in 2-6
Feb 13
Kreinovich, Vladik
Feb 8
FW: Semantical and Computational Aspects of Non-Classical Logics 2023: Call for Submissions
FYI From: Stanislav Speranski Sent: Wednesday, February 8, 2023 4:20 AM It should be noted that
unread,
FW: Semantical and Computational Aspects of Non-Classical Logics 2023: Call for Submissions
FYI From: Stanislav Speranski Sent: Wednesday, February 8, 2023 4:20 AM It should be noted that
Feb 8
Nicola Gambino
Feb 8
CfP: 2nd International Conference on Homotopy Type Theory
Good morning, The page for submitting talks to the 2nd International Conference on Homotopy Type
unread,
CfP: 2nd International Conference on Homotopy Type Theory
Good morning, The page for submitting talks to the 2nd International Conference on Homotopy Type
Feb 8
Maria Emilia Maietti
2
Feb 7
CCC2022 -September 19-23, 2022- 2nd call for contributions
Dear Colleagues, Following four years of successful progress made under the EU-MSCA-RISE project
unread,
CCC2022 -September 19-23, 2022- 2nd call for contributions
Dear Colleagues, Following four years of successful progress made under the EU-MSCA-RISE project
Feb 7
Kreinovich, Vladik
Feb 4
RE: CFP: Australasian Logic Colloquium (6-7 November, Brisbane, Australia)
FYI -----Original Message----- From: Guillermo Badia Sent: Saturday, February 4, 2023 2:00 AM The
unread,
RE: CFP: Australasian Logic Colloquium (6-7 November, Brisbane, Australia)
FYI -----Original Message----- From: Guillermo Badia Sent: Saturday, February 4, 2023 2:00 AM The
Feb 4
Kreinovich, Vladik
Jan 27
FW: CiE 2023: FINAL CALL FOR PAPERS
FYI CiE 2023: FINAL CALL FOR PAPERS Computability in Europe 2023 Unity of Logic and Computation
unread,
FW: CiE 2023: FINAL CALL FOR PAPERS
FYI CiE 2023: FINAL CALL FOR PAPERS Computability in Europe 2023 Unity of Logic and Computation
Jan 27
Steve Awodey
Jan 19
HoTT 2023: first CfP
*** 2nd International Conference on Homotopy Type Theory (HoTT 2023) *** Monday 22nd May - Thursday
unread,
HoTT 2023: first CfP
*** 2nd International Conference on Homotopy Type Theory (HoTT 2023) *** Monday 22nd May - Thursday
Jan 19
Kreinovich, Vladik
Jan 11
RE: Non-Classical Mathematics Symposium at CLMPST: Call for Abstracts
FYI, intuitionistic mathematics is one of the highlighted topics From: Thomas Ferguson Dear
unread,
RE: Non-Classical Mathematics Symposium at CLMPST: Call for Abstracts
FYI, intuitionistic mathematics is one of the highlighted topics From: Thomas Ferguson Dear
Jan 11
Kreinovich, Vladik
Jan 10
RE: HoTT/UF 2023: Call for Contributions
FYI -----Original Message----- From: Taichi Uemura Sent: Wednesday, January 11, 2023 12:19 AM =======
unread,
RE: HoTT/UF 2023: Call for Contributions
FYI -----Original Message----- From: Taichi Uemura Sent: Wednesday, January 11, 2023 12:19 AM =======
Jan 10
Martin Escardo
12/13/22
Positions at Birmingham, UK, Computer Science
Computer science and maths friends: We are hiring associate and assistant professors at Birmingham,
unread,
Positions at Birmingham, UK, Computer Science
Computer science and maths friends: We are hiring associate and assistant professors at Birmingham,
12/13/22
Paul Taylor
,
Kreinovich, Vladik
3
11/22/22
Partnered open subsets of R^n
Thanks to Vladik Kreinovich for his mention of semialgebraic sets and the Tarski-Seidenberg theorem (
unread,
Partnered open subsets of R^n
Thanks to Vladik Kreinovich for his mention of semialgebraic sets and the Tarski-Seidenberg theorem (
11/22/22
Douglas Bridges
10/16/22
Errett Bishop coin collection
I came across this by chance today: https://www.forumancientcoins.com/catalog/roman-and-greek-coins.
unread,
Errett Bishop coin collection
I came across this by chance today: https://www.forumancientcoins.com/catalog/roman-and-greek-coins.
10/16/22
Steve Awodey
10/11/22
Selected Papers of Dana S. Scott
In honor of Dana Scott's 90th birthday, a Git repository containing pdf scans of a selection of
unread,
Selected Papers of Dana S. Scott
In honor of Dana Scott's 90th birthday, a Git repository containing pdf scans of a selection of
10/11/22
giovan...@email.it
9/16/22
Constructive strong regularity and the extension property of a compactification
Constructive strong regularity and the extension property of a compactification APAL, to appear https
unread,
Constructive strong regularity and the extension property of a compactification
Constructive strong regularity and the extension property of a compactification APAL, to appear https
9/16/22
Steve Awodey
9/16/22
Martin-Löf transcriptions
From: Ansten Mørch Klev <anste...@gmail.com> Subject: [HoTT] Martin-Löf transcriptions Date:
unread,
Martin-Löf transcriptions
From: Ansten Mørch Klev <anste...@gmail.com> Subject: [HoTT] Martin-Löf transcriptions Date:
9/16/22
Kreinovich, Vladik
,
Toby Bartels
2
9/8/22
sad news, apologies if you already know this
Very sad to hear this! Readers might recognize his name as Ceitin; at any rate, I always see
unread,
sad news, apologies if you already know this
Very sad to hear this! Readers might recognize his name as Ceitin; at any rate, I always see
9/8/22
Maria Emilia Maietti
8/16/22
CCC2022 - 3rd call for contributions - deadline extended to 23rd August
3rd CALL FOR CONTRIBUTIONS: CCC 2022: Continuity, Computability, Constructivity – From Logic to
unread,
CCC2022 - 3rd call for contributions - deadline extended to 23rd August
3rd CALL FOR CONTRIBUTIONS: CCC 2022: Continuity, Computability, Constructivity – From Logic to
8/16/22
Ingo Blechschmidt
8/12/22
Late invitation to first crossover summer school: constructive mathematics + quadratic form theory
Dear friends of constructive mathematics, do you or your students have travel plans for September yet
unread,
Late invitation to first crossover summer school: constructive mathematics + quadratic form theory
Dear friends of constructive mathematics, do you or your students have travel plans for September yet
8/12/22
Kreinovich, Vladik
7/8/22
RE: 17th International Congress of Logic, Methodology and Philosophy of Science and Technology
FYI, for more philosophically inclined folks from our community From: Bruno Lopes Sent: Friday, July
unread,
RE: 17th International Congress of Logic, Methodology and Philosophy of Science and Technology
FYI, for more philosophically inclined folks from our community From: Bruno Lopes Sent: Friday, July
7/8/22
Kreinovich, Vladik
7/6/22
RE: Extended Deadline. CfP: 14th French Philosophy of Mathematics Workshop, Oct. 19 – 21, 2022, Nantes
May be of interest to more philosophically minded folks from our community From: CANTU TESTA Paola
unread,
RE: Extended Deadline. CfP: 14th French Philosophy of Mathematics Workshop, Oct. 19 – 21, 2022, Nantes
May be of interest to more philosophically minded folks from our community From: CANTU TESTA Paola
7/6/22
Bahareh Afshari
7/4/22
Autumn School & Workshop on Proof Theory, Utrecht (The Netherlands), 7-12 Nov 2022
4th International Autumn School on Proof Theory Utrecht, November 7-10, 2022 http://www.proofsociety.
unread,
Autumn School & Workshop on Proof Theory, Utrecht (The Netherlands), 7-12 Nov 2022
4th International Autumn School on Proof Theory Utrecht, November 7-10, 2022 http://www.proofsociety.
7/4/22
Joan Moschovakis
,
andrej...@andrej.com
4
6/24/22
Re: Digest for constructivenews@googlegroups.com - 2 updates in 1 topic
Dear Joan, thank you for very nice comments which clarify much of what I enquired about. Given a
unread,
Re: Digest for constructivenews@googlegroups.com - 2 updates in 1 topic
Dear Joan, thank you for very nice comments which clarify much of what I enquired about. Given a
6/24/22
Kreinovich, Vladik
6/23/22
RE: Nerode 90 online conference June 28-29
FYI. While Anile Nerode research was mostly in classical (non-constructive) logic, as many of you
unread,
RE: Nerode 90 online conference June 28-29
FYI. While Anile Nerode research was mostly in classical (non-constructive) logic, as many of you
6/23/22
andrej...@andrej.com
,
Andrew Swan
3
6/21/22
The multi-valued Markov's principle
To show MVMP is strictly stronger than MP, note that MVMP implies the analytic version of MP for
unread,
The multi-valued Markov's principle
To show MVMP is strictly stronger than MP, note that MVMP implies the analytic version of MP for
6/21/22
Kreinovich, Vladik
5/27/22
RE: LOGICA 2022 -- 2nd CFP
This may be of interest to many of us -----Original Message----- From: Igor Sedlar Institute of
unread,
RE: LOGICA 2022 -- 2nd CFP
This may be of interest to many of us -----Original Message----- From: Igor Sedlar Institute of
5/27/22
Anders Mortberg
5/25/22
Workshop in honour of Thierry Coquand's 60th birthday
Thierry Coquand, professor at the University of Gothenburg in Sweden, had his 60th birthday on 18
unread,
Workshop in honour of Thierry Coquand's 60th birthday
Thierry Coquand, professor at the University of Gothenburg in Sweden, had his 60th birthday on 18
5/25/22
Kreinovich, Vladik
,
Steve Vickers
2
5/24/22
FW: Bourbaki and foundations
> This is not a criticism of Bishop (or anyone): I merely wish to point out that “just doing
unread,
FW: Bourbaki and foundations
> This is not a criticism of Bishop (or anyone): I merely wish to point out that “just doing
5/24/22