An Institution-independent Generalization of Tarski's Elementary Chain Theorem

Abstract

Journal Article An Institution-independent Generalization of Tarski's Elementary Chain Theorem Get access Daniel Găină, Daniel Găină Department of Fundamentals of Computer Science, Faculty of Mathematics, University of Bucharest. Search for other works by this author on: Oxford Academic Google Scholar Andrei Popescu Andrei Popescu Department of Fundamentals of Computer Science, Faculty of Mathematics, University of Bucharest. Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 16, Issue 6, December 2006, Pages 713–735, https://doi.org/10.1093/logcom/exl006 Published: 12 August 2006