Curriculum Vitae

Athanasios Tzouvaras

Professor, School of Mathematics

Personal Information

- 2310997916
tzouvara@math.auth.gr
users.auth.gr/tzouvara
Scopus ID6602932345
MathSciNet ID175650
Γνωστικό Αντικείμενο:
Μαθηματική Λογική
Επιστημονική Ειδίκευση:
- Θετικές επιστήμες, Μαθηματικά και Πληροφορική
- Μαθηματικά

Education

Προπτυχιακές Σπουδές

1975	Πτυχίο Μαθηματικών ΑΠΘ Greece

Διδακτορικό Δίπλωμα

1979	ΔΔ Μαθηματικών ΑΠΘ Greece Μαθηματική Λογική

Course Work

Courses of Winter semester of 2018–19 academic year

	TMĪMA MATHĪMATIKŌN
0108	Linear Algebra
0133	Mathematical Logic I

Courses of Spring semester of 2018–19 academic year

	TMĪMA MATHĪMATIKŌN
0108	Linear Algebra
0132	Set Theory I

	METAPTYCΗIAKO TMĪMATOS MATHĪMATIKŌN
0639	Subjects Mathematical Logic

Theses Supervised

Student Theses within AUTh

2016–2017

Rouvelas Panagiotis. Το πρόβλημα της συνέπειας της θεωρίας συνόλων New Foundations (NF)
Radisis Nektarios-Menelaos. "Το Αξίωμα Επιλογής στη Θεωρία Γράφων"

2010–2011

