yusuke1997/dblp-id-title huggingface dataset:
Definability in Terms of the Successor Function and the Coprimeness Predicate in the Set of Arbitrary Integers
Alfred Tarski and Undecidable Theories
Krull Dimension in Modal Logic
Elimination of imaginaries in expansions of o-minimal structures by generic sets
Torre Models in the Isols
Countable Models of Trivial Theories Which Admit Finite Coding
Complete Boolean Ultraproducts
Meeting of the Association for Symbolic Logic Houston, 1978
The Special Model Axiom in Nonstandard Analysis
Jensen's Sigma * Theory and the Combinatorial Content of V=L
Concerning n-Tactics in the Countable-Finite Game
A stochastic interpretation of propositional dynamic logic: expressivity
Diophantine properties of sets definable in o-minimal structures
Bounding nonsplitting enumeration degrees
forall-Free Metabelian Groups
The Extensions of the Modal Logic K5
Gödel Sentences of Bounded Arithmetic
Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF
Some Formal Relative Consistency Proofs
Contextual Definitions in Nonextensional Languages
Existentially Complete Torsion-Free Nilpotent Groups
The Hanf Number for Complete L omega1, omega -Sentences (Without GCH)
Powers of the Ideal of Lebesgue Measure Zero Sets
On Logically False Evidence Statements
Paires Élémentaires de Corps Pseudo-Finis: Dénombrement des Complétions
The Liar Paradox and Fuzzy Logic
VOICULESCU'S THEOREM FOR NONSEPARABLE $\text{C}^{\ast} $ -ALGEBRAS
Formalized token models and duality in semantics: an algebraic approach
Henselian Valued Fields and InP-Minimality
Extensional Interpretations of Modal Logics
Modalities in the Survey System of Strict Implication
Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M
On enveloping type-definable structures
Supercompact Cardinals and Trees of Normal Ultrafilters
An Extension of the Craig-Lyndon Interpolation Theorem
A Note on a Theorem of Vaught
Heine-Borel Does not Imply the Fan Theorem
Some Results in Modal Model Theory
A Proofless Proof of the Barwise Compactness Theorem
A generalized Cantor Theorem in
A Discrete Chain of Degrees of Index Sets
Natural Models and Ackermann-Type Set Theories
Two questions from Dana Scott: Intuitionistic topologies and continuous functions
Square with Built-in Diamond-plus
Simplified Foundations for Mathematical Logic
The Relation of Recursive Isomorphism for Countable Structures
Iterating the cofinality- Constructible Model
Anomalous Vacillatory Learning
A Note on Recursive Relations
On the Notational Independence of Various Hierarchies of Degrees of Unsolvability
pi 1 1 Borel Sets
Compact and Majorizable Functionals of Finite Type
Bases and Borel Selectors for Tall families
Chaitin's ω as a continuous function
Centralisateurs génériques
Why Some People are Excited by Vaught's Conjecture
On Tarski's Axiomatic Foundations of the Calculus of Relations
Some Theorems on Definability and Decidability
A hierarchy for the plus cupping Turing degrees
On Gödel's Theorems on Lenghts of Proofs I: Number of Lines and Speedup for Arithmetics
Higher-order illative combinatory logic
Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987
Models of Arithmetic and Closed Ideals
Sequential Discreteness and Clopen-I-Boolean Classes
On Definition Trees of Ordinal Recursive Functonals: Reduction of the Recursion Orders by Means of Type Level Raising
Modalities and Quantification
Bisimulations and Predicate Logic
Set Theoretic Naturalism
Algebraic Expansions of Logics
The Complexity of The Core Model
The Word Problem for Division Rings
On the Ramsey Property for Sets of Reals
S3(S) = S3.5
On supersimplicity and lovely pairs of cats
An Undecidable Problem in the Algebra of Truth-Tables
Subsets of superstable structures are weakly benign
Some Questions Concerning the Cofinality of Sym(kappa)
Construction of Models for Algebraically Generalized Recursive Function Theory
On a problem of Cooper and Epstein
Isomorphisms of splits of computably enumerable sets
Forcing indestructibility of set-theoretic axioms
The nonstationary ideal in the ℛ max extension
On uniform definability of types over finite sets
Interpolation in Fragments of Intuitionistic Propositional Logic
Metarecursively Enumerable Sets and Their Metadegrees
Kurepa trees and Namba forcing
On singular stationarity II (Tight stationarity and Extenders-based Methods)
Approximate Euler characteristic, dimension, and weak pigeonhole principles
A Test for the Equality of Truth-Tables
On Power Set in Explicit Mathematics
An Abstract Elementary Class Nonaxiomatizable In ${L_{\infty , \kappa }}$
Semantics of the Infinitistic Rules of Proof
An Open Mapping Theorem for O-Minimal Structures
The mouse Set conjecture for Sets of Reals
Ramsey's Theorem in the Hierarchy of Choice Principles
On the Expressibility Hierarchy of Magidor-Malitz Quantifiers
Fine Structure for Tame Inner Models
Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables
The Cofinality of The Strong Measure Zero Ideal
New Foundations for Lewis Modal Systems
Abstract Logic and Set Theory. II. Large Cardinals
The Cofinality of Cardinal Invariants Related to Measure and Category
THE ${\text{\Sigma }}_1 $ -PROVABILITY LOGIC OF $HA^{\text{*}} $
Modal Analysis of Generalized Rosser Sentences
Correction to 'A Model Theoretic Characterisation of Effective Operations'
Small Forcings and Cohen Reals
Relative Kolmogorov complexity and geometry
The Ideal Structure of Existentially Closed Algebras
Embedding Lattices into the wtt-Degrees below 0'
Pi 0 1 classes with complex elements
On the type-definability of the binding group in simple theories
No Jonsson Filters Over alef omega
Forcing Minimal Degree of Constructibility
A Cut-Free Gentzen-Type System for the Modal Logic S5
Hyper-Torre Isols
RECONSTRUCTION OF NON- ℵ0ℵ0\aleph _0 -CATEGORICAL THEORIES
Semi-Minimal Theories and Categoricity
Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole Principle
Turing Degrees and Many-One Degrees of Maximal Sets
A Predicative variant of Hyland's Effective Topos
Generalizations of the Kruskal-Friedman Theories
On the strength of two Recurrence theorems
Full Lambek Calculus with Contraction is Undecidable
Meeting of the Association for Symbolic Logic: Reno, 1976
Machine Learning of Higher-Order Programs
Low 5 Boolean subalgebras and computable copies
Meeting of the Association for Symbolic Logic: Chicago, 1977
Arithmetic Definability by Formulas with Two Quantifiers
Countable Homogeneous Relational Structures and N 0 -Categorical Theories
On Cantor's Theorem
PCF structures of height less than omega 3
Boolean Sentence Algebras: Isomorphism Constructions
Strong Reductions between Combinatorial Principles
Practical Forms of Type Theory
New Notes on Simplicity
On o-Minimal Expansions of Archimedean Ordered Groups
Classes of Ulm type and coding rank-homogeneous trees in other structures
Meeting of the Association for Symbolic Logic: Hamilton, New Zealand, 1979
A Universal Inductive Inference Machine
Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof
On very high degrees
A New DP-Minimal Expansion of the Integers
${\cal D}$-MAXIMAL SETS
Addendum to "The Truth is Never Simple"
On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories
Trees and Pi 1 1 -Subsets of omega 1 \omega 1
Truth and Feasible Reducibility
The Bernays - Schönfinkel - Ramsey class for set theory: decidability
Number Systems with Simplicity Hierarchies: a Generalization of Conway's Theory of surreal numbers II
The Unity and Identity of Decidable Objects and double-Negation sheaves
On The Equational Theory of Representable Polyadic Equality Algebras
Closed maximality principles: implications, separations and combinations
Classifications of Generalized Index Sets of Open Classes
Valuation theoretic content of the Marker-Steinhorn theorem
On Ideals of Subsets of the Plane and on Cohen Reals
A theory for Log-Space and NLIN versus coNLIN
Canonical bases in excellent classes
A Hierarchy of Families of Recursively Enumerable Degrees
Strongly 2-Dimensional Theories
Deducibility with Respect to Necessary and Impossible Propositions
The Consistency of System Q
On Ternary Logic
A theorem on partial conservativity in arithmetic
Recursion Theory in a Lower Semilattice
Definable Henselian Valuations
Number Systems with Simplicity Hierarchies: A Generalization of Conway's Theory of Surreal Numbers
The Consistency of Some 4-Stratified Subsystem of NF Including NF 3
Some Calculi with Strong Negation Primitive
Some Proofs of Independence in Axiomatic Set Theory
DOP and FCP in Generic Structures
Pa Relative to an Enumeration Oracle
The Isomorphism Property in Nonstandard Analysis and Its Use in the Theory of Banach Spaces
A Measure Representation Theorem for Strong Partition Cardinals
First-order characterization of the radical of a finite group
Number of Countable Models
On countable chains having decidable monadic theory
On Generic Elementary Embeddings
Precipitous Towers of Normal Filters
Implicit Definability and Infinitary Languages
A definability result for compact complex spaces
Relevant Entailment-Semantics and Formal Systems
Omitting Types of Prenex Formulas
Model theory of comodules
Degree Theoretical Splitting Properties of Recursively Enumerable Sets
Meeting of the Association for Symbolic Logic: Chicago, 1985
Some Representations of Diophantine Sets
Remarks on Weak Notions of Saturation in Models of Peano Arithmetic
An application of Kochen's theorem
On Atomic or Saturated Sets
A Unified Completeness Theorem for Quantified Modal Logics
A Proof of Zermelo's Theorem
Abacus Logic: The Lattice of Quantum Propositions as the Poset of a Theory
lambda mu - Calculus and Böhm's Theorem
Proper Classes
Model Theory Under the Axiom of Determinateness
There Exist Exactly Two Maximal Strictly Relevant Extensions of The Relevant Logic R
The Logical Simplicity of Predicates
Une Generalisation de L'Ultraproduit
Decidability and 0 -Categoricity of Theories of Partially Ordered Sets
An Unsolvable Problem in Number Theory
On the Interpretation of Non-Finitist Proofs - Part I
On constructing completions
On the automorphism Group of the Universal homogeneous Meet-Tree
The Axiom of Infinity in Quine's New Foundations
Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions
Extending Baire property by uncountably many sets
Sets Constructed from Sequences of Measures: Revisited
Almost Strongly Minimal Theories. I
Katětov order on MAD families
Finite Forcing, Existential Types and Complete Types
On the Compactness of Some Boolean Algebras
The reducts of equality up to primitive positive interdefinability
A simple maximality principle
Accessible Telephone Directories
An Algebraic Approach to Categories of Partial Morphisms
Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness
Implicational Formulas in Intuitionistic Logic
Mitchell-Inspired forcing, with Small Working parts and Collections of Models of Uniform Size as Side conditions, and Gap-One Simplified Morasses
Weakly one-based geometric theories
MRP , tree properties and square principles
On the cofinality of the least -strongly Compact cardinal
A Decidable Variety That Is Finitely Undecidable
UFA Fails in the Bell-Kunen Model
On Degrees of Unsolvability and Complexity Properties
Relative decidability and definability in henselian valued fields
Embeddings of P ( ω )/fin into Borel Equivalence Relations between ℓ P and ℓ Q
On Proving Consistency of Equational Theories in Bounded Arithmetic
Satisfaction relations for proper classes: applications in logic and set theory
(Extra)ordinary Equivalences with the ascending/descending sequence Principle
The Consistency Strength of Successive Cardinals with The Tree Property
On the failure of BD- and BD, and an application to the anti-Specker property
Equalization of Finite Flowers
The Consistency Problem for NF
Supplements of Bounded Permutation Groups
A Logic Stronger Than Intuitionism
Herbrand-Analysen Zweier Beweise Des Satzes von Roth: Polynomiale Anzahlschranken
Schlanke Körper (Slim fields)
Nonrecursive Tilings of the Plane. II
Locally Constant Functions in C -Minimal Structures
Amenable Versus Hyperfinite Borel Equivalence Relations
U-Lusin Sets in Hyperfinite Time Lines
Some Structural Results Concerning Supercompact Cardinals
Axiomatizing Kripke's Theory of Truth
A Functorial Property of the Aczel-Buchholz-Feferman Function
Analytic and coanalytic families of almost disjoint functions
Mitotic Recursively Enumerable Sets
On Ackermann's Set Theory
Probabilities on Finite Models
Completeness and Herbrand theorems for nominal logic
The Reverse Mathematics of theorems of Jordan and Lebesgue
Axiomatization of Polynomial Substitution Algebras
On Power-like Models for Hyperinaccessible Cardinals
Determinateness of Certain Almost-Borel Games
A Result of Relative Consistency About the Predicate WO(delta, kappa)
Maximal Chains in the Fundamental Order
Minimality in the \triangle 1 3 -Degrees
Seventh Meeting of the Association for Symbolic Logic
Decidability of Scott's Model as an Ordered Q-Vectorspace
Tenth Meeting of the Association for Symbolic Logic
Constructive Definition of Certain Analytic Sets of Numbers
On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic
The proofs of alpha -> alpha in P-W
Additive Reducts of Real Closed Fields
Some Results for Implicational Calculi
Large Discrete Parts of the E-Tree
On The Admissible Rules of Intuitionistic Propositional Logic
Formal Development of Ordinal Number Theory
A weak variation of Shelah's I[omega 2 ]
Logic and Time
Cores of pi 1 1 Sets of Reals
Algebraic Geometry for MV-Algebras
On the Angular Component Map Modulo P
On Talagrand's Exhaustive pathological submeasure
A phase semantics for polarized linear logic and second order conservativity
Tarski's Problem for Varieties of Groups with a Commutator Identity
Indécidabilité de la Théorie des Paires Immédiates de Corps Valués Henseliens
A Parameterized Halting Problem, $ \Delta _0$ Truth and the Mrdp Theorem
Separating the Fan Theorem and its weakenings II
Additivity properties of topological diagonalizations
Axiomatization of the Infinite-Valued Predicate Calculus
On Confirmation and Rational Betting
Partition Properties and Prikry Forcing on Simple Spaces
Valued Modules over skew Polynomial Rings I
On Products of Elementarily indivisible Structures
Computability Theory, Nonstandard Analysis, and their Connections
Meeting of the Association for Symbolic Logic: Singapore 1981
A Hierarchy for the 1-Section of Any Type Two Object
Dp-Minimal Valued Fields
Constructible Falsity
A r-Maximal Vector Space not contained in any Maximal Vector Space
Generalized Fitting Subgroup of a Group of Finite Morley Rank
Pointless Metric Spaces
Ample thoughts
Amalgamation in Relational Algebras
A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality
Motives for perfect PAC fields with pro-cyclic Galois group
Ramsey's Coheirs
ω-powers and descriptive set theory
Ninth Meeting of the Association for Symbolic Logic
Twenty-Sixth Annual Meeting of the Association for Symbolic Logic
On the Interpretation of Combinators with Weak Reduction
Definability with a predicate for a semi-linear set
Intuitionistic Tense and Modal Logic
R.E. Presented Linear Orders
A Generalization of the Concept of |omega-Consistency
Fraïssé Limits of C*-Algebras
Maximal chains in the Turing degrees
Strong 0-1 Laws in Finite Model Theory
Emch's Calculus and Strict Implication
Many-Valued Logics of Extended Gentzen Style II
Coordinatisation and Canonical Bases in Simple Theories
Cell Decomposition and Classification of Definable Sets in P-Optimal Fields - Corrigendum
A Coding Theorem for Isols
Sequent-Systems for Modal Logic
Asymptotic classes of finite structures
Recursion Theory and Formal Deducibility
Undecidability of representability as binary relations
On Complexity Properties of Recursively Enumerable Sets
An Example Concerning Scott Heights
Generic Expansions of Structures
Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics
Standard Foundations for Nonstandard Analysis
Identity Crisis between supercompactness and VǒPenka's Principle
Note on a Conjecture of Skolem
Strongly minimal groups in the theory of compact complex spaces
Modal Operators on Rings of Continuous Functions
Scientific Discovery Based on Belief Revision
Intensional Interpretations of Functionals of Finite Type I
The Mean Value Theorem in Second Order Arithmetic
Markov's Principle and Subsystems of intuitionistic Analysis
Stacking mice
Generalized Interpolation Theorems
A Note on Defining Groups in Stable Structures
Relation Algebras of Every Dimension
Consistency and Completeness of the Theory of Combinators
Perfect trees and elementary embeddings
Sigma 2 Induction and Infinite Injury Priority Argument, Part I: Maximal Sets and the Jump Operator
Conservations of First-order Reflections
Twilight Graphs
Conservativity for Theories of Compositional Truth via Cut Elimination
On The Recursion Theorem in Iterative Operative Spaces
Smooth Classes without AC and Robinson Theories
Automorphism Groups of saturated Models of Peano Arithmetic
On The Restraining Power of Guards
Positive sum Operations on Ordinals and Normal Filters on Greatly Mahlo Cardinals
Valuation Structure
The Implicitly Constructible Universe
Structural Properties and Sigma 0 2 Enumeration Degrees
La Logique des Topos
Nonrecursive Combinatorial Functions
Definability and Undefinability with Real Order at The Background
The Logic of Choice
Isomorphism relations on computable structures
ω -Change Randomness and Weak Demuth Randomness
omega 1 -Like Recursively Saturated Models of Presburger's Arithmetic
Potential isomorphism of elementary substructures of a strictly stable homogeneous model
Strongly and co-strongly minimal abelian structures
Resolution in Type Theory
Left Maximal and strongly Right Maximal idempotents in G
Computability, Orders, and Solvable Groups
Weak Liberated Versions of T and S4
An Algebraic Approach to Intuitionistic Connectives
Computably isometric spaces
Quantifying over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of forall p and exists p
Dualization of The Van Douwen Diagram
Decomposition of Totally Transcendental Modules
Lattice Embeddings into the Recursively Enumerable Degrees II
Existentially Closed Structures and Gödel's Second Incompleteness Theorem
XVIIème Problème de Hilbert sur les Corps Chaiîne-Clos
ON THE C.E. DEGREES REALIZABLE IN $\Pi ^0_1$ CLASSES
Reflection Principles and Iterated Consistency Assertions
A Logical Presentation of the Continuous Functionals
The Real Line in Elementary Submodels of Set Theory
Slow Growing Versus Fast Growing
A Normal Form Theorem for L omega 1p , with Applications
The Modal Logic of Inequality
On the Sigma 2 -Theory of the Upper Semilattice of Turing Degrees
A Remark Concerning Decidability of Complete Theories
On a Topological Construction of Juhasz and Shelah
Reals n -generic relative to some perfect tree
Hanf Numbers for Omitting Types Over Particular Theories
A Proof Theoretic Proof of Scott's General Interpolation Theorem
Weak Cylindric Set Algebra and Weak Subdirect Indecomposability
Completeness Properties of Heyting's Predicate Calculus with Respect to RE Models
Degree Theoretic Definitions of the low 2 Recursively Enumerable Sets
Weakly Compact Cardinals: A Combinatorial Proof
Fusing o-minimal structures
Towards a Consistent Set-Theory
Inconsistent Models of Arithmetic Part II: The General Case
Almost Galois ω -Stable Classes
The Model-Companion of a Class of Structures
An Absoluteness Principle for Borel Sets
A Proof of Morley's Conjecture
Simplified Morasses
The Covering Numbers of Mycielski Ideals Are All Equal
Elementary Embeddings Between Countable Boolean Algebras
Kolmogorov Complexity and Symmetric Relational Structures
A Revision of the Fundamental Rules of Combinatory Logic
A computably categorical structure whose expansion by a constant has infinite computable dimension
Forcing properties of ideals of closed sets
Fields of Finite Morley Rank
Classifying Positive Equivalence Relations
Pretopologies and Completeness Proofs
Reflecting on Incompleteness
Self-Embeddings of Models of Arithmetic; fixed Points, Small Submodels, and extendability
The Number of Proofs for a BCK-Formula
A note on superstable groups
Peano Arithmetic Maybe Not Be Interpretable in the Monadic Theory of Linear Orders
An inner model for global domination
On the Elementary Theory of Restricted Elementary Functions
Topological cell Decomposition and Dimension Theory in P-Minimal Fields
3088 Varieties A Solution to the Ackermann Constant Problem
Geometric Representation in the Theory of Pseudo-finite Fields
Namba forcing, Weak Approximation, and Guessing
Generic Trees
Interpreting Arithmetic in the First-order Theory of Addition and Coprimality of Polynomial Rings
A Limit on Relative Genericity in the Recursively Enumerable Sets
Lascar Strong Types in Some Simple Theories
Acknowledgement of Priority
The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories
Quantifier elimination in valued Ore modules
Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes
A Constructive Proof of McNaughton's Theorem in Infinite-valued Logic
Proving Consistency of Equational Theories in Bounded Arithmetic
Fibring: Completeness Preservation
A Formalization of Inductive Logic
Omitting types for finite variable fragments and complete representations of algebras
Structures Elementarily Closed Relative to a Model for Arithmetic
The strength of Blackwell determinacy
On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus
Axioms for the Set-Theoretic Hierarchy
Counterexamples to the unique and cofinal branches hypotheses
Corrigendum to: "On Lascar rank and Morley rank of definable groups in differentially closed fields"
S-Homogeneity and Automorphism Groups
PFA implies AD L(ℝ)
Canonical Formulas for K4, Part I: Basic Results
The Comlexity of Odd A n
Single Premise Post Canonical Forms Defined Over One-Letter Alphabets
Reduction of Tense Logic to Modal Logic. I
Pi 1 3 Sets and Pi 1 3 Singletons
Generic Variations of Models of T
Strongly Compact Cardinals, Elementary Embeddings and Fixed Points
Rings Which Admit Elimination of Quantifiers
A Generalization of the Concept of omega-Completeness
Prenex Normal Form theorems in Semi-Classical Arithmetic
Nonuniformization Results for the Projective Hierarchy
Independence of Strong Partition Relation for Small Cardinals, and the Free-Subset Problem
Leibnizian models of set theory
Generic existence of MAD families
Monoid Based Semantics for Linear Formulas
Note on a Recent Set of Postulates for the Calculus of Propositions
Fusion of 2-Elements in Groups of Finite Morley Rank
Algebraic Logic Conference
The Cofinality of The Random Graph
Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic
The Combinatorics of the Splitting Theorem
Descriptive complexity of finite structures: Saving the quantifier rank
Jump degrees of torsion-free abelian groups
Some Consequences of an Infinite-Exponent Partition Relation
The Axiom of Choice for Well-Ordered Families and for Familes of Well-Orderable Sets
Properties and consequences of Thorn-independence
Double Jumps of Minimal Degrees
Corrections to "Where Do Sets Come From?"
Determinacy and JóNsson Cardinals in L (ℝ)
Tree Forcing and Definable Maximal Independent Sets in Hypergraphs
On Quine's Axioms of Quantification
An Axiomatic Approach to Free Amalgamation
Recursively Saturated Nonstandard Models of Arithmetic
Two-variable Logic has Weak, but not Strong, Beth Definability
Q-pointness, P-pointness and feebleness of ideals
Axiomatic Recursion Theory and the Continuous Functionals
Addendum to the Article Implication and Deducibility
A polynomial translation of S4 into intuitionistic logic
Twenty-Second Annual Meeting of the Association for Symbolic Logic
Distributive Ideals and Partition Relations
A Model Theoretic Approach to Malcev Conditions
Defining Multiplication in o-Minimal Expansions of the Additive Reals
Ramsey's theorem and cone avoidance