constructivenews

1–30 of 494

0 selected

andrej...@andrej.com, … Andrew Swan13

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

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

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

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

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 Maietti2

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

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

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, Vladik3

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

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

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 Bartels2

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.com4

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 Swan3

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 Vickers2

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

Search

Clear search

Close search

Google apps

Main menu