Unique Tarski Fixed Points von Marinacci, Massimo, Montrucchio, Luigi

Volltext

Jónsson Jónsson–Tarski algebras von DuBeau, Jordan

Volltext

A reunion of Gödel, Tarski, Carnap and Rosser von Salehi, Saeed

Volltext

Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, the Netherlands, October 16-21, 2001 Revised Papers von de Swart, Harrie C. M

Volltext

A Faster Algorithm for Finding Tarski Fixed Points von Fearnley, John, Pálvölgyi, Dömötör, Savani, Rahul

Volltext

A defense of Tarski von Kwon, Daniel

Volltext

The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions von Tesi, Matteo, Negri, Sara

Volltext

Tarski Geometry Axioms. Part V – Half-planes and Planes von Coghetto, Roland, Grabowski, Adam

Volltext

McKinsey-Tarski algebras: An alternative pointfree approach to topology von Bezhanishvili, Guram, Raviprakash, Ranjitha

Volltext

Could Tajtelbaum Question What Tarski Could Not? von Wiślicki, Jan

Volltext

The Tarski numbers of groups von Ershov, Mikhail, Golan, Gili, Sapir, Mark

Volltext

From Tarski to Gödel—or how to derive the second incompleteness theorem from the undefinability of truth without self-reference von Visser, Albert

Volltext

An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics von Tanaka, Yoshihito

Volltext

Computing with Tarski formulas and semi-algebraic sets in a web browser von Kovács, Zoltán, Brown, Christopher, Recio, Tomás, Vajda, Róbert

Volltext

On notions of compactness, object classifiers, and weak Tarski universes von Stenzel, Raffael

Volltext

Tarski monoids: Matui’s spatial realization theorem von Lawson, Mark V.

Volltext

A generalization of the Łoś–Tarski preservation theorem von Sankaran, Abhisekh, Adsul, Bharat, Chakraborty, Supratik

Volltext

On the 'Definability of Definable' Problem of Alfred Tarski von Kanovei, Vladimir, Lyubetsky, Vassily

Volltext

On the Farkas lemma and the Horn–Tarski measure-extension theorem von De Simone, Anna, Pták, Pavel

Volltext

Tarski and Bachmann in Regina: A Magical Connection von Smith, James

Volltext