Filozofická Fakulta

Katedra logiky

Aktuality

Topology, Algebra and Categories in Logic 2017 Summer...

09. květen 2017

Tommaso Moraschini will give a series of four lectures on Abstract Algebraic Logic as a...

02. květen 2017

Ústav filosofie a religionistiky FF UK a Oddělení logiky FLÚ AV ČR vás zvou na přednášku prof....

02. květen 2017

Přednáška Teorie důkazů se ve čtvrtek 27.4. nekoná.

26. duben 2017

NadpisOn interpretability in the theory of concatenation
Publication TypeJournal Article
AuthorsŠvejdar, V.
URLhttp://projecteuclid.org/euclid.ndjfl/1232375164
Klíčová slovaconcatenation essential undecidability Interpretability Robinson arithmetic
Stránky87–95
Number1
Volume50
Year2009
PublisherUniversity of Notre Dame
JournalNotre Dame Journal of Formal Logic
DOI10.1215/00294527-2008-029
PřílohaVelikost
pdf preprint182.3 KB