yusuke1997/dblp-id-title huggingface dataset:
A Test for the Existence of Tautologies According to Many-Valued Truth-Tables
Boolean Types in Dependent Theories
Tarski and Geometry
Recovering ordered structures from quotients of their automorphism groups
Computability of Polish Spaces up to Homeomorphism
Pseudo-Complements and Ordinal Logics based on Consistency Statements
Some Model Theory of Modules. III. On Infiniteness of Sets Definable in Modules
Prime E.C. Commutative Rings in Characteristic n bigger equal to 2
Quantales and (Noncommutative) Linear Logic
Diagonals and Semihyperhypersimple Sets
On a Question of Krajewski's
Venn-Type Diagrams for Arguments of N Terms
Syntactical and Semantical Properties of Generalized Quantifiers
Minimal Complementation Below Uniform Upper Bounds for the Arithmetical Degrees
Algebraic Types and Automorphism Groups
Morley degree in unidimensional compact complex spaces
On The Structures Inside Truth-Table Degrees
Superdestructibility: A Dual to Laver's Indestructibility
The Simplest low linear order with no Computable Copies
Consequences of the existence of AMPLE generics and automorphism Groups of homogeneous Metric Structures
Über omega-Unvollständigkeit in der Peano-Arithmetik
Keisler's order is not linear, Assuming a Supercompact
The Distribution of Properly Sigma 0 2 e-Degrees
Quasi-Endomorphisms in Small Stable Groups
A Sacks real out of nowhere
Codable Sets and Orbits of Computably Enumerable Sets
The Consistency Problem for Positive Comprehension Principles
Boolean Extensions which Efface the Mahlo Property
µ-Definable Sets of Integers
A Borel Maximal cofinitary Group
Intermediate Predicate Logics Determined by Ordinals
Combined Maximality Principles up to large cardinals
Fifth Meeting of the Association for Symbolic Logic
On the Simplicity of Ideas
A Lopez-Escobar Theorem for continuous Domains
sigma n Sets which are triangle n -Incomparable (Uniformly)
The laws of integer divisibility, and solution sets of linear divisibility conditions
Equivalence of consequence relations: an order-theoretic and categorical perspective
Finitely Generated Free Heyting Algebras
Expressibility of Properties of Relations
The Permutations with n non-fixed Points and the sequences with Length n of a Set
The Order Indiscernibles of Divisible Ordered Abelian Groups
A Definition of Existence in Terms of Abstraction and Disjunction
On Diophantine Definability and Decidability in Some Rings of Algebraic Functions of Characteristic 0
The strength of the rainbow Ramsey Theorem
The Infinite Injury Priority Method
Bounded Existential Induction
How Strong is Ramsey's Theorem if infinity can be Weak?
Logical Truth and Logical Implication
New Set-Theoretic Axioms Derived from a Lean Metamathematics
Mutual Interpretability of Weak Essentially Undecidable Theories
Decision Problems Concerning S-Arithmetic Groups
Uniform almost everywhere domination
The Bounded Proper Forcing Axiom
Linear Kripke frames and Gödel logics
Subgroups of a Free Group and the Axiom of Choice
Concatenation as Basis for a Complete System of Arithmetic
Optimal Results on Recognizability for Infinite Time Register Machines
The Game operator Acting on Wadge Classes of Borel Sets
Forcing Axioms, Approachability, and stationary Set Reflection
ZF sigma 0 4 Determinateness
Axiomatizable Theories with Few Axiomatizable Extensions
On the definable ideal generated by nonbounding c.e. degrees
Minimal Upper Bounds for Sequences of triangle 1 2n -Degrees
Topological Completeness for Higher-Order Logic
On the non-Enumerability of l
On Hereditarily Countable Sets
Retraction note for "PDL has interpolation"
Types of Simple alpha-Recursively Enumerable Sets
The Solidity and Nonsolidity of initial Segments of the Core Model
The independence property in generalized dense pairs of structures
A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one
The Slow-Growing and the Grzecorczyk Hierarchies
L'Axiome de Normalité pour les Espaces Totalement Ordonnés
Jump Embeddings in Turing Degrees
Cumulative Index to Volumes 27-55 (1962-1990)
Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic
Ordinals Connected with Formal Theories for Transfinitely Iterated Inductive Definitions
Filter Logics on omega
Cellular Categories and stable Independence
On Coherent Families of Finite-to-One Functions
The Strength of the Isomorphism Property
On the Paradox of Grounded Classes
Glivenko theorems for substructural logics over FL
Acceptable colorings of Indexed Hyperspaces
Stationary Reflection for Uncountable Cofinality
A Formal System of Logic
Large Families of Incomparable A-Isols
Binary Connectives Functionally Complete by Themselves in S5 Modal Logic
Semi-De Morgan Algebras
On Moschovakis Closure Ordinals
Presburger sets and p-minimal fields
The Syntax and Semantics of Entailment in Duality Theory
Nonstandard Topology and Extensions of Monad Systems to Infinite Points
Pure-injectivity and model theory for G-sets
Predicate Functors Revisited
Kernel Contraction
On Many-One Degrees
Around Rubin's "Theories of linear order"
Local-global properties of positive primitive formulas in the theory of spaces of orderings
Weak Definability in Infinitary Languages
Inconsistent Nonstandard Arithmetic
On Supersets of non-low 22_2 Sets
The Open and Clopen Ramsey theorems in the Weihrauch Lattice
On the Weak Kleene Scheme in Kripke's Theory of Truth
Refinements of Vaught's Normal from Theorem
Mathematical Significance of Consistency Proofs
Bad Groups of Finite Morley Rank
On Cohen and Prikry forcing Notions
Universal Minimal flows of generalized WAżEwski dendrites
Two Theorems on Degrees of Models of True Arithmetic
A separation Result for Countable Unions of Borel Rectangles
A Theory of Restricted Quantification II
FraïSSé Limits for Relational Metric Structures
A System of Abstract Constructive Ordinals
Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis
Characterizing the Continuous Functionals
A Note on the Kondo-Addison Theorem
Analytic Cut
Undecidability of the First order Theories of Free Noncommutative Lie Algebras
Some Nondistributive Lattices as Initial Segments of the Degrees of Unsolvability
Countable Length everywhere Club Uniformization
Sheaves of Continuous Definable Functions
Le Carre De L'Egalite
Godel Numberings of Partial Recursive Functions
Constructible Models of Subsystems of ZF
Early History of the Association for Symbolic Logic
Minimum Propositional Proof Length Is NP-Hard to Linearly Approximate
Definable Henselian Valuation Rings
Pi 1 1 relations and paths through
Dynamic topological logic of metric spaces
A note on the non-existence of Prime Models of Theories of Pseudo-finite Fields
Connexive Implication
High density piecewise Syndeticity of Product Sets in Amenable Groups
Maker-Breaker Games on and
On sets not belonging to algebras
Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor
Degrees of Categoricity and spectral Dimension
On the decidability of implicational ticket entailment
Triangle 0 2 Operators and Alternating Sentences in Arithmetic
Harrington's Principle in Higher order Arithmetic
The Problem of Simplifying Logical Expressions
On the Consistency of Quine's New Foundations for Mathematical Logic
Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem
Note on Carnap's Relational Asymptotic Relative Frequencies
A Note on Mathematics of infinity
Nsop-like Independence in Aecats
Abstract Classes with Few Models Have 'Homogeneous-Universal' Models
Implicit proofs
Primitive Recursive Ordinal Functions with Added Constants
Filters on the Space of Partitions Q k (lambda)
Mad families constructed from perfect almost disjoint families
The Implicational Fragment of Dummet's LC
Natural Models of Ackermann's Set Theory
The determinacy of context-free games
Meeting of the Association for Symbolic Logic: Indianapolis
Preserving preservation
Upper Bounds on Locally Countable Admissible Initial Segments of a Turing Degree Hierarchy
Every Analytic Set is Ramsey
Preservation Theorem and Relativization Theorem For Cofinal Extensions
Stable Models and Reflexive Banach Spaces
Generalized Reduction Theorems for Model-Theoretic Analogs of the Class of Coanalytic Sets
Projective prewellorderings vs projective wellfounded relations
P-hierarchy on beta omega
Toward a Calculus of Concepts
Index Sets of Finite Classes of Recursively Enumerable Sets
Propositional Logic Based on the Dynamics of Belief
A Feasible Theory for Analysis
On the Formalisation of Indirect Discourse
Interpreting descriptions in intensional type theory
Compatibility operators in Abstract Algebraic Logic
Equivalence Relations which are Borel Somewhere
An Addendum to The Work of Kurt Gödel
The Theory of Quaternality
Relative Lawlessness in Intuitionistic Analysis
Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate
Every 1-generic computes a properly 1-generic
On the Bounded Monadic Theory of Well-Ordered Structures
Killing Ideals and Adding Reals
Correction to a Paper on Definability of Ordinals in Infinite Logic
Self-Referential Theories
Power set modulo small, the singular of uncountable cofinality
Four Concepts from "Geometrical" Stability Theory in Modules
Decision Problems for Differential Equations
Definability of Satisfaction in outer Models
Mathias Absoluteness and the Ramsey Property
The Consistency Strength of an Infinitary Ramsey Property
Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets
Combinatorial Properties of Filters and Open Covers for Sets of Real Numbers
O-minimal spectra, infinitesimal subgroups and cohomology
Independence Results for Class Forms of the Axiom of Choice
Two Incomplete Anti-Realist Modal Epistemic Logics
Meeting of the Association for Symbolic Logic Warsaw 1968
Assigning an Isomorphism Type to a Hyperdegree
Meeting of the Association for Symbolic Logic: Melbourne, Australia 1979
European Meeting of the Association for Symbolic Logic, Mons, Belgium, 1978
Σ 1 2 and Π 1 1 mad families
A Note on a Result of Kunen and Pelletier
Constructive Set Theoretic Models of Typed Combinatory Logic
Itp, ISP, and SCH
A Syntactic characterization of Morita Equivalence
Squares and narrow Systems
On the Elementary Theory of Pairs of Real Closed Fields. II
On the Intersection of Closed Unbounded Sets
On N-Adic Representation of Numbers
Thicket density
Relational Semantics and a Relational Proof System for Full Lambek Calculus
Remarks on the Church-Rosser Property
Automorphisms of the truth-table degrees are fixed on a cone
All or None: A Novel Choice of Primitives for Elementary Logic
Rank 3 Bingo
Normal Monomodal Logics Can Simulate All Others
Normal numbers and Completeness Results for difference Sets
Omitting Types in Incomplete Theories
On Natural Numbers, Integers, and Rationals
Infinitary Generalizations of Deligne's Completeness Theorem
The Relation between two Diminished Choice Principles
Craig Interpolation Theorem for Intuitionistic Logic and Extensions Part III
Arithmetical Definability of Field Elements
On Orbits of Prompt and Low Computably Enumerable Sets
Transfinite Recursion in Higher Reverse Mathematics
On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic
The Ground-Negative Fragment of First-Order Logic Is Pi p 2 -Complete
Semantic Analysis of Tense Logics
Meeting of the Association for Symbolic Logic: Florence, Italy 1982
Full Classes and Ordinals
The Magidor function and diamond
The Strong and super Tree Properties at Successors of singular Cardinals
Partially Ordered Sets and the Independence Property
Pure Type Systems with More Liberal Rules
A Topological Analog to the Rice-Shapiro Index Theorem
A new spectrum of recursive models using an amalgamation construction
A System of Axiomatic Set Theory-Part VI
Recursion in a Quantifier vs. Elementary Induction
The diagonal Strong Reflection Principle and its Fragments
Relative Constructivity
Product-Free Lambek Calculus and Context-Free Grammars
On Models of Arithmetic-Answers to Two Problems Raised by H. Gaifman
Replacement and Collection: A Correction
Recursive Real Numbers
Omitting Types: Application to Recursion Theory
Recursively Enumerable Generic Sets
Set-Theoretic Foundations for Logic
Logical consecutions in discrete linear temporal logic
Existentially closed Brouwerian Semilattices
Systems of Notations and the Ramified Analytical Hierarchy
A Complete and Consistent Modal Set Theory
Minimal Pairs and High Recursively Enumerable Degrees
Hereditarily Finite Finsler Sets
Disquotational Truth and Analyticity
On Infinite Series of Infinite Isols
Expressing Infinity Without Foundation
Lascar and Morley Ranks Differ in Differentially Closed Fields
Grey Subsets of Polish Spaces
Some Questions of Uniformity in Algorithmic Randomness
On Polynomial Time Computation over Unordered Structures
Relative Definability of n-generics
Decidable Discrete Linear Orders
Extensional Quotients for Type Theory and the Consistency Property for NF
The club principle and the distributivity number
A decomposition of the Rogers semilattice of a family of d.c.e. sets
0 # and Some Forcing Principles
Recursion, Metarecursion, and Inclusion
Boolean Universes above Boolean Models
Quine's 'Limits of Decision'
DMP in strongly minimal sets
Horn Sentences in Identity Theory
Chains of End Elementary Extensions of Models of Set Theory
Retractions of Reversible Structures
A combinatory account of internal structure
About Some Symmetries of Negation
A Minimal Pair in the Generic Degrees
Separating Many localisation Cardinals on the generalised Baire Space
Interpolation, Preservation, and Pebble Games
Belief Contraction as Nonmonotonic Inference
Zusammenhang der Mehrfachen und Transfiniten Rekursionen
PDL Has Interpolation
Undecidability in Diagonalizable Algebras
On Sets forall-Definable from Pfaffian Sets
A Rudimentary Definition of Addition
A generalization of Sierpiński's paradoxical decompositions: Coloring semialgebraic grids
The {L}aczkovich - {K}omjáth property for coanalytic equivalence relations
On the First-Order Logic of Terms
Note on a Paper in Tense Logic
Forking and independence in o-minimal theories
Model-Theoretic Properties Characterizing Peano Arithmetic
On Equational Completeness Theorems
Interpretations between ω -Logic and second-order Arithmetic
On Equivalence Relations induced by Locally Compact Abelian Polish Groups
Coherent Systems of finite Support iterations
Outer models and genericity
Countable Models of Nonmultidimensional 0 -Stable Theories
On the Indexing of Classes of Recursively Enumerable Sets
Weak cardinality theorems
Random reals and possibly infinite computations Part I: Randomness in ∅'
Modal Formulas are Either Elementary or not sigma triangle-Elementary
Strong cut-elimination in sequent calculus using Klop's iota-translation and perpetual reductions
Namba forcing and no good scale
The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic
The Continuum and First-Order Intuitionistic Logic
Some Remarks on Nonmultidimensional Superstable Theories
Recursion Theory and the Lambda-Calculus
Restricted MAD families
A Classification of Intersection Type Systems
Some Undecidability Results in Strong Algebraic Languages
On Confirmation
A Note on the Undefinability of Cuts
Generalised Imaginaries and Galois Cohomology
Formalizing non-standard arguments in second-order arithmetic
The Semantics of Singular Terms
The Next Admissible Set
Expansion of A Model of A Weakly O-Minimal Theory by A Family of Unary Predicates
Quasiunitriangular Groups
Semantics for RK 1 t
The existence of a near-unanimity term in a finite algebra is decidable
Elementary Properties of Power Series Fields over Finite Fields
Separably Closed Valued Fields: Quantifier Elimination
Ideals without CCC
A note on standard systems and ultrafilters
Fourteenth Meeting of the Association for Symbolic Logic
A Generalization of the Antilogism
New Foundation of Formal Metamathematics
Natural Well-Orderings
An Application of Ultrapowers to Changing Cofinality
On OBDD-based Algorithms and Proof Systems that Dynamically Change the order of Variables
Remarks on convergence of Morley sequences
Expressivity in Polygonal, Plane Mereotopology
Logics Containing K4. Part II
Flat Sets
AN EXISTENTIAL ∅-DEFINITION OF $F_q [[t]]$ IN $F_q \left( t \right)$
The Consistency of a System of Combinatory Restricted Generality
The Reverse Mathematics of the thin Set and ERDőS-Moser theorems
Recursively Presentable Prime Models
A Note on the Multiplicative Semigroup of Models of Peano Arithmetic
Forcing Closed Unbounded Sets
On sigma 1 Well-Orderings of the Universe
Universal spaces for classes of scattered Eberlein compact spaces
Sharpened lower bounds for cut elimination
A New Perspective on Semi-Retractions and the Ramsey Property
Strong compactness and stationary sets
R-Maximal Boolean Algebras
On the intuitionistic strength of monotone inductive definitions
Larger Cardinals in Cichon's Diagram
Ad and the Supercompactness of 1
On an Algebra of Sets of Finite Sequences
On Sigma 1 1 Equivalence Relations with Borel Classes of Bounded Rank
Upward categoricity from a successor cardinal for tame abstract classes with amalgamation
Derivations of the Frobenius map
Note on Deducibility and Many-Valuedness
An Undecidable Problem in Finite Combinatorics
On Definable Skolem Functions in Weakly O-Minimal nonvaluational Structures
Models of non-well-founded sets via an indexed final coalgebra theorem
Prime models of computably enumerable degree
An Introduction to Recursively Saturated and Resplendent Models
Preservation of Suslin Trees and Side conditions
Simplicity, and Stability in There
Semantics for Relevant Logics
Coding true arithmetic in the Medvedev and Muchnik degrees
Prime Numbers and Factorization in IE 1 and Weaker Systems
Definable Equivalence Relations on Algebraically Closed Fields
On the Basic Logic of STIT with a Single Agent
ERNA and Friedman's Reverse Mathematics
On the Degrees of Unsolvability of Modal Predicate Logics of Provability
A Definition of Negation in Extended Basic Logic
Classification of delta-Invariant Amalgamation Classes
A Method of Modelling the Formalism of Set Theory in Axiomatic Set Theory
Initial Segments of the Degrees of Ceers
A quasi-order on continuous functions
Corrections to Canonical Expressions in Boolean Algebra
Syntactic Translations and Provably Recursive Functions
Arithmetic and the Theory of Types
There is no SW -complete c.e. real
Splitting Theorems for Speed-Up Related to Order of Enumeration
Definable Types in O-Minimal Theories
Delineating Classes of Computational Complexity via Second Order Theories with Weak Set Existence Principles, I
Axiomatizing a Category of Categories
A Simple Relationship between Buchholz's New System of Ordinal Notations and Takeuti's System of Ordinal Diagrams
Une Theorie de Galois Imaginaire
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
Twenty-Eighth Annual Meeting of the Association for Symbolic Logic
Élimination des Quantificateurs dans des Paires de Corps
Infinitary Properties of Valued and Ordered Vector Spaces
Negative Solution of the Decision Problem for Sentences True in Every Subalgebra of < N, + >
The -Ordering on Normal Ultrafilters
Large and Small Existentially Closed Structures
A Terminating intuitionistic Calculus
Pure Denumerable Lukasiewiczian Implication
Existentially Closed Structures
Le Problème des Grandes Puissances Et Celui des Grandes Racines
Hierarchies of forcing axioms I
A 1-Generic Degree with A Strong Minimal Cover
Characterizing Downwards closed, strongly First-order, Relativizable Dependencies
The computable dimension of trees of infinite height
On a Generalization of Jensen's, and Strategic Closure of Partial Orders
Modality and Quantification in S5
Properties of Forking in omega-Free Pseudo-Algebraically Closed Fields
Nonstandard Theories of Quantification and Identity
A Jump Operator for Subrecursion Theories
Decidability of definability
Derived Models of mice below the least Fixpoint of the Solovay sequence
Finitely approximable groups and actions Part II: Generic representations
Uncountable Real Closed Fields with PA Integer Parts
Generalized Quantifiers and Elementary Extensions of Countable Models
Uniquely undefinable elements
Complete Theories with Only Universal and Existential Axioms
Density-like and generalized density ideals
Mutually algebraic structures and expansions by predicates
On Size vs. Efficiency for Programs Admitting Speed-Ups
Compactification of Groups and Rings and Nonstandard Analysis
On the Reduction of the Decision Problem
Some Model Theory of Modules. I. On Total Transcendence of Modules
Patterns of Projecta
Models with the omega-Property
Dominical Categories: Recursion Theory without Elements
Deciding some Maltsev conditions in finite Idempotent Algebras
Filters, Cohen Sets and Consistent Extensions of The Erdös-Dushnik-Miller Theorem
Quasi-subtractive varieties
The Sheffer Functions of 3-Valued Logic
Limits on jump inversion for strong reducibilities
On Closed Unbounded Sets Consisting of Former Regulars
On Notation for Ordinal Numbers
Towards a characterization of order-invariant queries over tame graphs
A Filter Lambda Model and the Completeness of Type Assignment
Cuts in Hyperfinite Time Lines
Definable and Invariant Types in Enrichments of NIP Theories
A Lightface Analysis of the differentiability rank
Trees and Nest Structures
Slim Models of Zermelo Set Theory
Asymptotic Conditional Probabilities: The Non-Unary Case
Some Consistency Proofs and a Characterization of Inconsistency Proofs in Illative Combinatory Logic
Decomposing Baire Functions
A fixed point for the jump operator on structures
Finitely approximable groups and actions Part I: The Ribes - Zaluesskiĭ property
Patterns of paradox
Implication and Deducibility
Canonical functions, non-regular ultrafilters and Ulam's problem on omega 1
Effective Discontinuity and a Characterisation of the Superjump
Combinatorics for the dominating and unsplitting numbers
Learning vi Queries in [+, <]
Theories of arithmetics in finite models
On Analytic Filters and Prefilters
Indestructibility when the First two Measurable Cardinals are strongly Compact
On the complexity of alpha conversion
The Strong Anticupping Property for Recursively Enumerable Degrees
On κ-Homogeneous, but Not κ-Transitive Permutation Groups
Combinatorics on Large Cardinals
Stability Results Assuming tameness, Monster Model, and Continuity of Nonsplitting
A Tail cone Version of the Halpern-läUchli Theorem at a Large cardinal
A Valuation Theoretic Characterization of Recursively saturated Real Closed Fields
On Measurable Limits of Compact Cardinals
Large cardinals and definable well-orders on the universe
A minimal Prikry-type forcing for singularizing a measurable cardinal
A Note on Degrees of Subsets
A Second Order Version of S i 2 and U 1 2
Strong Ultrapowers and Long Core Models
Partitioning Subsets of Stable Models
Priority Arguments in the Continuous R. E. Degrees
The Poset of All Logics I: Interpretations and Lattice Structure
A Problem Concerning the Notion of Definability
A New "Feasible" Arithmetic
Between Strong and Superstrong
Questions of Decidability and Undecidability in Number Theory
On Truth and Multiple Denotation
Homotopy Model Theory
Two Recursion Theoretic Characterizations of Proof Speed-Ups
Jump Operations for Borel graphs
On A Class of M.A.D. Families
Standardization Principle of Nonstandard Universes
On the Commutativity of pull-Back and Push-Forward Functors on Motivic Constructible Functions
Nip for the asymptotic couple of the field of Logarithmic Transseries
Magidor-Malitz Quantifiers in Modules
P versus NP and computability theoretic constructions in complexity theory over algebraic structures
Two Additions to Positive Implication
Model Companions of Distributive p-Algebras
On Homogeneity and Definability in the First-Order Theory of the Turing Degrees
The Wadge order on the Scott Domain is not a Well-quasi-order
An Algebraic Characterization of Power Set in Countable Standard Models of ZF
Interpreting Classical Theories in Constructive Ones