國立虎尾科技大學 |

Language: English

Back

Logics for Coalgebras of Finitary Se...

ProQuest Information and Learning Co.

Logics for Coalgebras of Finitary Set Functors.

Record Type:	Language materials, manuscript : Monograph/item
Title/Author:	Logics for Coalgebras of Finitary Set Functors./
Author:	Sprunger, David.
Description:	1 online resource (114 pages)
Notes:	Source: Dissertation Abstracts International, Volume: 79-01(E), Section: B.
Contained By:	Dissertation Abstracts International79-01B(E).
Subject:	Theoretical mathematics. -
Online resource:	click for full text (PQDT)
ISBN:	9780355215854

Logics for Coalgebras of Finitary Set Functors.
Sprunger, David.

Logics for Coalgebras of Finitary Set Functors. - 1 online resource (114 pages)

Source: Dissertation Abstracts International, Volume: 79-01(E), Section: B.

Thesis (Ph.D.)

Includes bibliographical references

In this thesis, we present a collection of results about coalgebras of finitary Set functors. Our chief contribution is a logic for behavioral equivalence for states in these coalgebras. This proof system is intended to formalize a common pattern of reasoning in the study of coalgebra commonly called proof by bisimulation or bisimulation up-to. The approach in this thesis combine these up-to techniques with a concept very close to bisimulation to show the proof system is sound and complete with respect to behavioral equivalence.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2018

Mode of access: World Wide Web

ISBN: 9780355215854Subjects--Topical Terms:

1180455
Theoretical mathematics.
Index Terms--Genre/Form:

554714
Electronic books.

Logics for Coalgebras of Finitary Set Functors.
LDR:02171ntm a2200373Ki 4500 001 909897
005 20180426091049.5
006 m o u
007 cr mn||||a|a||
008 190606s2017 xx obm 000 0 eng d
020 $a 9780355215854
035 $a (MiAaPQ)AAI10621281
035 $a (MiAaPQ)indiana:14884
035 $a AAI10621281
040 $a MiAaPQ $b eng $c MiAaPQ
099 $a TUL $f hyy $c available through World Wide Web
100 1 $a Sprunger, David. $3 1180902
245 1 0 $a Logics for Coalgebras of Finitary Set Functors.
264 0 $c 2017
300 $a 1 online resource (114 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertation Abstracts International, Volume: 79-01(E), Section: B.
500 $a Adviser: Lawrence S. Moss.
502 $a Thesis (Ph.D.) $c Indiana University $d 2017.
504 $a Includes bibliographical references
520 $a In this thesis, we present a collection of results about coalgebras of finitary Set functors. Our chief contribution is a logic for behavioral equivalence for states in these coalgebras. This proof system is intended to formalize a common pattern of reasoning in the study of coalgebra commonly called proof by bisimulation or bisimulation up-to. The approach in this thesis combine these up-to techniques with a concept very close to bisimulation to show the proof system is sound and complete with respect to behavioral equivalence.
520 $a Our second category of contributions revolves around applications of coalgebra to the study of sequences and power series. The culmination of this work is a new approach to Christol's Theorem, a classic result characterizing the algebraic power series in finite characteristic rings as those whose coefficients can be produced by finite automata.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2018
538 $a Mode of access: World Wide Web
650 4 $a Theoretical mathematics. $3 1180455
650 4 $a Mathematics. $3 527692
650 4 $a Logic. $3 558909
655 7 $a Electronic books. $2 local $3 554714
690 $a 0642
690 $a 0405
690 $a 0395
710 2 $a ProQuest Information and Learning Co. $3 1178819
710 2 $a Indiana University. $b Mathematics. $3 1180679
773 0 $t Dissertation Abstracts International $g 79-01B(E).
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10621281 $z click for full text (PQDT)

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library