The following pages link to Athanassios Tzouvaras (Q175059):
Displaying 50 items.
- Erratum to: ``Localizing the axioms'' (Q535146) (← links)
- A combinatorial result related to the consistency of New Foundations (Q638501) (← links)
- Cardinality without enumeration (Q813080) (← links)
- Localizing the axioms (Q982186) (← links)
- Modeling vagueness by nonstandardness (Q1290590) (← links)
- The order structure of continua (Q1297025) (← links)
- Significant parts and identity of artifacts (Q1317989) (← links)
- A minimal predicative set theory (Q1344436) (← links)
- Logic of knowledge and utterance and the liar (Q1386685) (← links)
- Periodicity of negation (Q1409308) (← links)
- The logic of multisets continued: The case of disjunction (Q1419383) (← links)
- Notions of symmetry in set theory with classes (Q1591208) (← links)
- An axiomatization of `very' within systems of set theory (Q1810816) (← links)
- What is so special with the powerset operation? (Q1882625) (← links)
- Worlds of homogeneous artifacts (Q1906675) (← links)
- Temporal logic. From ancient ideas to artificial intelligence (Q1918904) (← links)
- Typicality à la Russell in set theory (Q2153829) (← links)
- Large transitive models in local ZFC (Q2449850) (← links)
- Forcing and antifoundation (Q2486987) (← links)
- Axiomatising first-order temporal logic: Until and since over linear time (Q2563451) (← links)
- DISCRETE ORDERINGS AND COMMUTATIVE MONOIDS (Q2752374) (← links)
- NEARNESS RELATIONS IN DISCRETELY ORDERED RINGS (Q2752375) (← links)
- (Q3027016) (← links)
- Consequences of Vopěnka’s Principle over weak set theories (Q3187234) (← links)
- (Q3340860) (← links)
- A Reduction of the NF consistency Problem (Q3426575) (← links)
- (Q3581799) (← links)
- (Q3714074) (← links)
- (Q3765767) (← links)
- (Q3772210) (← links)
- (Q3789554) (← links)
- (Q3789555) (← links)
- (Q3824406) (← links)
- A Note on Real Subsets of A Recursively Saturated Model (Q3989272) (← links)
- On expandability of models of Peano arithmetic to models of the alternative set theory (Q4032630) (← links)
- The linear logic of multisets (Q4222188) (← links)
- Non‐circular, non‐well‐founded set universes (Q4304783) (← links)
- Omega‐ and Beta‐Models of Alternative Set Theory (Q4315329) (← links)
- (Q4722068) (← links)
- (Q4722069) (← links)
- (Q4726245) (← links)
- Classification of non‐well‐founded sets and an application (Q4804180) (← links)
- Positive set‐operators of low complexity (Q4808469) (← links)
- Uncountable cardinals have the same monadic ∀<sub>1</sub><sup>1</sup>positive theory over large sets (Q4814930) (← links)
- Algebraic semantics for propositional superposition logic (Q4994023) (← links)
- Semantics for first-order superposition logic (Q5014056) (← links)
- Totally non‐immune sets (Q5179278) (← links)
- Propositional superposition logic (Q5384364) (← links)
- How effective indeed is present-day mathematics? (Q5437782) (← links)
- Freiling's axioms of symmetry in a general setting and some applications (Q5931219) (← links)