New Constructions of Satisfaction Classes

Ali Enayat; Albert Visser

doi:10.1007/978-94-017-9673-6_16

New Constructions of Satisfaction Classes

Ali Enayat^*, Albert Visser

^*Corresponding author for this work

OFR - Theoretical Philosophy

University of Gothenburg

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Abstract

We use model-theoretic ideas to present a perspicuous and versatile method of constructing full satisfaction classes on models of Peano arithmetic. We also comment on the ramifications of our work on issues related to conservativity and interpretability.

Original language	English
Title of host publication	Unifying the philosophy of truth
Editors	Theodora Achourioti, Henri Galinon, José Martínez Fernández, Kentaro Fujimoto
Place of Publication	Dordrecht
Publisher	Springer
Pages	321-335
Number of pages	15
Volume	36
ISBN (Electronic)	978-94-017-9673-6
ISBN (Print)	978-94-017-9672-9
DOIs	https://doi.org/10.1007/978-94-017-9673-6_16
Publication status	Published - 2015

Publication series

Name	Logic, Epistemology, and the Unity of Science
Volume	36
ISSN (Print)	2214-9775
ISSN (Electronic)	2214-9783

Bibliographical note

Funding Information:
This research was partially supported by a grant from the Descartes Center of Utrecht University, which supported the first author’s visit to Utrecht to work closely with the second author.

Publisher Copyright:
© 2015, Springer Science+Business Media Dordrecht.

Funding

This research was partially supported by a grant from the Descartes Center of Utrecht University, which supported the first author’s visit to Utrecht to work closely with the second author.

Keywords

Compactness
Conservativity
Interpretability
Satisfaction Class
Truth Class

Access to Document

10.1007/978-94-017-9673-6_16

978-94-017-9673-6_16Final published version, 437 KBLicence: Taverne

Cite this

@inbook{94c825fb8dda44fdb88dcd75fae44442,

title = "New Constructions of Satisfaction Classes",

abstract = "We use model-theoretic ideas to present a perspicuous and versatile method of constructing full satisfaction classes on models of Peano arithmetic. We also comment on the ramifications of our work on issues related to conservativity and interpretability.",

keywords = "Compactness, Conservativity, Interpretability, Satisfaction Class, Truth Class",

author = "Ali Enayat and Albert Visser",

note = "Funding Information: This research was partially supported by a grant from the Descartes Center of Utrecht University, which supported the first author{\textquoteright}s visit to Utrecht to work closely with the second author. Publisher Copyright: {\textcopyright} 2015, Springer Science+Business Media Dordrecht.",

year = "2015",

doi = "10.1007/978-94-017-9673-6_16",

language = "English",

isbn = "978-94-017-9672-9",

volume = "36",

series = "Logic, Epistemology, and the Unity of Science",

publisher = "Springer",

pages = "321--335",

editor = "Theodora Achourioti and Henri Galinon and {Mart{\'i}nez Fern{\'a}ndez}, Jos{\'e} and Kentaro Fujimoto",

booktitle = "Unifying the philosophy of truth",

}

New Constructions of Satisfaction Classes. / Enayat, Ali; Visser, Albert.
Unifying the philosophy of truth. ed. / Theodora Achourioti; Henri Galinon; José Martínez Fernández; Kentaro Fujimoto. Vol. 36 Dordrecht: Springer, 2015. p. 321-335 (Logic, Epistemology, and the Unity of Science; Vol. 36).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - New Constructions of Satisfaction Classes

AU - Enayat, Ali

AU - Visser, Albert

N1 - Funding Information: This research was partially supported by a grant from the Descartes Center of Utrecht University, which supported the first author’s visit to Utrecht to work closely with the second author. Publisher Copyright: © 2015, Springer Science+Business Media Dordrecht.

PY - 2015

Y1 - 2015

N2 - We use model-theoretic ideas to present a perspicuous and versatile method of constructing full satisfaction classes on models of Peano arithmetic. We also comment on the ramifications of our work on issues related to conservativity and interpretability.

AB - We use model-theoretic ideas to present a perspicuous and versatile method of constructing full satisfaction classes on models of Peano arithmetic. We also comment on the ramifications of our work on issues related to conservativity and interpretability.

KW - Compactness

KW - Conservativity

KW - Interpretability

KW - Satisfaction Class

KW - Truth Class

UR - http://www.scopus.com/inward/record.url?scp=85093236758&partnerID=8YFLogxK

U2 - 10.1007/978-94-017-9673-6_16

DO - 10.1007/978-94-017-9673-6_16

M3 - Chapter

AN - SCOPUS:84927690267

SN - 978-94-017-9672-9

VL - 36

T3 - Logic, Epistemology, and the Unity of Science

SP - 321

EP - 335

BT - Unifying the philosophy of truth

A2 - Achourioti, Theodora

A2 - Galinon, Henri

A2 - Martínez Fernández, José

A2 - Fujimoto, Kentaro

PB - Springer

CY - Dordrecht

ER -

New Constructions of Satisfaction Classes

Abstract

Publication series

Bibliographical note

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this