VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
Abstract Elementary Classes	Computing the number of types of infinite tuples Amalgamation, characterizing cardinals and locally finite Abstract Elementary Classes
Abstract Model Theory	On the logical use of implicit contradictions
Ackermann's Function	A universal diagonal schema by fixed-points and Yablo’s paradox
Admissible computability	Applications of admissible computability
admissible rule	Some properties of Intuitionistic Set Theory with the principle UP.
admissible rules	Almost structurally complete consequence operations extending S4.3 Characterising Logics through their Admissible Rules
Algebraic structure	Uniform and non-uniform reducibilities of algebraic structures
Algorithmic randomness	Integer-valued randomness and degrees Applications of admissible computability UD-randomness and the Turing degrees
amalgamation	Amalgamation, characterizing cardinals and locally finite Abstract Elementary Classes
ample generics	Consequences of the existence of ample generics and automorphism groups of homogeneous metric structures
analysis	Predicative Mathematics via Safety Relations Effective genericity and differentiable functions
Analytical hierarchy	Computable numberings in Analytical Hierarchy
approximation spaces	Dynamic logic on approximation spaces
Argumentation	Argumentation Logic
Aristotle	Aristotle’s conception of demonstration and modern proof theory
arithmetic	Justifying proof-theoretic reflection principles
Arithmetical hirarchy	Ideals without minimal numberings in the Rogers semilattice
Arithmetized Completeness Theorem	Some applications of the Arithmetized Completeness Theorem to second-order arithmetic
Artin-Schreier extensions	Around n-dependent fields
autostability	Boolean algebras and degrees of autostability relative to strong constructivizations
axiom of determinacy	A new lower bound for the length of the hierarchy of norms
Axiomatics	An axiomatic approach to modelling of orders of magnitude
axiomatization	A completeness theorem for general relativity
B
back-and-forth	An ordinal rank characterising when Forth suffices
Banach space	Ultraproduct construction of representative utility functions with infinite-dimensional domain
behavior of 2-formulas	Some remarks on $\aleph_0$-categorical weakly circularly minimal structures
belief change	A Defense of Information Economy Principle
Bernays	On Bernays' Generalization of Cantor's Theorem
Beth definability property	Weak Beth definability property for finite variable fragments.
BHK	An outline of intuitionistic epistemic logic
bi-immunity	A DNC function that computes no effectively bi-immune set
bisimulation	Fuzzy Bsimulation for Standard Godel Modal Logic
Bisimulation Quantifiers	On Uniform Interpolation for the Guarded Fragment
Boolean algebra	Boolean algebras and degrees of autostability relative to strong constructivizations
Borel flows	Regular cross-sections of Borel flows
bounded arithmetic	Circuit lower bounds in bounded arithmetics Model theory of bounded arithmetic and complexity theory
bounded morphisms	On the almost sure validities in the finite in some fragments of monadic second-order logic
bounded ultrapower	Ultraproduct construction of representative utility functions with infinite-dimensional domain
C
C. I. Lewis	C. I. Lewis' Influence on the Early Work of Emil Post
canonicity	Algorithmic-algebraic canonicity for mu-calculi
Cantor	On Bernays' Generalization of Cantor's Theorem
Cantor's Diagonal Argument	A characterization for diagonalized--out objects
Cantor's Theorem	A universal diagonal schema by fixed-points and Yablo’s paradox
Cantor-Bendixson rank	A computability approach to three hierarchies
cardinal invariants	Cardinal invariants and template iterations Matrix iterations and Cichoń's diagram
cardinality	Definable cardinals just beyond R / Q
categoricity	On Jonsson sets and some their properties. On categoricity of scattered linear orders
Caucal hierarchy	Ordinal Notations and Fundamental Sequences in Caucal Hierarchy
ce degrees	Integer-valued randomness and degrees
characteristic formulae	On the almost sure validities in the finite in some fragments of monadic second-order logic
Characterizing Cardinals	Amalgamation, characterizing cardinals and locally finite Abstract Elementary Classes
chromatic number	Davies-trees in infinite combinatorics
Church Rule	Some properties of Intuitionistic Set Theory with the principle UP.
Church-Fitch	An outline of intuitionistic epistemic logic
Cichoń's diagram	Matrix iterations and Cichoń's diagram
circuit lower bounds	Circuit lower bounds in bounded arithmetics
circularly ordered structure	Some remarks on $\aleph_0$-categorical weakly circularly minimal structures
class of structures	Computable structure theory and formulas of special forms
classes	On Bernays' Generalization of Cantor's Theorem
classical logic	An Intuitionistic Interpretation of Classical Implication
Classical Propositional Logic	Argumentation Logic
classification theory	Uniqueness of limit models in metric abstract elementary classes under categoricity and some consequences in domination and orthogonality of Galois types
clones with constants	Non-monotonic extensions of the weak Kleene clone with constants
co-analytic sets	Co-analytic ideals on $\omega$
coding	On a theorem of McAloon
collection scheme	The problem of a model without collection and without exponentiation
Coloring number	Reflection principle of list-chromatic number of graphs
compactness	On the compactness theorem in many valued logics
Complete lattices	Canonical extensions and prime filter completions of poset expansions.
completeness	Models for the probabilistic sequent calculus Semantic completeness of first order theories in constructive reverse mathematics
completeness for isomorphisms	Coding graphs into fields
completeness theorem	A completeness theorem for general relativity Completeness of second-order separation logic for program verification
Completeness theorems	Constructive completeness and Joyal's theorem
completions	Canonical extensions and prime filter completions of poset expansions.
complexity	Computable structure theory and formulas of special forms Complexity bounds for Multiagent Justification Logic
complexity theory	Model theory of bounded arithmetic and complexity theory
complexity-theoretic hierarchies	The problem of a model without collection and without exponentiation
computability	On the existential interpretability of structures
computability theory	A DNC function that computes no effectively bi-immune set Coding graphs into fields
computable analysis	A computability approach to three hierarchies
computable categoricity	The $ \Delta^{0}_{\alpha} $-dimension of computable structures
computable dimension	The $ \Delta^{0}_{\alpha} $-dimension of computable structures
computable functions	On limitwise monotonic reducibility of Σ^0_2-sets.
Computable linear order	On categoricity of scattered linear orders On $\Sigma^0_2$-initial segments of computable linear orders
Computable linear orderings	$\Delta_2^0$-spectra of linear orderings
computable model theory	Coding graphs into fields Applications of admissible computability
Computable numbering	Computable numberings in Ershov hierarchy Relativized universal numberings
computable numberings	Computable numberings in Analytical Hierarchy
computable structure	The $ \Delta^{0}_{\alpha} $-dimension of computable structures The isomorphism problem for computable projective planes
computable structure theory	Computability in generic extensions Degree spectra of relations on a cone
computably enumerable equivalence relations	The complexity of computably enumerable graphs
computably enumerable graphs	The complexity of computably enumerable graphs
Computer Science Education	The place of logic in computer science education
Constructive logic	Constructive completeness and Joyal's theorem
constructive mathematics	Reductions in computability theory from a constructive point of view
constructive reverse mathematics	Semantic completeness of first order theories in constructive reverse mathematics
Contradictions	On the logical use of implicit contradictions
Countably categorical structures	Extreme amenability of precompact expansions of countably categorical structures
CPA	A descriptive set theoretical axiomatization of the Mathias model.
cross-sections of flows	Regular cross-sections of Borel flows
D
Davies-trees	Davies-trees in infinite combinatorics
decidability	Finite Inseparability of Elementary Theories Based on Connection
Deep relevant logics	Blocking the routes to triviality with depth relevance
definability	Definability, automorphisms and enumeration degrees Definable cardinals just beyond R / Q On the existential interpretability of structures Definability of 0' in the structure of $\omega$-enumeration degrees
definable groups	Pregeometries and definable groups
Definable well-orders	Locally definable well-orders
degree	Definability of 0' in the structure of $\omega$-enumeration degrees
degree of autostability	Boolean algebras and degrees of autostability relative to strong constructivizations
Degree spectra	Degree spectra of structures under $\Sigma_n$-equivalence.
degree spectra of relations	Degree spectra of relations on a cone
degree spectrum	Degree spectra of sequences of structures
degree structure	The order dimensions of degree structures
degree theory	Definability, automorphisms and enumeration degrees A DNC function that computes no effectively bi-immune set
demonstration	Aristotle’s conception of demonstration and modern proof theory
Denjoy integration	A computability approach to three hierarchies
dependence logic	Dependence and independence - a logical approach
Depth relevance	Blocking the routes to triviality with depth relevance
Descriptive set theory	Determinacy of Refinements to the Difference Hierarchy of Co-analytic sets
determinacy	Determinacy of Refinements to the Difference Hierarchy of Co-analytic sets Unraveling $\Sigma^0_\alpha(\Pi^1_1)$-Determinacy
Diagonalization	A universal diagonal schema by fixed-points and Yablo’s paradox
diagonally non-computable	A DNC function that computes no effectively bi-immune set
diagrams	Natural Deduction in Renaissance Geometry
Dialectic Logic	On the logical use of implicit contradictions
Difference hierarchy	Determinacy of Refinements to the Difference Hierarchy of Co-analytic sets
differentiability	Effective genericity and differentiable functions
Differential fields	Differential Galois theory in the class of formally real fields.
Differentiation	Natural deduction for intuitionistic differential linear logic
Disjunction Property	Some properties of Intuitionistic Set Theory with the principle UP.
display type calculus	Display-type calculi for non classical logics
distributivity	A descriptive set theoretical axiomatization of the Mathias model.
DNC	A DNC function that computes no effectively bi-immune set
Dominating Functions	A universal diagonal schema by fixed-points and Yablo’s paradox
domination	Uniqueness of limit models in metric abstract elementary classes under categoricity and some consequences in domination and orthogonality of Galois types
Double negation shift	Predicate Glivenko theorems and substructural aspects of negative translations
doxastic logic	Formalizing vagueness as a doxastic, relational concept
dynamic logic	Dynamic logic on approximation spaces Display-type calculi for non classical logics
dynamical model	Truth theory for logic of self-reference statements as a quaternion structure
E
effective bi-immunity	A DNC function that computes no effectively bi-immune set
effective bounds	Effective results on the asymptotic behavior of nonexpansive iterations
effectivity properties	Some properties of Intuitionistic Set Theory with the principle UP.
Elections	Elections and knowledge
elementary epimorphism	Elementary epimorphisms between models of set theory
elementary indivisibility	On various strengthenings of the notion of indivisibility
elementary submodels	Davies-trees in infinite combinatorics
Emil Post	C. I. Lewis' Influence on the Early Work of Emil Post
end-extensions	The problem of a model without collection and without exponentiation
enumeration	Definability of 0' in the structure of $\omega$-enumeration degrees
enumeration degrees	Degree spectra of sequences of structures
enumeration of family	Limitwise monotonic sets of reals
enumeration operator	Uniform and non-uniform reducibilities of algebraic structures
enumeration reducibility	Definability, automorphisms and enumeration degrees
epistemic entrenchment	A Defense of Information Economy Principle
epistemic logic	An outline of intuitionistic epistemic logic
Epistemic reasoning	Elections and knowledge
equations over types	Type equations and second order logic
Equivalence relations	Degree spectra of structures under $\Sigma_n$-equivalence.
Ershov hierarchy	Computable numberings in Ershov hierarchy
Euclid's Theorem	A universal diagonal schema by fixed-points and Yablo’s paradox
excellence	Amalgamation, characterizing cardinals and locally finite Abstract Elementary Classes
Existence Property	Some properties related to the existence property in intermediate predicate logics
existential interpretation	On the existential interpretability of structures
existentially closed model	On Jonsson sets and some their properties.
Explicit Mathematics	Reverse Mathematics, more explicitly
explosiveness	Explosiveness, Model Existence, and Incompatible Paraconsistencies
exponentiation	The problem of a model without collection and without exponentiation
Extended Church Principle ECT and the Uniformization Principle UP	Some properties of Intuitionistic Set Theory with the principle UP.
extensions of models	Model theory of bounded arithmetic and complexity theory
External Numbers	An axiomatic approach to modelling of orders of magnitude
Extreme amenability	Extreme amenability of precompact expansions of countably categorical structures
F
Failures of the GCH	Locally definable well-orders
Fan Functional	Reverse Mathematics, more explicitly
field theory	Coding graphs into fields
Fields	Around n-dependent fields
finite inseparability	Finite Inseparability of Elementary Theories Based on Connection
finite mixtures	Restricting Martin's axiom to a ccc ground model
Finite model property	Hybrid extensions of S4 with the finite model property
finite variable fragments	Weak Beth definability property for finite variable fragments.
First Order Monadic Logic	Synthesis for monadic logic over the reals
first-order	On the compactness theorem in many valued logics
first-order logic	A completeness theorem for general relativity
first-order modal logic	Modal logic of clocks: Modalizing a first-order theory of time to get a better understanding of relativity theories
fixed point operators	Algorithmic-algebraic canonicity for mu-calculi
Fixed-Points	A universal diagonal schema by fixed-points and Yablo’s paradox
forcing	Forcing with finite conditions and preserving CH Computability in generic extensions A generalization of Solovay's Sigma-construction with application to intermediate models Locally definable well-orders Cardinal invariants and template iterations
Forcing axioms	Large cardinals, forcing axioms, and the theory of subsets of \omega_1
Forking	Indiscernible extraction and Morley sequences
Formal models	Modelling Inference in Fiction
formula	Computable structure theory and formulas of special forms
Foundations of Logic	C. I. Lewis' Influence on the Early Work of Emil Post
Foundations of Mathematics	Computational reverse mathematics and foundational analysis
Fragments of arithmetic	On local induction schemes
fragments of MA	Restricting Martin's axiom to a ccc ground model
Fraisse limits	Computability in generic extensions
Frege	Frege on mathematical progress
full intuitionistic linear logic	An intuitive semantics for {Full Intuitionistic Linear Logic}
function fields	Generalizations of Hilbert's Tenth Problem
Fundamental Sequences	Ordinal Notations and Fundamental Sequences in Caucal Hierarchy
fuzzy	Formalizing vagueness as a doxastic, relational concept
G
Galois theory	Differential Galois theory in the class of formally real fields.
Galoius Types	Computing the number of types of infinite tuples
Game theory	A Defense of Information Economy Principle
game-theoretical semantics	Nash equilibrium semantics for Independence-Friendly Logic
Games	The DNA of logic and games.
games in logic	Dependence and independence - a logical approach
Gappiness	Adding a Conditional to Kripke's Theory of Truth
General logic	Fuzzy Bsimulation for Standard Godel Modal Logic
general relativity	A completeness theorem for general relativity
generalized computability	Dynamic logic on approximation spaces
generalized rational grading	Complexity of generalized grading with inverse relations and intersection of relations
generalized truth value	Two Formalisms for a Logic of Generalized Truth Values
generic extensions	A generalization of Solovay's Sigma-construction with application to intermediate models
genericity	Effective genericity and differentiable functions
Glivenko's theorem	An Intuitionistic Interpretation of Classical Implication
Glivenko’s theorem	Predicate Glivenko theorems and substructural aspects of negative translations
Godel negative translation	Some properties of Intuitionistic Set Theory with the principle UP.
graded modal logic	Complexity of generalized grading with inverse relations and intersection of relations
Graph calculi	On graph calculus approach to modalities
graph-based formulas	The relation between the graphs structures and proof complexity of corresponding Tseitin graph tautologies
grounded Martin's axiom	Restricting Martin's axiom to a ccc ground model
Guarded fragment	On Uniform Interpolation for the Guarded Fragment
Gödel 3-valued logic	A Routley-Meyer semantics for Göodel 3-valued logic G3
H
Hallden completeness	On Hallden complete modal logics determined by homogeneous frames
Hereditarily finite superstructure	Uniformization in the hereditarily finite list superstructure over the real exponential field
Heyting's logic	An Intuitionistic Interpretation of Classical Implication
hierarchy of norms	A new lower bound for the length of the hierarchy of norms
hilbert	The Birth of Semantic Entailment
Hilbert's Tenth Problem	Generalizations of Hilbert's Tenth Problem
History of Logic	C. I. Lewis' Influence on the Early Work of Emil Post
Hoare's logic	Completeness of second-order separation logic for program verification
homogeneous frames	On Hallden complete modal logics determined by homogeneous frames
homogeneous models
homogeneous structures	An ordinal rank characterising when Forth suffices On various strengthenings of the notion of indivisibility
honest elementary degrees	Every non-zero honest elementary degree has the cupping property
Hrushovski construction	Reducts of simple (non-collapsed) Fraisse-Hrushovski constructions
Hybrid Logic	Hybrid extensions of S4 with the finite model property
hyperarithmetic hierarchy	A computability approach to three hierarchies
hyperarithmetical hierarchy	The $ \Delta^{0}_{\alpha} $-dimension of computable structures
I
Ideal	Ideals without minimal numberings in the Rogers semilattice
ideals	Co-analytic ideals on $\omega$
IF logic	Nash equilibrium semantics for Independence-Friendly Logic
implicative fragment	An Intuitionistic Interpretation of Classical Implication
implicit commitment	Reflection, Trust, Entitlement Justifying proof-theoretic reflection principles
Incompleteness	C. I. Lewis' Influence on the Early Work of Emil Post Justifying proof-theoretic reflection principles
independence	Dependence and independence - a logical approach
Indiscernibles	Indiscernible extraction and Morley sequences
Indivisibility	On various strengthenings of the notion of indivisibility
Induction schemes	On local induction schemes
Inductive definition	Adding a Conditional to Kripke's Theory of Truth
Infinitary Logic	Amalgamation, characterizing cardinals and locally finite Abstract Elementary Classes
infinitary proof theory	Proof-Theoretic Analysis of Brouwer's Argument of the Bar Induction
information economy principle	A Defense of Information Economy Principle
inner models	Unraveling $\Sigma^0_\alpha(\Pi^1_1)$-Determinacy
instance reducibility	Reductions in computability theory from a constructive point of view
Intermediate Logics	Characterising Logics through their Admissible Rules
intermediate models	A generalization of Solovay's Sigma-construction with application to intermediate models
Intermediate Predicate logics	Some properties related to the existence property in intermediate predicate logics
interpolation property
intuitionistic logic	An outline of intuitionistic epistemic logic
intuitionistic set theory	Some properties of Intuitionistic Set Theory with the principle UP.
inverse limit	Elementary epimorphisms between models of set theory
Invited talk	On local induction schemes
isomorphism problem	The isomorphism problem for computable projective planes
J
Jonsson theories	On Jonsson sets and some their properties.
jump	Definability of 0' in the structure of $\omega$-enumeration degrees
jump inversion	A non-uniqueness theorem for jumps of principal ideals
Justification Logic	Complexity bounds for Multiagent Justification Logic
K
Kechris-Woodin rank	A computability approach to three hierarchies
Kleene logic	Non-monotonic extensions of the weak Kleene clone with constants
Klein four group	Truth theory for logic of self-reference statements as a quaternion structure
Knowability Paradox	An outline of intuitionistic epistemic logic
Knowledge	An outline of intuitionistic epistemic logic
Kripke semantics	On graph calculus approach to modalities
L
Large cardinals	Large cardinals, forcing axioms, and the theory of subsets of \omega_1
lattice of truth values	Two Formalisms for a Logic of Generalized Truth Values
Lebesgue orbit equivalence	Regular cross-sections of Borel flows
left-c.e. real	Limitwise monotonic sets of reals
lexicographic product	On various strengthenings of the notion of indivisibility
Liar	Towards a Conditional for The Liar and the Sorites.
lie groups	Definable topological dynamics and real Lie groups
limitwise monotonic degree	On limitwise monotonic reducibility of Σ^0_2-sets.
Limitwise monotonic function	Limitwise monotonic sets of reals
limitwise monotonic functions	On limitwise monotonic reducibility of Σ^0_2-sets.
limitwise monotonic reducibility	On limitwise monotonic reducibility of Σ^0_2-sets.
limitwise monotonic set	Limitwise monotonic sets of reals
linear logic	Natural deduction for intuitionistic differential linear logic An intuitive semantics for {Full Intuitionistic Linear Logic}
Linear Temporal Logic	A universal diagonal schema by fixed-points and Yablo’s paradox
List-chromatic number	Reflection principle of list-chromatic number of graphs
logic	On the compactness theorem in many valued logics The DNA of logic and games. The place of logic in computer science education
logic education	The place of logic in computer science education
Logic of Proofs	On Explicit-Implicit Reflection Principles.
Lorentzian manifolds	A completeness theorem for general relativity
low and high degrees	$\Delta_2^0$-spectra of linear orderings
lower bounds	Complexity bounds for Multiagent Justification Logic
M
majority operators	Complexity of generalized grading with inverse relations and intersection of relations
many-valued	On the compactness theorem in many valued logics
Many-valued logics	A Routley-Meyer semantics for Göodel 3-valued logic G3
Many-valued modal logic	Fuzzy Bsimulation for Standard Godel Modal Logic
Marker's extensions	Degree spectra of sequences of structures
Markov Principle M	Some properties of Intuitionistic Set Theory with the principle UP.
Markov Rule	Some properties of Intuitionistic Set Theory with the principle UP.
mathematical knowledge	Reflection, Trust, Entitlement
mathematical logic	Completeness of second-order separation logic for program verification
Mathematical progress	Frege on mathematical progress
Mathias model	A descriptive set theoretical axiomatization of the Mathias model.
Matrix iterations	Matrix iterations and Cichoń's diagram
measurable cardinals	Unraveling $\Sigma^0_\alpha(\Pi^1_1)$-Determinacy
Memory Logics	On graph calculus approach to modalities
mereology	Finite Inseparability of Elementary Theories Based on Connection
mereotopology	Finite Inseparability of Elementary Theories Based on Connection
metamathematics	On a theorem of McAloon
metric abstract elementary classes	Uniqueness of limit models in metric abstract elementary classes under categoricity and some consequences in domination and orthogonality of Galois types
metric structures	Consequences of the existence of ample generics and automorphism groups of homogeneous metric structures
Minimal numbering	Ideals without minimal numberings in the Rogers semilattice
minimal numberings	Computable numberings in Analytical Hierarchy
modal consequence operations	Almost structurally complete consequence operations extending S4.3
modal logic	On the almost sure validities in the finite in some fragments of monadic second-order logic
Modal logics	On graph calculus approach to modalities
model	The Birth of Semantic Entailment
model existence	Explosiveness, Model Existence, and Incompatible Paraconsistencies
model theory	Computing the number of types of infinite tuples Quasiminimal structures and excellence Differential Galois theory in the class of formally real fields. Around n-dependent fields Definable topological dynamics and real Lie groups
modern proof theory	Aristotle’s conception of demonstration and modern proof theory
monadic second-order	On the almost sure validities in the finite in some fragments of monadic second-order logic
monotone modal logic	Display-type calculi for non classical logics
Monotone operator	Adding a Conditional to Kripke's Theory of Truth
Morley sequences	Indiscernible extraction and Morley sequences
mu-calculus	Algorithmic-algebraic canonicity for mu-calculi
multi type calculus	Display-type calculi for non classical logics
N
n-dependent theories	Around n-dependent fields
naive set theory	Prospects for a Naive Theory of Classes Blocking the routes to triviality with depth relevance
naive truth	Prospects for a Naive Theory of Classes
naive types	Type equations and second order logic
Nash equilibria	Nash equilibrium semantics for Independence-Friendly Logic
natural deduction	Argumentation Logic Natural deduction for intuitionistic differential linear logic Natural Deduction in Renaissance Geometry
negative translations	Predicate Glivenko theorems and substructural aspects of negative translations
Nice enumerations	Extreme amenability of precompact expansions of countably categorical structures
Noetherian spaces	Reverse mathematics of WQOs and Noetherian spaces
Non-classical Logic	Modelling Inference in Fiction Prospects for a Naive Theory of Classes
non-elementary classes	Quasiminimal structures and excellence
non-standard models	On a theorem of McAloon
nonexpansive iterations	Effective results on the asymptotic behavior of nonexpansive iterations
Nonstandard Analysis	An axiomatic approach to modelling of orders of magnitude Reverse Mathematics, more explicitly Ultraproduct construction of representative utility functions with infinite-dimensional domain
normal modal logics	On Hallden complete modal logics determined by homogeneous frames
Normal multi-modal logics	On graph calculus approach to modalities
Numbers	Frege on mathematical progress
numerical existence property	Some properties of Intuitionistic Set Theory with the principle UP.
O
o-minimality	Definable topological dynamics and real Lie groups
omega enumeration degrees	Embedding the omega-enumeration degrees into the Muchnik degrees generated by spectra of structures
omega-stable structure	Reducts of simple (non-collapsed) Fraisse-Hrushovski constructions
optimisation	Ultraproduct construction of representative utility functions with infinite-dimensional domain
order dimension	The order dimensions of degree structures
Orders of Magnitude	An axiomatic approach to modelling of orders of magnitude
ordinal notation system	Provability logics and proof-theoretic ordinals
Ordinal notations	Ordinal Notations and Fundamental Sequences in Caucal Hierarchy
Orthogonality	Uniqueness of limit models in metric abstract elementary classes under categoricity and some consequences in domination and orthogonality of Galois types
P
Paracomplete	Towards a Conditional for The Liar and the Sorites.
paraconsistency	Explosiveness, Model Existence, and Incompatible Paraconsistencies
Paradox	Towards a Conditional for The Liar and the Sorites. On Bernays' Generalization of Cantor's Theorem
Parallelism	Uniqueness of limit models in metric abstract elementary classes under categoricity and some consequences in domination and orthogonality of Galois types
Partial conservativity (of the theory T over the	Some properties of Intuitionistic Set Theory with the principle UP.
PDL	On graph calculus approach to modalities
perfect Jonsson theory	On Jonsson sets and some their properties.
Philosophy	C. I. Lewis' Influence on the Early Work of Emil Post
philosophy of mathematics	Computational reverse mathematics and foundational analysis Justifying proof-theoretic reflection principles
Polish groups	Consequences of the existence of ample generics and automorphism groups of homogeneous metric structures
Polish structure	Topologies on Polish structures
Posets	Canonical extensions and prime filter completions of poset expansions.
Predicative mathematics	Predicative Mathematics via Safety Relations
pregeometries	Pregeometries and definable groups
Pregeometry	Reducts of simple (non-collapsed) Fraisse-Hrushovski constructions
Primitive Conditional Connective	Adding a Conditional to Kripke's Theory of Truth
probabilistic logic	Models for the probabilistic sequent calculus
program verification	Completeness of second-order separation logic for program verification
projective determinacy	Co-analytic ideals on $\omega$
projective plane	The isomorphism problem for computable projective planes
projective unification	Almost structurally complete consequence operations extending S4.3
proof complexity	The relation between the graphs structures and proof complexity of corresponding Tseitin graph tautologies
proof complexity of strong equal tautologies	On proof complexities of strong equal modal tautologies.
proof mining	Effective results on the asymptotic behavior of nonexpansive iterations
proof systems of modal propositional logic	On proof complexities of strong equal modal tautologies.
proof theory	Provability logics and proof-theoretic ordinals Display-type calculi for non classical logics
Proof-theoretic methods	Predicate Glivenko theorems and substructural aspects of negative translations
properties of graph structures	The relation between the graphs structures and proof complexity of corresponding Tseitin graph tautologies
Provability Logic	On Explicit-Implicit Reflection Principles.
Pseudo-algebraically non-separable closed fields	Around n-dependent fields
Q
quantifier elimination	On various strengthenings of the notion of indivisibility
quasi-varieties	Almost structurally complete consequence operations extending S4.3
quasiminimal structures	Quasiminimal structures and excellence
quaternion	Truth theory for logic of self-reference statements as a quaternion structure
R
r.e. degrees	A non-uniqueness theorem for jumps of principal ideals
Ramsey null	A descriptive set theoretical axiomatization of the Mathias model.
Ramsey theory	Budding Trees Generalized Ellentuck spaces and initial Tukey chains of non-p-points
Randomness	A sheaf model of randomness Randomness in the Weihrauch degrees
Real fields	Differential Galois theory in the class of formally real fields.
realizability	Reductions in computability theory from a constructive point of view
reals	Synthesis for monadic logic over the reals Cardinal invariants and template iterations
Reasoning in Fiction	Modelling Inference in Fiction
recursion theory	Coding graphs into fields
reducibility	Definable cardinals just beyond R / Q On the existential interpretability of structures
Reduct	Reducts of simple (non-collapsed) Fraisse-Hrushovski constructions
Reference	Frege on mathematical progress
Reflection principle	Reflection principle of list-chromatic number of graphs
reflection principles	Reflection, Trust, Entitlement On Explicit-Implicit Reflection Principles. Justifying proof-theoretic reflection principles
relativity theory	Modal logic of clocks: Modalizing a first-order theory of time to get a better understanding of relativity theories A completeness theorem for general relativity
renaissance geometry	Natural Deduction in Renaissance Geometry
representative agent	Ultraproduct construction of representative utility functions with infinite-dimensional domain
Resource lambda-calculus	Natural deduction for intuitionistic differential linear logic
resource sensitive logics	Weak Beth definability property for finite variable fragments.
Restrictiveness	Restrictiveness relative to notions of interpretation
reverse mathematics	Reverse mathematics of WQOs and Noetherian spaces Computational reverse mathematics and foundational analysis Reverse Mathematics, more explicitly
Roger semilattice	Computable numberings in Ershov hierarchy
Rogers semilattice	Ideals without minimal numberings in the Rogers semilattice
Routley-Meyer semantics	A Routley-Meyer semantics for Göodel 3-valued logic G3
Russell's Paradox	A characterization for diagonalized--out objects
S
Safety relation	Predicative Mathematics via Safety Relations
satisfiability	Complexity bounds for Multiagent Justification Logic
scattered linear order	On categoricity of scattered linear orders
second order logic	Type equations and second order logic Completeness of second-order separation logic for program verification
second-order arithmetic	Some applications of the Arithmetized Completeness Theorem to second-order arithmetic
Self-reference	Truth theory for logic of self-reference statements as a quaternion structure A universal diagonal schema by fixed-points and Yablo’s paradox
semantic entailment	The Birth of Semantic Entailment
semantic model	On Jonsson sets and some their properties.
semantics	An intuitive semantics for {Full Intuitionistic Linear Logic}
semilattice	On the existential interpretability of structures
separation logic	Completeness of second-order separation logic for program verification
sequent calculus	Models for the probabilistic sequent calculus
sequential theories	On a theorem of McAloon
set theory	Forcing with finite conditions and preserving CH Computability in generic extensions Budding Trees Elementary epimorphisms between models of set theory Restrictiveness relative to notions of interpretation A sheaf model of randomness
sets	On Bernays' Generalization of Cantor's Theorem
Sheaf semantics	Constructive completeness and Joyal's theorem
Sigma-definability	Uniformization in the hereditarily finite list superstructure over the real exponential field
Sigma-predicate	Uniformization in the hereditarily finite list superstructure over the real exponential field
similarity	On Jonsson sets and some their properties.
Simple theories	Indiscernible extraction and Morley sequences
Social Choice	Elections and knowledge Ultraproduct construction of representative utility functions with infinite-dimensional domain
Sorites	Towards a Conditional for The Liar and the Sorites.
soundness	Models for the probabilistic sequent calculus
spectra	$\Delta_2^0$-spectra of linear orderings
spectra of structures	Embedding the omega-enumeration degrees into the Muchnik degrees generated by spectra of structures
stability	On Jonsson sets and some their properties.
strong equality of modal tautologies	On proof complexities of strong equal modal tautologies.
structural completeness	Almost structurally complete consequence operations extending S4.3
structure	Computable structure theory and formulas of special forms Definability of 0' in the structure of $\omega$-enumeration degrees
subrecursive degrees	Every non-zero honest elementary degree has the cupping property
substructural logic	Display-type calculi for non classical logics
Substructural predicate logics	Predicate Glivenko theorems and substructural aspects of negative translations
superstability	Uniqueness of limit models in metric abstract elementary classes under categoricity and some consequences in domination and orthogonality of Galois types
symmetric indivisibility	On various strengthenings of the notion of indivisibility
synthesis	Synthesis for monadic logic over the reals
T
Tableau	Complexity bounds for Multiagent Justification Logic
tame structures	Pregeometries and definable groups
template iterations	Cardinal invariants and template iterations
temporal logic	Modal logic of clocks: Modalizing a first-order theory of time to get a better understanding of relativity theories
termspace forcing	Restricting Martin's axiom to a ccc ground model
the bar induction	Proof-Theoretic Analysis of Brouwer's Argument of the Bar Induction
The theory of subsets of $\omega_1$	Large cardinals, forcing axioms, and the theory of subsets of \omega_1
Theories of interpretation	Restrictiveness relative to notions of interpretation
theory of almost sure validities	On the almost sure validities in the finite in some fragments of monadic second-order logic
Theory of Play	The DNA of logic and games.
theory S relative the class of formulae C)	Some properties of Intuitionistic Set Theory with the principle UP.
topological dynamics	Definable topological dynamics and real Lie groups
Topos theory	A sheaf model of randomness
transfer theorem	On the almost sure validities in the finite in some fragments of monadic second-order logic
trees	Budding Trees
Truth	Adding a Conditional to Kripke's Theory of Truth
Tukey	Generalized Ellentuck spaces and initial Tukey chains of non-p-points
Turing operator	Uniform and non-uniform reducibilities of algebraic structures
Turing reducibility	Reductions in computability theory from a constructive point of view
Turing's Halting Problem	A characterization for diagonalized--out objects
U
UD-randomness	UD-randomness and the Turing degrees
ultrafilter	Generalized Ellentuck spaces and initial Tukey chains of non-p-points Ultraproduct construction of representative utility functions with infinite-dimensional domain
undecidability	Generalizations of Hilbert's Tenth Problem Finite Inseparability of Elementary Theories Based on Connection
uniform distribution	UD-randomness and the Turing degrees
Uniform Interpolation	On Uniform Interpolation for the Guarded Fragment
Uniformization	Uniformization in the hereditarily finite list superstructure over the real exponential field
Uniformization Rule	Some properties of Intuitionistic Set Theory with the principle UP.
universal numbering	Relativized universal numberings
Upper bounds	Complexity bounds for Multiagent Justification Logic
V
vagueness	Formalizing vagueness as a doxastic, relational concept
von Neumann's Minimax theorem	Nash equilibrium semantics for Independence-Friendly Logic
W
Wadge-like hierarchies	A new lower bound for the length of the hierarchy of norms
weak arithmetic	The problem of a model without collection and without exponentiation
weak circular minimality	Some remarks on $\aleph_0$-categorical weakly circularly minimal structures
Weak relevant model structures	Blocking the routes to triviality with depth relevance
Weihrauch degree	Randomness in the Weihrauch degrees
Weihrauch reducibility	Reductions in computability theory from a constructive point of view
wqo theory	Reverse mathematics of WQOs and Noetherian spaces
WWKL	Randomness in the Weihrauch degrees
Y
Yablo's Paradox	A universal diagonal schema by fixed-points and Yablo’s paradox
Z
zero-one laws	On the almost sure validities in the finite in some fragments of monadic second-order logic
Σ
Σ^0_2-sets	On limitwise monotonic reducibility of Σ^0_2-sets.

Disclaimer | Powered by EasyChair Smart Program