Petrakis Iosif. ΤΟ ΘΕΩΡΗΜΑ ΤΗΣ ΒΕΝΤΑΛΙΑΣ ΤΟΥ BROUWER. (BROUWER'S FAN THEOREM).

2007–2008

Katsigianni Myrto. ΤΟ ΠΡΟΒΛΗΜΑ ΤΩΝ ΛΕΞΕΩΝ

2005–2006

Fragkou Maria. " Θεωρήματα μη πληρότητας του Godel "

Research Projects

2002–2003	Συνέδριο: "4ο πανελλήνιο συμπόσιο λογικής"
2002–2003	Συνέδριο: "Συμπόσιο - 4ο πανελλήνιο συμπόσιο λογικής"

Publications

2015

Journal Article

Tzouvaras Athanasios (2015). Totally non-immune sets. Mathematical Logic Quarterly. vol.61 no.1-2 p.103-116.

2014

Journal Article

Tzouvaras Athanasios (2014). Large transitive models in local ZFC. Archive for Mathematical Logic. vol.53 no.3-4 p.233-260.

2011

Journal Article

Tzouvaras A (2011). Erratum to Localizing the Axioms. Archive for Mathematical Logic. vol.50 no.3-4 p.513-513.
Tzouvaras A (2011). A combinatorial result related to the consistency of New Foundations. Annals of Pure and Applied Logic. vol.162 no.5 p.373-383.

2010

Journal Article

Tzouvaras A (2010). Localizing the Axioms. Archive for Mathematical Logic. vol.49 no.5 p.571-601.

2009

Book Chapter

Tzouvaras A (2009). Combinatorics related to NF consistency. Proceedings of the 70th Anniversary NF Meeting in Cambridge. Louvain-la-Neuve. Acad.-Bruylant. vol.16 p.109-136.

2007

Journal Article

Tzouvaras A (2007). A reduction of the NF consistency problem. Journal of Symbolic Logic. vol.72 no.1 p.285-304.

2006

Journal Article

Tzouvaras A (2006). How effective indeed is present-day mathematics?. Logic and Logical Philosophy. vol.15 no.2 p.131-153.

2005

Journal Article

Tzouvaras A (2005). Forcing and antifoundation. Archive for Mathematical Logic. vol.44 no.5 p.645-661.
Tzouvaras A (2005). Erratum: 'Forcing and antifoundation'. Archive for Mathematical Logic. vol.44 no.5 p.663-663.
Tzouvaras A (2005). Cardinality without enumeration. Studia Logica. vol.80 no.1 p.121-141.

2004

Journal Article

Tzouvaras A (2004). What is so special with the powerset operation?. Archive for Mathematical Logic. vol.43 no.6 p.723-737.
Tzouvaras A (2004). Uncountable cardinals have the same monadic $\forall^{1}_{1}$ positive theory over large sets. Fundamenta Mathematicae. vol.181 no.2 p.125-142.

2003

Journal Article

Nitta T, Okada T, Tzouvaras A (2003). Classification of non-well-founded sets and an application. MLQ - Mathematical Logic Quarterly. vol.49 no.2 p.187-200.
Tzouvaras A (2003). Positive set-operators of low complexity. MLQ - Mathematical Logic Quarterly. vol.49 no.3 p.284-292.
Tzouvaras A (2003). The logic of multisets continued: the case of disjunction. Studia Logica. vol.75 no.3 p.287-304.
Tzouvaras A (2003). An axiomatization of 'very' within systems of set theory. Studia Logica. vol.73 no.3 p.413-430.

2001

Journal Article

Kalpazidou S, Tzouvaras L (2001). The forward and backward rotational decompositions of Markov chains. Stochastic Analysis and Applications. vol.19 no.3 p.399-412.
Tzouvaras A (2001). Periodicity of negation. Notre Dame Journal of Formal Logic. vol.42 no.2 p.87-99.
Tzouvaras A (2001). Objects and their lambda calculus. Theoretical Computer Science. vol.258 no.1-2 p.209-232.
Tzouvaras A (2001). Nearness relations in discretely ordered rings. Communications in Algebra. vol.29 no.4 p.1409-1425.
Tzouvaras A (2001). Freiling's axioms of symmetry in a general setting and some applications. Archive for Mathematical Logic. vol.40 no.2 p.131-145.
Tzouvaras A (2001). Discrete orderings and commutative monoids. Communications in Algebra. vol.29 no.4 p.1395-1407.

2000

Journal Article

Tzouvaras A (2000). Notions of symmetry in set theory with classes. Annals of Pure and Applied Logic. vol.106 no.1-3 p.275-296.

1999

Journal Article

Kalpazidou S, Tzouvaras L (1999). Afunctional interpretation of cycloid processes: application to the study of asymptotic behaviour. Acta Applicandae Mathematicae. vol.58 no.1-3 p.135-149.

1998

Journal Article

Tzouvaras A (1998). Modeling vagueness by nonstandardness. Fuzzy Sets and Systems. vol.94 no.3 p.385-396.
Tzouvaras A (1998). Logic of knowledge and utterance and the liar. Journal of Philosophical Logic. vol.27 no.1 p.85-108.
Tzouvaras A (1998). The linear logic of multisets. Logic Journal of the IGPL. vol.6 no.6 p.901-916.

1997

Journal Article

Tzouvaras A (1997). The order structure of continua. Synthese. vol.113 no.3 p.381-421.

1996

Journal Article

Tzouvaras A (1996). Aspects of analytic deduction. Journal of Philosophical Logic. vol.25 no.6 p.581-596.

1995

Journal Article

Tzouvaras A (1995). Worlds of homogeneous artifacts. Notre Dame Journal of Formal Logic. vol.36 no.3 p.454-474.

1994

Journal Article

Tzouvaras A (1994). Omega- and beta-models of alternative set theory. Mathematical Logic Quarterly. vol.40 no.4 p.547-569.

1993

Journal Article

Tzouvaras A (1993). Significant parts and identity of artifacts. Notre Dame Journal of Formal Logic. vol.34 no.3 p.445-452.
Tzouvaras A (1993). Noncircular, non-well-founded set universes. Mathematical Logic Quarterly. vol.39 no.4 p.454-460.

1992

Journal Article

Tzouvaras A (1992). On expandability of models of Peano arithmetic to models of the alternative set theory. Journal of Symbolic Logic. vol.57 no.2 p.452-460.

1991

Journal Article

Tzouvaras A (1991). A note on real subsets of a recursively saturated model. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. vol.37 no.3 p.207-216.

1989

Journal Article

Tzouvaras A (1989). Simple motions. Commentationes Mathematicae Universitatis Carolinae. vol.30 no.1 p.163-173.

1988

Journal Article

Tzouvaras A (1988). Definability degrees for classes in the alternative set theory. Commentationes Mathematicae Universitatis Carolinae. vol.29 no.1 p.41-48.
Tzouvaras A (1988). Correction to the paper: 'Anotion of measure for classes in AST'. Commentationes Mathematicae Universitatis Carolinae. vol.29 no.2 p.393-393.

1987

Journal Article

Cuda K, Tzouvaras A (1987). Endomorphic cuts and tails. Commentationes Mathematicae Universitatis Carolinae. vol.28 no.2 p.241-249.
Tzouvaras A (1987). Some remarks on revealness. Commentationes Mathematicae Universitatis Carolinae. vol.28 no.1 p.63-69.
Tzouvaras A (1987). A notion of measure for classes in AST. Commentationes Mathematicae Universitatis Carolinae. vol.28 no.3 p.449-455.

1986

Journal Article

Tzouvaras A (1986). Ultrafilters and endomorphic universes. Commentationes Mathematicae Universitatis Carolinae. vol.27 no.1 p.35-51.
Tzouvaras A (1986). The Rudin-Keisler relation on objects other than ultrafilters. Revue Roumaine de Mathématique Pures et Appliquées. vol.31 no.1 p.73-76.
Tzouvaras A (1986). Countable inductive definitions in AST. Commentationes Mathematicae Universitatis Carolinae. vol.27 no.1 p.17-33.

1985

Journal Article

Tzouvaras A (1985). Minimal ultrafilters and maximal endomorphic universes. Commentationes Mathematicae Universitatis Carolinae. vol.26 no.4 p.719-726.

1980

Journal Article

Tzouvaras A (1980). A nonstandard characterization of the norm of free ultrafilters. Bulletin de la Société Máthematique de Grèce. vol.21 p.81-86.

Updated: 2018-10-29

Quality Assurance Unit (MODIP)
Aristotle University of Thessaloniki

You are here

Curriculum Vitae

Athanasios Tzouvaras

Προπτυχιακές Σπουδές

Διδακτορικό Δίπλωμα

Courses of Winter semester of 2018–19 academic year

Courses of Spring semester of 2018–19 academic year

Student Theses within AUTh

2016–2017

2010–2011

2007–2008

2005–2006

Journal Article

Journal Article

Journal Article

Journal Article

Book Chapter

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Quality Assurance Unit (MODIP)Aristotle University of Thessaloniki

You are here

Curriculum Vitae

Athanasios Tzouvaras

Προπτυχιακές Σπουδές

Διδακτορικό Δίπλωμα

Courses of Winter semester of 2018–19 academic year

Courses of Spring semester of 2018–19 academic year

Student Theses within AUTh

2016–2017

2010–2011

2007–2008

2005–2006

Journal Article

Journal Article

Journal Article

Journal Article

Book Chapter

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Journal Article

Quality Assurance Unit (MODIP)
Aristotle University of Thessaloniki