Tu sei qui

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 2017–18 academic year

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

Courses of Spring semester of 2017–18 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

Without Type

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

2014

Without Type

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

2011

Without Type

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

Without Type

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

2009

Without Type

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

Without Type

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

2006

Without Type

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

2005

Without Type

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

Without Type

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

Without Type

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

Without Type

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

Without Type

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

Without Type

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

Without Type

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

Without Type

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

1996

Without Type

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

1995

Without Type

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

1994

Without Type

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

1993

Without Type

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

Without Type

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

Without Type

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

Without Type

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

1988

Without Type

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

Without Type

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

Without Type

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

Without Type

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

1980

Without Type

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.

Aggiornato: 2018-08-21

Μονάδα Διασφάλισης Ποιότητας Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης

Tu sei qui

Curriculum Vitae

Athanasios Tzouvaras

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

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

Courses of Winter semester of 2017–18 academic year

Courses of Spring semester of 2017–18 academic year

Student Theses within AUTh

2016–2017

2010–2011

2007–2008

2005–2006

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Μονάδα Διασφάλισης Ποιότητας
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης