Infinitary definitions of equivalence relations in models of PA

Annals of Pure and Applied Logic 89 (1):37-43 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,678

External links

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

Through your library

Similar books and articles

Injecting inconsistencies into models of pa.Robert M. Solovay - 1989 - Annals of Pure and Applied Logic 44 (1-2):101-132.
Jumps of computably enumerable equivalence relations.Uri Andrews & Andrea Sorbi - 2018 - Annals of Pure and Applied Logic 169 (3):243-259.
On Δ 2 0 -categoricity of equivalence relations.Rod Downey, Alexander G. Melnikov & Keng Meng Ng - 2015 - Annals of Pure and Applied Logic 166 (9):851-880.
Abelian group actions and hypersmooth equivalence relations.Michael R. Cotton - 2022 - Annals of Pure and Applied Logic 173 (8):103122.
Infinitary action logic with exponentiation.Stepan L. Kuznetsov & Stanislav O. Speranski - 2022 - Annals of Pure and Applied Logic 173 (2):103057.
Infinitary first-order categorical logic.Christian Espíndola - 2019 - Annals of Pure and Applied Logic 170 (2):137-162.
Modality, bisimulation and interpolation in infinitary logic.Johan van Benthem - 1999 - Annals of Pure and Applied Logic 96 (1-3):29-41.

Analytics

Added to PP
2014-01-16

Downloads
11 (#1,175,237)

6 months
3 (#1,254,620)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The arithmetic of cuts in models of arithmetic.Richard Kaye - 2013 - Mathematical Logic Quarterly 59 (4-5):332-351.

Add more citations