Είστε εδώ

Βιογραφικό Σημείωμα

Αθανάσιος Τζουβάρας

Καθηγητής (Retired), Τμήμα Μαθηματικών

Προσωπικά Στοιχεία

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

Εκπαίδευση

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

1975	Πτυχίο Μαθηματικών ΑΠΘ Ελλάδα

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

1979	ΔΔ Μαθηματικών ΑΠΘ Ελλάδα Μαθηματική Λογική

Επίβλεψη Εργασιών

Εργασίες Φοιτητών εντός ΑΠΘ

2016–2017

Διδακτορικό

Το πρόβλημα της συνέπειας της θεωρίας συνόλων New Foundations (NF)

Μεταπτυχιακό

"Το Αξίωμα Επιλογής στη Θεωρία Γράφων"

2010–2011

Μεταπτυχιακό

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

2007–2008

Μεταπτυχιακό

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

2005–2006

Μεταπτυχιακό

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

Ερευνητικά Έργα

Συμμετοχή
2006–2025	Πληρωμή μελών ΔΕΠ απο ΕΜΠ (ΕΘΝΙΚΟ ΜΕΤΣΟΒΕΙΟ ΠΟΛΥΤΕΧΝΕΙΟ)
2002–2016	Μεταπτυχιακές Σπουδές Τμήματος Μαθηματικών
2001–2017	Αμοιβή μελών ΔΕΠ (ΥΠΕΠΘ)

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

Δημοσιεύσεις

(2015)

Άρθρο σε Περιοδικό

Tzouvaras Athanasios . (2015) . Totally non-immune sets . Mathematical Logic Quarterly . τόμ.61 αρ.1-2 σ.103-116

(2014)

Άρθρο σε Περιοδικό

Tzouvaras Athanasios . (2014) . Large transitive models in local ZFC . Archive for Mathematical Logic . τόμ.53 αρ.3-4 σ.233-260

(2011)

Άρθρο σε Περιοδικό

Tzouvaras A. . (2011) . Erratum to Localizing the Axioms . Archive for Mathematical Logic . τόμ.50 αρ.3-4 σ.513-513
Tzouvaras A. . (2011) . A combinatorial result related to the consistency of New Foundations . Annals of Pure and Applied Logic . τόμ.162 αρ.5 σ.373-383

(2010)

Άρθρο σε Περιοδικό

Tzouvaras A. . (2010) . Localizing the Axioms . Archive for Mathematical Logic . τόμ.49 αρ.5 σ.571-601

(2009)

Κεφάλαιο σε Συλλογικό Τόμο ή Λήμμα σε Λεξικό/Εγκυκλοπαίδεια

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

(2007)

Άρθρο σε Περιοδικό

Tzouvaras A. . (2007) . A reduction of the NF consistency problem . Journal of Symbolic Logic . τόμ.72 αρ.1 σ.285-304

(2006)

Άρθρο σε Περιοδικό

Tzouvaras A. . (2006) . How effective indeed is present-day mathematics? . Logic and Logical Philosophy . τόμ.15 αρ.2 σ.131-153

(2005)

Άρθρο σε Περιοδικό

Tzouvaras A. . (2005) . Forcing and antifoundation . Archive for Mathematical Logic . τόμ.44 αρ.5 σ.645-661
Tzouvaras A. . (2005) . Erratum: 'Forcing and antifoundation' . Archive for Mathematical Logic . τόμ.44 αρ.5 σ.663-663
Tzouvaras A. . (2005) . Cardinality without enumeration . Studia Logica . τόμ.80 αρ.1 σ.121-141

(2004)

Άρθρο σε Περιοδικό

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

(2003)

Άρθρο σε Περιοδικό

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

(2001)

Άρθρο σε Περιοδικό

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

(2000)

Άρθρο σε Περιοδικό

Tzouvaras A. . (2000) . Notions of symmetry in set theory with classes . Annals of Pure and Applied Logic . τόμ.106 αρ.1-3 σ.275-296

(1999)

Άρθρο σε Περιοδικό

Kalpazidou S., Tzouvaras L. . (1999) . Afunctional interpretation of cycloid processes: application to the study of asymptotic behaviour . Acta Applicandae Mathematicae . τόμ.58 αρ.1-3 σ.135-149

(1998)

Άρθρο σε Περιοδικό

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

(1997)

Άρθρο σε Περιοδικό

Tzouvaras A. . (1997) . The order structure of continua . Synthese . τόμ.113 αρ.3 σ.381-421

(1996)

Άρθρο σε Περιοδικό

Tzouvaras A. . (1996) . Aspects of analytic deduction . Journal of Philosophical Logic . τόμ.25 αρ.6 σ.581-596

(1995)

Άρθρο σε Περιοδικό

Tzouvaras A. . (1995) . Worlds of homogeneous artifacts . Notre Dame Journal of Formal Logic . τόμ.36 αρ.3 σ.454-474

(1994)

Άρθρο σε Περιοδικό

Tzouvaras A. . (1994) . Omega- and beta-models of alternative set theory . Mathematical Logic Quarterly . τόμ.40 αρ.4 σ.547-569

(1993)

Άρθρο σε Περιοδικό

Tzouvaras A. . (1993) . Significant parts and identity of artifacts . Notre Dame Journal of Formal Logic . τόμ.34 αρ.3 σ.445-452
Tzouvaras A. . (1993) . Noncircular, non-well-founded set universes . Mathematical Logic Quarterly . τόμ.39 αρ.4 σ.454-460

(1992)

Άρθρο σε Περιοδικό

Tzouvaras A. . (1992) . On expandability of models of Peano arithmetic to models of the alternative set theory . Journal of Symbolic Logic . τόμ.57 αρ.2 σ.452-460

(1991)

Άρθρο σε Περιοδικό

Tzouvaras A. . (1991) . A note on real subsets of a recursively saturated model . Zeitschrift für Mathematische Logik und Grundlagen der Mathematik . τόμ.37 αρ.3 σ.207-216

(1989)

Άρθρο σε Περιοδικό

Tzouvaras A. . (1989) . Simple motions . Commentationes Mathematicae Universitatis Carolinae . τόμ.30 αρ.1 σ.163-173

(1988)

Άρθρο σε Περιοδικό

Tzouvaras A. . (1988) . Definability degrees for classes in the alternative set theory . Commentationes Mathematicae Universitatis Carolinae . τόμ.29 αρ.1 σ.41-48
Tzouvaras A. . (1988) . Correction to the paper: 'Anotion of measure for classes in AST' . Commentationes Mathematicae Universitatis Carolinae . τόμ.29 αρ.2 σ.393-393

(1987)

Άρθρο σε Περιοδικό

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

(1986)

Άρθρο σε Περιοδικό

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

(1985)

Άρθρο σε Περιοδικό

Tzouvaras A. . (1985) . Minimal ultrafilters and maximal endomorphic universes . Commentationes Mathematicae Universitatis Carolinae . τόμ.26 αρ.4 σ.719-726

(1980)

Άρθρο σε Περιοδικό

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

Ενημερώθηκε: 2025-06-28

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

Είστε εδώ

Βιογραφικό Σημείωμα

Αθανάσιος Τζουβάρας

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

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

Εργασίες Φοιτητών εντός ΑΠΘ

Διδακτορικό

Μεταπτυχιακό

Μεταπτυχιακό

Μεταπτυχιακό

Μεταπτυχιακό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Κεφάλαιο σε Συλλογικό Τόμο ή Λήμμα σε Λεξικό/Εγκυκλοπαίδεια

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

Άρθρο σε Περιοδικό

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