Παράκαμψη προς το κυρίως περιεχόμενο
Μονάδα Διασφάλισης Ποιότητας
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Είσοδος
Αρχή
Το ΑΠΘ
Πολιτική Ποιότητας
Πιστοποίηση
Διασφάλιση Ποιότητας
Σύστημα Διαχείρισης Ποιότητας
Είστε εδώ
Αρχή
»
Αναφορά Βιογραφικών
Βιογραφικό Σημείωμα
Ανάπτυξη
|
Σύμπτυξη
Αθανάσιος Τζουβάρας
Καθηγητής, Τμήμα Μαθηματικών
Προσωπικά Στοιχεία
2310997916
tzouvara@math.auth.gr
users.auth.gr/tzouvara
Scopus ID
6602932345
MathSciNet ID
175650
Γνωστικό Αντικείμενο
:
Μαθηματική Λογική
Επιστημονική Ειδίκευση
:
Θετικές επιστήμες, Μαθηματικά και Πληροφορική
Μαθηματικά
Εκπαίδευση
Προπτυχιακές Σπουδές
1975
Πτυχίο
Μαθηματικών
ΑΠΘ
Ελλάδα
Διδακτορικό Δίπλωμα
1979
ΔΔ
Μαθηματικών
ΑΠΘ
Ελλάδα
Μαθηματική Λογική
Διδακτικό Έργο
Μαθήματα Χειμερινού εξαμήνου ακαδημαϊκού έτους 2018–19
ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ
0108
ΓΡΑΜΜΙΚΗ ΆΛΓΕΒΡΑ
0133
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ Ι
Μαθήματα Εαρινού εξαμήνου ακαδημαϊκού έτους 2018–19
ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ
0108
ΓΡΑΜΜΙΚΗ ΆΛΓΕΒΡΑ
0132
ΘΕΩΡΙΑ ΣΥΝΟΛΩΝ Ι
ΜΕΤΑΠΤΥΧΙΑΚΟ ΤΜΗΜΑΤΟΣ ΜΑΘΗΜΑΤΙΚΩΝ
0639
ΘΕΜΑΤΑ ΜΑΘΗΜΑΤΙΚΗΣ ΛΟΓΙΚΗΣ
Επίβλεψη Εργασιών
Εργασίες Φοιτητών εντός ΑΠΘ
2016–2017
Ρουβελας Παναγιωτης. Το πρόβλημα της συνέπειας της θεωρίας συνόλων New Foundations (NF)
Ραδισης Νεκταριος-Μενελαος. "Το Αξίωμα Επιλογής στη Θεωρία Γράφων"
2010–2011
Πετρακης Ιωσηφ. ΤΟ ΘΕΩΡΗΜΑ ΤΗΣ ΒΕΝΤΑΛΙΑΣ ΤΟΥ BROUWER. (BROUWER'S FAN THEOREM).
2007–2008
Κατσιγιαννη Μυρτω. ΤΟ ΠΡΟΒΛΗΜΑ ΤΩΝ ΛΕΞΕΩΝ
2005–2006
Φραγκου Μαρια. " Θεωρήματα μη πληρότητας του Godel "
Ερευνητικά Έργα
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
.
Ενημερώθηκε: 2018-10-09