yusuke1997/dblp-id-title huggingface dataset:
The Truth about Some Post Numbers
Stably Measurable Cardinals
Independence of the Primitive Symbols of Lewis's Calculi of Propositions
On complex exponentiation restricted to the integers
Criteria of Constructibility for Real Numbers
The Definability strength of Combinatorial Principles
N-Berkeley Cardinals and Weak Extender Models
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A
On Boolean Algebras and Integrally Closed Commutative Regular Rings
An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality
Existence of Modeling Limits for sequences of Sparse Structures
Subsimple groups
Step by Step - Building Representations in Algebraic Logic
The Independence of delta 1 n
The complexity of squares in the group of isometries of the Baire space
The Amsterdam Meeting of the Association for Symbolic Logic
Recursive Inseparability for Residual Bounds of Finite Algebras
Countable Models of the Theories of Baldwin-Shi hypergraphs and their Regular Types
On Generalized Computational Complexity
Definability and Definable Groups in Simple Theories
Partial impredicativity in reverse mathematics
Fibred Algebraic Semantics for a Variety of non-Classical First-order Logics and Topological Logical Translation
Jumping Through the Transfinite: The Master Code Hierarchy of Turing Degrees
The Cylindric Algebras of Three-Valued Logic
Defining Algebraic Elements
Skolem Reduction Classes
A Q-Wadge Hierarchy in quasi-Polish Spaces
Propositional Proof Systems, the Consistency of First Order Theories and the Complexity of Computations
The Upper Semilattice of Degrees <0? Is Complemented
Existential definability with bounds on archimedean valuations
A note on Predicative Ordinal Analysis I: Iterated Comprehension and Transfinite Induction
Undecidable Lt Theories of Topological Abelian Groups
Zero-One Laws with Variable Probability
Two Concepts From the Theory of Models
Finite Partially-Ordered Quantification
On the Ultrafilter of Closed, Unbounded Sets
Nfsi is not Included in NF3
Shelah's Work on Non-Semi-Proper Iterations, II
Forcing With \triangle Perfect Trees and Minimal \triangle-Degrees
A Proof-Theoretic Characterization of the Primitive Recursive Set Functions
On R.E. and CO-R.E. Vector Spaces with Nonextendible Bases
A Set of Axioms for Logic
Comparing Notions of Similarity for Uncountable Models
The DP-Rank of Abelian Groups
Partial Orderings of Fixed Finite Dimension: Model Companions and Density
Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions
Some Forms of Completeness
A Star-Free Semantics for R
On the Structure of Quantum Logic
Degrees Coded in Jumps of Orderings
Philosophical Implications of Tarski's Work
End-Extensions Preserving Power Set
Computable embeddings and strongly minimal theories
Toward Useful Type-Free Theories. I
Universally measurable subgroups of countable index
Separation and Weak König's Lemma
On Completely Recursively Enumerable Classes and Their Key Arrays
A Note on Countable Complete Theories Having Three Isomorphism Types of Countable Models
aleph 0 -Categorical Tree-Decomposable Structures
Decidability Problem for Finite Heyting Algebras
A Universal Embedding Property of the RETs
Abstract Computability and Invariant Definability
The Poset of All Logics II: Leibniz Classes and Hierarchy
More About Uniform Upper Bounds on Ideals of Turing Degrees
On Requirements for Conditional Probability Functions
The Elementary Theory of Free Pseudo p-adically Closed Fields of Finite Corank
Separating Stationary Reflection Principles
Group Configurations and Germs in Simple Theories
Finitary Reducibility on Equivalence Relations
An Investigation on the Logical Structure of Mathematics (V).1 Contradictions of Russell's Type
Modules of Existentially Closed Algebras
Canonical Models for Fragments of the Axiom of Choice
Connectedness in Structures on the Real numbers: O-Minimality and Undecidability
Proper Classes via the Iterative Conception of Set
Lowness for Kurtz randomness
Modus Ponens Under Hypothesis
Finite-to-one maps
Tores et p-Groupes
Reducibilities in Two Models for Combinatory Logic
A Basis Result in Combinatory Logic
A Decidable Subclass of the Minimal Godel Class with Identity
Stable Structures with Few Substructures
kappa-stationary subsets of kappa + lambda, infinitary games, and distributive laws in Boolean algebras
An Incorrect Theorem
The Density of the Meet-Inaccessible r. e. Degrees
Normal Functions and Constructive Ordinal Notations
Uniform Inseparability in Explicit Mathematics
The Undecidability of the Pi 4 -Theory for the R. E. WTT and Turing Degrees
The Inadequacy of Kripke's Semantical Analysis of D2 and D3
A Combinatorial Property of the Homomorphism Relation between Countable Order Types
On Axiomatizing Fragments
Some Structure Results for Propositional Calculi
The Substitution Method
Creatures on omega 1 and weak diamonds
On Formulas with Valid Cases
Foundational Aspects of Theories of Measurement
R.J. Thompson's Groups F and T are bi-Interpretable with the Ring of the Integers
Some Remarks on the Partition Calculus of Ordinals
Diamonds, Uniformization
An Extension of The Cobham-Semënov Theorem
The Π 3 -theory of the Σ 0 2 -enumeration degrees is undecidable
Satisfaction for n-th Order Languages Defined in n-th Order Languages
Double-exponential inseparability of Robinson subsystem Q +
Cantorian Models of Predicative
The proper forcing axiom and the singular cardinal hypothesis
Atomless varieties
Minimal But Not Strongly Minimal Structures with Arbitrary Finite Dimensions
Information in Propositional Proofs and Algorithmic Proof Search
Proper Forcing and Remarkable Cardinals II
On Recursion Theory in I Sigma 1
A System of Formal Logic Without an Analogue to the Curry W Operator
Open Sentences and the Induction Axiom
Effectively Extensible Theories
Searching for an analogue of Atr0 in the Weihrauch Lattice
Complete Types and the Natural Numbers
Large Resplendent Models Generated by Indiscernibles
Model theoretic connected components of finitely generated nilpotent groups
On the Standard Part of Nonstandard Models of Set Theory
Double Jumps of Minimal Degrees Over Cardinals
On Choice Sequences Determined by Spreads
The Effective Content of Surreal Algebra
Classifying model-theoretic properties
Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories
A Modified Sentence Unprovable in PA
Definitions of Compactness and The Axiom of Choice
Rules of Inference with Parameters for Intuitionistic Logic
Simultaneous reflection and impossible ideals
A Normal Modal Calculus Between T and S4 Without the Finite Model Property
The Elimination of Contextually Defined Predicates in a Modal System
A Note on Some Intermediate Propositional Calculi
Model theory without choice? Categoricity
How Connected Is the Intuitionistic Continuum?
Équations Génériques Dans Un Groupe Stable Nilpotent
Weak systems of determinacy and arithmetical quasi-inductive definitions
Separating the Fan Theorem and its weakenings
Partition Properties of M-Ultrafilters and Ideals
Automorphism Properties of Stationary Logic
On Large Cardinals and Partition Relations
Computational Complexity, Speedable and Levelable Sets
Degrees of Models
Definitions of Compact
The Development of Arithmetic in Frege's Grundgesetze der Arithmetik
Saturated Ideals
A Criterion for Completeness of Degrees of Unsolvability
On the Undecidability of Finite Planar Graphs
Stretchings
On the Construction of Venn Diagrams
Church-Rosser Theorem for Typed Functional Systems
The Tree of Tuples of a Structure
The Separation Theorem of Intuitionist Propositional Calculus
On Finite Lattices of Degrees of Constructibility
Pseudoprojective Strongly Minimal Sets Are Locally Projective
On Cohesive powers of linear Orders
Dimension inequality for a definably Complete uniformly Locally O-Minimal Structure of the second kind
Distinct iterable branches
An Independence Theorem for Ntp 2 Theories
Simplicial structures in MV-algebras and logic
A Note on Cardinal Exponentiation
Hanf Number of Omitting Type for Simple First-Order Theories
Many-one Degrees Associated With Problems of Tag
Existentially Closed Models via Constructible Sets: There are 2 aleph 0 Existentially Closed Pairwise Non Elementarily Equivalent Existentially Closed Ordered Groups
A logic for metric and topology
On a Problem of MacDowell and Specker
Randomness, relativization and Turing degrees
A Partial Functions Version of Church's Simple Theory of Types
On the Set-Theoretic strength of Ellis' Theorem and the existence of Free Idempotent Ultrafilters on ω
QL(ℂ n ) determines n
Hindman's theorem: an ultrafilter argument in second order arithmetic
A Syntactical Characterization of S5
On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers
One Hundred and Two Problems in Mathematical Logic
A Reduction to the Compact Case for Groups Definable in O-Minimal Structures
Ordinal Analysis of Terms of Finite Type
Two Forms of the Axiom of Choice for an Elementary Topos
Some Recent Developments in Higher Recursion Theory
Yet Another Ideal Version of the Bounding number
On Dedekind Complete O-Minimal Structures
The Pseudopower Dichotomy
Higher-order semantics and extensionality
Independently axiomatizable L omega 1 , omega theories
Tree structures associated to a family of functions
Degree Spectra of Intrinsically C.E. Relations
An S max Variation for One Souslin Tree
Limiting Recursion
Resolving Infinitary Paradoxes
Separably Closed Fields and contractive Ore Modules
Degrees of Unsolvability Associated with Classes of Formalized Theories
A Construction of Type: Type in Martin-Löf's Partial Type Theory with One Universe
An Abstract Church-Rosser Theorem. II: Applications
Why Solovay Real Produces Cohen Real
Almost everywhere domination
Supercompact Cardinals, Elementary Embeddings and Fixed Points
Correspondences between Gentzen and Hilbert systems
More on Galois Cohomology, Definability, and differential Algebraic Groups
Reflection ranks and Ordinal Analysis
The Characterization of Monadic Logic
The Complexity of Index Sets of Classes of computably Enumerable Equivalence Relations
Notions of Locality and Their Logical Characterizations over Finite Models
Non-branching degrees in the Medvedev lattice of Π 0 1 classes
Taking Reinhardt's Power Away
Definable FN Bases
Applications of Vaught Sentences and the Covering Theorem
U-Meager Sets when the Cofinality and the Coinitiality of U Are Uncountable
A Propositional Calculus with Denumerable Matrix
The Model Companion of differential Fields with Free operators
Über eine Art Von Unvollständigkeit des Prädikaten-Kalküls der Ersten Stufe
The Classification of Small Types of Rank omega, Part I
Constructive reflectivity Principles for Regular Theories
Meeting of the Association for Symbolic Logic: St. Louis 1972
The Fluted Fragment Revisited
Order Types of Ordinals in Models of Set Theory
An Independence Result in Quadratic Form Theory: Infinitary Combinatorics Applied to epsilon-Hermitian Spaces
Hod, V and the GCH
A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS
Note on a System of Myhill
Factorials of Infinite Cardinals in ZF Part I: ZF Results
SELF-DIVISIBLE ULTRAFILTERS AND CONGRUENCES IN $\beta {\mathbb {Z}}$
Model Theory and Combinatorics of banned sequences
Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories
Notes on extremal and Tame Valued Fields
Isomorphism of Structures in S-Toposes
MüNchhausen Provability
The Deduction Theorem for Quantum Logic - Some Negative Results
A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology
A Finite Arithmetic
Local K c constructions
Computability results used in differential geometry
Simplified Axioms for Many-Valued Quantification Theory
Some Local Definability Results on Countable Topological Structures
A Boolean Ultrapower which is not an Ultrapower
Avoiding Effective Packing Dimension 1 below array Noncomputable C.E. Degrees
Some Theories Associated with Algebraically Closed Fields
A New Minimal non-σ-scattered linear order
Structural Properties of the stable Core
A Model in which the Base-Matrix Tree Cannot have Cofinal Branches
The Definability of E(alpha)
An Introduction to Forking
One Theorem of Zil'ber's on Strongly Minimal Sets
Stable types in rosy theories
On the Possibility of a Sigma 1 2 Well-Ordering of the Baire Space
An Unsolved Problem in the Theory of Constructive Order Types
Abelian Groups Definable in P -Adically closed Fields
On Virtual Classes and Real Numbers
The Metatheory of the Classical Propositional Calculus is not Axiomatizable
Strong extension axioms and Shelah's zero-one law for choiceless polynomial time
On the Semantics of the Henkin Quantifier
On the complexity of proof deskolemization
Model Companions and k-Model Completeness for the Complete Theories of Boolean Algebras
Amoeba-Absoluteness and Projective Measurability
Ideal Independent families and the Ultrafilter number
Class forcing, the forcing Theorem and Boolean Completions
The Completeness Theorem for Infinitary Logic
Generalized high degrees have the complementation property
Higher dimensional cardinal characteristics for Sets of Functions II
The Classification of Excellent Classes
Resultats Optimaux sur L'Existenece d'une Partie Entiere dans les Corps Ordonnes
Strong Analogues of Martin's Axiom Imply Axiom R
Truths, Inductive Definitions, and Kripke-Platek Systems over Set Theory
Covering Analytic Sets by Families of Closed Sets
On Foreman's Maximality Principle
On the decidability of the real field with a generic power function
A Weak Absolute Consistency Proof for Some Systems of Illative Combinatory Logic
An Intuitionistic Proof of Tychonoff's Theorem
The Interpretation of Unsolvable lambda-Terms in Models of Untyped lambda-Calculus
Spectra of atomic theories
The N 1 -Categoricity of Strictly Upper Triangular Matrix Rings Over Algebraically Closed Fields
Correction to "T-Convexity and Tame Extensions II"
On the Calculus of Relations
The exact strength of the class forcing Theorem
Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁
Finite Kripke Models and Predicate Logics of Provability
Another Intuitionistic Completeness Proof
A Characterization of 2-Square Ultrafilters
The Representation Theories of Elementarily Equivalent Rings
Nowhere Precipitousness of Some Ideals
Analytic countably splitting families
A Dichotomy for the Definable Universe
On Two Hierarchies of Dimensions
Approachability and games on posets
Closure Properties of Almost-Finiteness Classes in Recursive Function Theory
Finite Nest Structures and Propositional Logic
Stable definability and generic relations
How Is It that Infinitary Methods Can Be Applied to Finitary Mathematics? Gödel's T: A Case Study
A Theorem on the Isomorphism Property
Borel structures and Borel theories
Closure Properties of Measurable Ultrapowers
One More Aspect of Forcing and Omitting Types
On Theories Categorical in Their Own Power
On Elementary Embeddings from An Inner Model to The Universe
Hereditary Undecidability of Some Theories of Finite Structures
Forcing Disable
Determinacy and the Sharp Function on Objects of Type k
Asymptotic theory of modules of separably closed fields
Supercompact Cardinals, Trees of Normal Ultrafilters, and the Partition Property
Logic and Linguistics Meeting, Stanford, 1987
sigma 1 -Separation
Weak Heirs, Coheirs, and the Ellis Semigroups
On the Craig-Lyndon Interpolation Theorem
Generically Stable Regular Types
Benign cost functions and lowness properties
Ramsey Cardinals and Constructibility
Complexity Bounds on Proofs
On The Convergence of Query-Bounded Computations and Logical Closure Properties of C.E. Sets
Automatic continuity for homomorphisms into free products
Canonicity for Intensional Logics with Even Axioms
More on Entangled Orders
Bounding prime models
The theory of tracial von Neumann algebras does not have a model companion
Normalization Theorems for Full First Order Classical Natural Deduction
First order quantifiers in~monadic second order logic
Limitations on the Fraenkel-Mostowski Method of Independence Proofs
The Ordered Field of Real Numbers and Logics with Malitz Quantifiers
Sequentially Continuous Linear Mappings in Constructive Analysis
Uniform Gentzen Systems
Discontinuous Homomorphisms of with
A Theorem Concerning the Composition of Functions of Several Variables Ranging Over a Finite Set
Meeting of the Association for Symbolic Logic: New York, 1975
Coding complete theories in Galois groups
On the Compactness of N 1 and N 2
Relational Proof System for Relevant Logics
The Rudin-Keisler Ordering of P-Points under 𝔟 = 𝔠
Maximal and Cohesive Vector Spaces
Definable Incompleteness and Friedberg Splittings
Another Algorithm for Bracket Abstraction
The Uniform Regular Set Theorem in a-Recursion Theory
An AX-Kochen-Ershov Theorem for Monotone differential-Henselian Fields
Approximating Trees as Coloured linear Orders and Complete Axiomatisations of some Classes of Trees
Note on an Induction Axiom
A finite model-theoretical proof of a property of bounded query classes within PH
Taking Out LK Parts from a Proof in Peano Arithmetic
Self-Commuting Quantifiers
Sets Equipollent to their Power Set in NF
A P-Minimal Structure without Definable Skolem Functions
Extensions of Some Theorems of Gödel and Church
Tensor Products of Polyadic Algebras
More on Cichon's Diagram and Infinite Games
Representations of Calculi
Model Theoretic Properties of Metric Valued Fields
The Pure Part of HYP(M)
An alternative semantics for quantified relevant logic
Decidability of Some Intuitionistic Predicate Theories
Undecidable Sentences Generated by Semantic Paradoxes
Adding Dominating Reals with omega omega Bounding Posets
Partitions and Filters
Bad Models in Nice Neighborhoods
On the Complexity of the Theories of Weak Direct Powers
Permutation Methods Applied to Quine's "New Foundations"
Nonfinite Axiomatizability Results for Cylindric and Relation Algebras
Strong Axioms of Infinity in NFU
Relative Enumerability in the Difference Hierarchy
Rank and Randomness
Automorphisms Moving All Non-Algebraic Points and an Application to NF
Complexity of Equivalence Relations and Preorders from Computability Theory
An alpha-Finite Injury Method of the Unbounded Type
Computable categoricity of trees of finite height
A Structure Theorem for Semibounded Sets in the Reals
A Minimal Counterexample To Universal Baireness
Regular Subalgebras of Complete Boolean Algebras
The Next Best Thing to a P-Point
On Computable Automorphisms of The Rational Numbers
On the Definition of 'Formal Deduction'
On the Complexity of Propositional Quantification in Intuitionistic Logic
A Classification of 2-Chains having 1-Shell Boundaries in rosy Theories
Recursive Constructions in Topological Spaces
A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property
An Incompleteness Theorem via Ordinal Analysis
More ZFC inequalities between cardinal Invariants
Contraction-Free Sequent Calculi for Intuitionistic Logic
Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices
Sequences of n-Diagrams
On algebraic closure in pseudofinite fields
On Maximal Theories
Extremely Undecidable Sentences
The Inclusion-Exclusion Principle for Finitely Many Isolated Sets
A Theorem on Minimal Degrees
Finite Combinatory Processes-Formulation 1
A Preservation Theorem for EC-Structures with Applications
A Recursive Nonstandard Model of Normal Open Induction
On the Category of Models of a Complete Theory
Quantifier Elimination for Neocompact Sets
Scott Analysis of Pseudotypes
Ideal operators and Higher Indescribability
Nonisomorphism of Lattices of Recursively Enumerable Sets
Nonrecursive Tilings of the Plane. I
Whither Relevant Arithmetic?
Compactly Expandable Models and Stability
Generalization of a Lemma of G. F. Rose
From index sets to randomness in EMPTY SET n : random reals and possibly infinite computations. Part II
Computable Structures in Generic Extensions
The Undecidability of Second Order Linear Logic Without Exponentials
Infinite Chains and Antichains in Computable Partial Orderings
A Certain Class of Models of Peano Arithmetic
Expanding the Reals by continuous Functions Adds no Computational Power
Type-definable and invariant groups in o-minimal structures
On the Number of Automorphisms of Uncountable Models
Liftez Les Sylows! Une Suite À "Sous-Groupes Périodiques D'Un Groupe Stable"
Predicativity through Transfinite Reflection
The Relative Consistency of g < cf (Sym(omega))
Undecidable Relativizations of Algebras of Relations
Forbidden Subgraphs and Forbidden Substructures
Experimental Logics and pi 0 3 Theories
Rank-to-Rank Embeddings and steel's Conjecture
A ${\rm{\Sigma }}_4^1 $ WELLORDER OF THE REALS WITH ${\rm{NS}}_{\omega _1 } $ SATURATED
On Existence Proofs of Hanf Numbers
The additive group of the rationals does not have an automatic presentation
Strong Completeness of Fragments of the Propositional Calculus
A Survey of Proof Theory
Retraction of: "A normalization theorem for set theory"
On transitive subrelations of binary relations
Formal Languages Defined by the Underlying Structure of their Words
Cell Decomposition and Classification of Definable Sets in P-Optimal Fields
A Note on Frame Extensions
The Completeness of the First-Order Functional Calculus
Rainbow Ramsey Theorem for triples is strictly weaker than the Arithmetical Comprehension Axiom
Basic Modal Logic
Most(?) Theories Have Borel Complete Reducts
Factorials of Infinite Cardinals in ZF Part II: Consistency Results
Systems of Predicative Analysis, II: Representations of Ordinals
An Ideal Characterization of Mahlo Cardinals
Relative Predicativity and dependent Recursion in second-order Set Theory and Higher-order Theories
A new S4 classical modal logic in natural deduction
Special Selection in Logic in Computer Science
Stability Theory and Set Existence Axioms
Decidable Discriminator Varieties from Unary Varieties
The Rudin-Blass Ordering of Ultrafilters
On a result of Szemerédi
Large Cardinals and Lightface Definable Well-Orders, without the GCH
Zero-one law and definability of linear order
alpha-Degrees of Maximal a-R.E. Sets
A Simple Solution of the Uniform Halting Problem
The Strict Order Property and Generic Automorphisms
Undecidable Extensions of Skolem Arithmetic
Logical aspects of rates of convergence in metric spaces
On Theories Having a Finite Number of Nonisomorphic Countable Models
More on Proper Forcing
A Note on Direct Products
On The Strength of Ramsey's Theorem for Pairs
End-Extensions of Models of Weak Arithmetic from Complexity-Theoretic Containments
Scott Heights of Abelian Groups
Nonarithmetical aleph 0 -Categorical Theories with Recursive Models
Some Contributions to Definability Theory for Languages with Generalized Quantifiers
An Abstract Algebraic Logic Approach to Tetravalent Modal Logics
Normal subgroups of infinite symmetric groups, with an application to stratified set theory
A power function with a fixed finite gap everywhere
An Intuitionistically Plausible Interpretation of Intuitionistic Logic
Functional Completeness and Canonical Forms in Many-Valued Logics
ON ${\omega _1}$-STRONGLY COMPACT CARDINALS
A note on orthogonality and stable embeddedness
Modalities in Ackermann's "Rigorous Implication"
The Borel Complexity of Isomorphism for O-Minimal Theories
Concatenation as a Basis for Arithmetic
Ordinal Bounds for k-Consistency
Isomorphism of Locally Compact Polish Metric Structures
The Expressive Power of Fixed-Point Logic with Counting
Les Automorphismes d'un Ensemble Fortement Minimal
On the Reduction of the Decision Problem: Third Paper. Pepis Prefix, a Single Binary Predicate
On Isomorphism Classes of computably Enumerable Equivalence Relations
Schemas Pour Le Calcul Des Propositions Fonde Sur La Conjonction Et La Negation
Structure of summable Tall ideals under KATětov order
Turing computable embeddings
Compact Complex Manifolds with The Dop and Other Properties
Anneaux de Fonctions p-adiques
A Model of Peano Arithmetic with no Elementary End Extension
m-Valued Sub-System of (m+n)-Valued Propositional Calculus