Equality and Equivalence, Intuitionistically

In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 1-33 (2021)
  Copy   BIBTEX

Abstract

We show that the intuitionistic first-order theory of equality has continuum many complete extensions. We also study the Vitali equivalence relationVitali equivalence relation and show there are many intuitionistically precise versions of it.

Categories

Keywords

Reprint years

DOI

10.1007/978-3-030-53654-1_1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The effective theory of Borel equivalence relations.Ekaterina B. Fokina, Sy-David Friedman & Asger Törnquist - 2010 - Annals of Pure and Applied Logic 161 (7):837-850.
On Elementary Equivalence for Equality-free Logic.E. Casanovas, P. Dellunde & R. Jansana - 1996 - Notre Dame Journal of Formal Logic 37 (3):506-522.
An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model.Vladimir Kanovei - 1997 - Journal of Symbolic Logic 62 (4):1333-1351.
Abductive Equivalence in First-order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.
On Σ1 1 equivalence relations over the natural numbers.Ekaterina B. Fokina & Sy-David Friedman - 2012 - Mathematical Logic Quarterly 58 (1-2):113-124.
An Ulm-type classification theorem for equivalence relations in Solovay model.Vladimir Kanovei - 1997 - Journal of Symbolic Logic 62 (4):1333-1351.
Morita Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Review of Symbolic Logic 9 (3):556-582.
Equality of proofs for linear equality.Kosta Došen & Zoran Petrić - 2008 - Archive for Mathematical Logic 47 (6):549-565.
The Relations of Order and the Identity of the Indiscernible: Leibniz´s Solution to the Problem of the Indistinction between Repose and Uniform Movement.Ruth Castillo - forthcoming - Dissertation,
Σ 1 0 and Π 1 0 equivalence structures.Douglas Cenzer, Valentina Harizanov & Jeffrey B. Remmel - 2011 - Annals of Pure and Applied Logic 162 (7):490-503.
On Polynomial-Time Relation Reducibility.Su Gao & Caleb Ziegler - 2017 - Notre Dame Journal of Formal Logic 58 (2):271-285.
Beyond substantial equivalence: Ethical equivalence. [REVIEW]Sylvie Pouteau - 2000 - Journal of Agricultural and Environmental Ethics 13 (3-4):273-291.
Counting the Number of Equivalence Classes of Borel and Coanalytic Equivalence Relations.Equivalences Generated by Families of Borel Sets.A Reflection Phenomenon in Descriptive Set Theory.Equivalence Relations, Projective and Beyond.Counting Equivalence Classes for co-κ-Souslin Equivalence Relations.On Lusin's Restricted Continuum Problem. [REVIEW]Alain Louveau - 1987 - Journal of Symbolic Logic 52 (3):869-870.
Finitary reducibility on equivalence relations.Russell Miller & Keng Meng Ng - 2016 - Journal of Symbolic Logic 81 (4):1225-1254.
Fraenkel–Carnap Questions for Equivalence Relations.George Weaver & Irena Penev - 2011 - Australasian Journal of Logic 10:52-66.

Analytics

Added to PP
2022-03-09

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references