yusuke1997/dblp-id-title huggingface dataset:
Logic with Truth Values in a Linearly Ordered Heyting Algebra
A Logical Analysis of Some Value Concepts
Borel equivalence relations which are highly unfree
Dimensional Groups and Fields
Logical Reflection and Formalism
Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes
Ultrafilters on the natural numbers
A reduction of the NF consistency problem
Strong compactness, square, GCH, and Woodin Cardinals
Nonstandard Logic
The Herbrand Functional Interpretation of the double Negation Shift
High and Low Kleene Degrees of Coanalytic Sets
A Very Discontinuous Borel Function
Strict Coherence on Many-Valued Events
Corrigendum to "Taxonomies of Model-Theoretically Defined Topological Properties"
After All, There Are Some Inequalities Which Are Provable in ZFC
On reals with Δ 2 0 -bounded complexity and compressive power
sigma 1 -Compactness and Ultraproducts
The Burali-Forti Paradox
Degrees of Sensible Lambda Theories
Model Theory of Fields with finite Group Scheme Actions
Modules with Few Types over Some Finite-Dimensional Algebras
PROVABLY $\Delta_1$ GAMES
Presburger Arithmetic with Unarr Predicates is Pi 1 1 Complete
The Theory of the Recursively Enumerable Weak Truth-Table Degrees Is Undecidability
Encodability of Kleene's O
Finite Relation Algebras
Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis
Circumscription within Monotonic Inferences
Interpretations of Kleene's Metamathematical Predicate T I A in Intuitionistic Arithmetic
Remarks on unimodularity
Limitwise monotonic functions, sets, and degrees on computable domains
Separably closed fields with Hasse derivations
On the Consistency of Self-Referential Systems
On Decidable Varieties of Heyting Algebras
A Model Theoretic Characterization of Effective Operations
The Interpretability Logic of Peano Arithmetic
Jonsson-like partition relations and j: V -> V
Effective Galois Theory
A rigid Kurepa Tree from a Free Suslin Tree
A 1-Generic Degree which Bounds a Minimal Degree
Remark on Nicod's Reduction of Principia Mathematica
Unfoldable Cardinals and The GCH
A Reflection Principle and its Applications to Nonstandard Models
On Bar Recursion of Types 0 and 1
General Models, Descriptions, and Choice in Type Theory
Large Cardinals and Large Dilators
A Model-Theoretic Proof for P unequal to NP over All Infinite Abelian Groups
Linear Reasoning in Modal Logic
The Relative Efficiency of Propositional Proof Systems
Frequency Computations and the Cardinality Theorem
Categoricity and U-rank in excellent classes
The tau-Theory for Free Groups Is Undecidable
The Word Problem for Semigroups with Two Generators
Diophantine Equivalence and Countable Rings
Constructing Many Atomic Models in ℵ1
Simulating polyadic modal logics by monadic ones
Orbit equivalence and actions of 픽 n
On theories and models in fuzzy predicate logics
Applications of PCF Theory to the Study of ideals on
The Number of Modalities in T Supplemented by the Axiom CL 2 pL 3 p
Elementary Embeddings and Infinitary Combinatorics
Nonregular ultrafilters on ω 2
Unary primitive recursive functions
${2^{{\aleph _0}}}$ Pairwise nonisomorphic Maximal-closed Subgroups of Sym(ℕ) via the Classification of the Reducts of the Henson digraphs
On the Existence of Atomic Models
A Recursion Theoretic Analysis of the Clopen Ramsey Theorem
An Algebraic Result about Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem
An Emendation of the Axiom System of Hilbert and Ackermann for the Restricted Calculus of Predicates
Types Omitted in Uncountable Models of Arithmetic
Fifth Southeastern Logic Symposium
On Post's Canonical Systems
A Theorem on Initial Segments of Degrees
On Strongly Minimal Sets
Trois Theoremes Sur L'Induction Pour Les Formules Ouvertes Munies De L'Exponentielle
Low upper bounds of ideals
Higher Gap Morasses, IA: Gap-Two Morasses and Condensation
Uniformization, Choice Functions and Well Orders in the Class of Trees
An example of a Polish group
Bar Induction and Pi 1 1 -CA 1
Forcing Constructions and Countable Borel Equivalence Relations
On generically stable types in dependent theories
On Restrictions of Ultrafilters From Generic Extensions To Ground Models
A Note on Finite Axiomatization of Partial Propositional Calculi
Infinitary Formulas Preserved Under Unions of Models
The Friedman - Sheard programme in intuitionistic logic
Syntactical Truth Predicates For Second Order Arithmetic
Ultrafilters of Character omega 1
An Axiomatics for Nonstandard Set Theory, Based on von Neumann-Bernays-Gödel Theory
Exact Bounds for Lengths of Reductions in Typed lambda-Calculus
Expansions of Models and Turing Degrees
Upper Bounds for Standardizations and An Application
The axiom of choice and combinatory logic
Global Quantification in Zermelo-Fraenkel Set Theory
Partitioning Pairs of Countable Sets of Ordinals
A Purely Syntactical Definition of Confirmation
Computability over The Partial Continuous Functionals
Cohen Reals From Small Forcings
Model Theory of Derivations of the Frobenius Map Revisited
U-Monad Topologies of Hyperfinite Time Lines
Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden
Bi-coloured fields on the complex numbers
Simple Groups of Morley Rank 5 are Bad
Domination, forcing, array nonrecursiveness and relative recursive enumerability
Decidability of Modules over a BéZout Domain D + xq [ X ] with d a Principal Ideal Domain and Q its Field of fractions
Contiguity and Distributivity in The Enumerable Turing Degrees - Corrigendum
Some Undecidable Problems Involving Elementary Functions of a Real Variable
Menger's covering property and groupwise density
Finite Inseparability of Some Theories of Cylindrification Algebras
Identity, Variables, and Impredicative Definitions
Discernible Elements in Models for Peano Arithmetic
Second Meeting of the Association for Symbolic Logic
Compact Numeral Representation with Combinators
Continuity Properties in Constructive Mathematics
Every n-Generic Degree Is a Minimal Cover of an n-Generic Degree
On the splitting number at Regular Cardinals
Some Notes on Nominalism
Identity Crises, Strong Compactness
Trial and Error Predicates and the Solution to a Problem of Mostowski
The Undecidability of the Definability of Principal Subcongruences
State-Strategies for Games in F G
Countable Unions of Simple Sets in the Core Model
A Semantics of Evidence for Classical Arithmetic
Consistency of strictly impredicative NF and a little more ..
A Downward Lowenheim-Skolem Theorem for Infinitary Theories which have the Unsuperstability Property
Reverse Mathematics, Young Diagrams, and the ascending Chain condition
Intuitionistic Sets and Ordinals
The pentagon as a Substructure Lattice of Models of Peano Arithmetic
A Free Pseudospace
On the Strength of Nonstandard Analysis
Finite satisfiability and ℵ 0 -categorical structures with trivial dependence
Minimal Invariant Spaces in Formal Topology
On the generic type of the free group
Corrigendum to: "Quantifier elimination in valued Ore modules"
Transfer Principles for Pseudo Real Closed e-Fold Ordered Fields
Separating Fragments of Wlem, LPO, and MP
Splinters of Recursive Functions
Definably Simple stable Groups with Finitary Groups of automorphisms
Modal Sequents and Definability
Noncomplex Sequences: Characterizations and Examples
Addendum to "A Structure Theorem for Strongly Abelian Varieties"
Multidimensional exact Classes, smooth Approximation and Bounded 4-Types
The Continuum Hypothesis in Intuitionism
Partition Genericity and Pigeonhole Basis theorems
The initial meadows
Pseudo-finite Sets, Pseudo-O-Minimality - erratum
A Generalization of Forking
Reverse mathematics and a Ramsey-type König's Lemma
Randomness via Infinite Computation and Effective Descriptive Set Theory
More on Halfway New cardinal characteristics
Small Profinite Groups
On a generalized FRAïSSé Limit Construction and its Application to the Jiang-SU Algebra
A Generalisation of Productive Set
Annual Meeting of the Association for Symbolic Logic: Denver, 1983
On Inverse gamma-Systems and The Number of L infinite lambda -Equivalent, Non-Isomorphic Models for lambda Singular
Theories without Countable Models
Inverse Topological Systems and Compactness in Abstract Model Theory
On Decomposition of Godelnumberings Into Friedbergnumberings
Subprevarieties Versus Extensions. Application to The Logic of Paradox
On a Metric Generalization of the TT-Degrees and Effective Dimension Theory
Failure of interpolation in constant domain intuitionistic logic
Nicht Konstruktiv Beweisbare Satze Der Analysis
Index Sets and Degrees of Unsolvability
Interrelation between Weak Fragments of double Negation Shift and Related Principles
Cauchy Completeness in Elementary Logic
Homogeneous Structures with nonuniversal automorphism Groups
The weak König lemma and uniform continuity
European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979
Algebraic set theory and the effective topos
Cofinality Quantifiers in Abstract Elementary Classes and beyond
Nonexistence of Universal Orders in Many Cardinals
The ∑ 2 1 Counterparts to Statements that are Equivalent to the Continuum Hypothesis
HC of an Admissible Set
Analysis Without Actual Infinity
The Semisubstitutivity of Strict Implication
Algebraic Semantics for Quasi-Classical Modal Logics
On Formalizing the Distinction between Logical and Factual Truth
The strength of Ramsey's Theorem for Coloring Relatively Large Sets
Complete Local Rings as Domains
Binary Primitive homogeneous Simple Structures
Note on the Fan Theorem
Adjoining Cofinitary Permutations
Une fonction de Kolchin pour les corps imparfaits de degré d'imperfection fini
Ramsey-like cardinals
Credibility Limited Revision
Bounding homogeneous models
Adding One Random Real
The Stability Function of a Theory
The tree property at ℵ ω+1
On the Representation of Herbrand Functions in Algebraically Closed Fields
A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic
On Minimal Structures
Pi 0 1 -Classes and Rado's Selection Principle
Peirce's Axioms for Propositional Calculus
Complexity of Interpolation and Related Problems in Positive Calculi
Constructive Set Theory
PCA Well-Orderings of the Line
Complexity, decidability and completeness
Was Sierpinski Right? IV
On the optimality of conservation results for local reflection in arithmetic
Defining Relevant Implication in a Propositionally Quantified S4
The Impossibility of finding Relative Complements for Recursively Enumerable Degrees
On Fixed-Point Logic With Counting
Differentiation in P -Minimal Structures and a P -ADIC Local monotonicity Theorem
Modality and Description
Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions
How enumeration reducibility yields extended Harrington non-splitting
A Simple Solution to Friedman's Fourth Problem
Deconstructing Inner Model Theory
Noninitial Segments of the alpha-Degrees
Finite Sequences of Classes
On relatively analytic and Borel subsets
Saturated Ideals and the Singular Cardinal Hypothesis
Descriptive Completeness and Inductive Methods
A Selection Theorem
An Undecidability Result for Relation Algebras
Simple Forcing Notions and Forcing Axioms
The Church-Rosser property in dual combinatory logic
Relative Necessity
An Isomorphism Between Monoids of External Embeddings: About Definability in Arithmetic
Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic
A Characterization of Companionable, Universal Theories
Infinite Strings and their Large Scale Properties
A New Look at the Interpolation Problem
Supercompactness and Measurable Limits of Strong Cardinals
Distinguishing Perfect Set Properties in separable metrizable Spaces
On Regular Groups and Fields
A Reduction of the Recursion Scheme
Prime models of finite computable dimension
Functions and Functionals on Finite Systems
Decidable Algebraic Fields
Almost indiscernible Sequences and convergence of Canonical Bases
Two Further Combinatorial Theorems Equivalent to the 1-Consistency of Peano Arithmetic
Definability in Low Simple Theories
On an Extension of Hilbert's Second epsilon-Theorem
Adding a Closed Unbounded Set
Indestructibility and The Level-By-Level Agreement Between Strong Compactness and Supercompactness
Cylindrical Modal Logic
The Consistency of the Ramified Principia
Components and Minimal Normal Subgroups of finite and pseudofinite Groups
Proof That There are Infinitely Many Modalities in Lewis's System S 2
More on the Preservation of Large Cardinals Under Class Forcing
Induction and inductive definitions in fragments of second order arithmetic
L A (\Finv)
The Sentential Calculus Using Rule of Inference R e
Inclusions et Produits de Groupes Abeliens Ordonnes Etudies au Premier Ordre
Tameness and Frames Revisited
On the Independence of the Axioms of Definiteness (Axiome Der Bestimmtheit)
Some Model Theory of Modules. II. On Stability and Categoricity of Flat Modules
Comparing the strength of diagonally Nonrecursive Functions in the Absence of ∑ 2 0 Induction
Partial Realizations of Hilbert's Program
Universally Baire sets and definable well-orderings of the reals
The Last Word on Elimination of Quantifiers in Modules
On Diophantine Equations Solvable in Models of Open Induction
Church's Thesis, Continuity, and Set Theory
A Simplification of Basic Logic
An Algebraic Difference Between Isols and Cosimple Isols
Locally Finite Theories
Is a spectrum of a non-Disintegrated flat strongly Minimal Model Complete Theory in a Language with finite Signature
Dominating and Unbounded Free Sets
Theory Contraction and Base Contraction Unified
The Independence of Quine's Axioms *200 and *201
Completeness, Invariance and lambda-Definability
Full Reflection at a Measurable Cardinal
Saturation and Sigma 2 -transfer for ERNA
Structural Considerations of Ramsey Algebras
Chains and Antichains in Interval Algebras
Model Completeness of The New Strongly Minimal Sets
The M-Valued Calculus of Non-Contradiction
An Introduction to omega-Extensions of omega-Groups
A Generalization of Nelson's Algorithm for Obtaining Prime Implicants
Note on Slupecki T-Functions
RT₂ 2 does not imply WKL₀
Forking in VC-minimal theories
Compactness of Loeb Spaces
Believing the Axioms II
Some Initial Segments of the Rudin-Keisler Ordering
Eliminating the Continuum Hypothesis
Failure of Cartesian Closedness in NF
Combinatorial Properties of the Ideal P 2
The Theory of Modules of Separably Closed Fields 1
A Note On Alpha-Prime Models
Recursively Enumerable Complexity Sequences and Measure Independence
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination
An Analytic Completeness Theorem for Logics with Probability Quantifiers
Almost Strongly Minimal Theories. II
Ranked partial structures
Initial Segments of the Lattice of Ideals of R.E. Degrees
An application of graphical enumeration to PA*
Some Uses of Dilators in Combinatorial Problems, II
Rado's Conjecture and Presaturation of The Nonstationary Ideal on Omega1
Independence of Two Nice Sets of Axioms for the Propositional Calculus
On Descendingly Incomplete Ultrafilters
The Roots of Contemporary Platonism
Doughnuts, Floating Ordinals, Square Brackets, and Ultraflitters
Bounding and nonbounding minimal pairs in the enumeration degrees
Iteration theorems for Subversions of forcing Classes
Small Forcing Makes Any Cardinal Superdestructable
A Classification of Jump Operator
Defining Transcendentals in Function Fields
Possible Behaviours of the Reflection Ordering of Stationary Sets
A continuity principle, a version of Baire's theorem and a boundedness principle
An Algebraic Characterization of Indistinguishable Cardinals
Index sets for classes of high rank structures
Some Results in Church's Restricted Recursive Arithmetic
Non-tightness in class Theory and second-order Arithmetic
Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms
Reducts of (C, +, *) which Contain +
Scales in K(R) at the end of a weak gap
Splitting Properties of n-C.E. Enumeration Degrees
Relation of Lesniewski's Mereology to Boolean Algebra
The Church-Rosser property in symmetric combinatory logic
Interpreting true arithmetic in the local structure of the enumeration degrees
Set Theory With a Filter Quantifier
Splitting Properties of R. E. Sets and Degrees
A complicated omega-stable depth 2 theory
The Independence Relation in Separably Closed Fields
Invisible Genericity and 0 #
La Limite des Theories de Courbes Generiques
A Type-Free Godel Interpretation
Twelfth Meeting of the Association for Symbolic Logic
Modal Propositional Logic on an Orthomodular Basis. I
On second order intuitionistic propositional logic without a universal quantifier
Complete Representations in Algebraic Logic
Independent Axioms for Infinite-Valued Logic
Une Correspondance entre Anneaux Partiels et Groupes
Uniqueness and Characterization of Prime Models over Sets for Totally Transcendental First-Order Theories
Topological Dynamics of Stable Groups
Extensions of Arithmetic For Proving Termination of Computations
Specialising Trees with Small Approximations I
A Marriage of Brouwer's Intuitionism and Hilbert's finitism I: Arithmetic
Noncharacterizability of the Syntax Set
Atomic polymorphism
A Minimal Pair of Recursively Enumerable Degrees
Fragments of First Order Logic, I: Universal Horn Logic
Generic complexity of undecidable problems
Ramsey Sets, the Ramsey Ideal, and Other Classes over R
Some Models for Intuitionistic Finite Type Arithmetic with Fan Functional
The Halpern-läUchli Theorem at a Measurable cardinal
Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic
On Σ 1 -structural differences among finite levels of the Ershov hierarchy
Generic Expansions of Omega-Categorical Structures and Semantics of Generalized Quantifiers
Two Theories with Axioms Built by Means of Pleonasms
Regular Types in Nonmultidimensional omega-Stable Theories
Possible pcf Algebras
Subcompact Cardinals, Type Omission, and ladder Systems
The Finite Model Property for Various Fragments of Linear Logic
Ultraproducts which are not Saturated
Martin-LöF Randomness in Spaces of Closed Sets
Definable Structures in the Lattice of Recursively Enumerable Sets
On Bad Groups, Bad Fields, and Pseudoplanes
Asymptotic Probabilities of Existential Second-Order Gödel Structures
An Undecidable Two Sorted Predicate Calculus
More About Relatively Lawless Sequences
Nonmonotonic Consequence Based on Intuitionistic Logic
Stepping Up Lemmas in Definable Partitions
Cuts, Consistency Statements and Interpretations
Theories Instables
Proofs of Non-Deducibility in Intuitionistic Functional Calculus
Extensions of ordered theories by generic predicates
On the Scope of the Classical Deduction Theorem
L'Arithemétique Ouverte et ses Modèles Non-Standards
Constructing omega-Stable Structures: Rank 2 Fields
Co-Hypersimple Structures
Polarized Partition Relations
Most Simple Extensions of FL e are Undecidable
Anti-Admissible Sets
Conservative Reduction Classes of Krom Formulas
The Embedding Property for Sorted Profinite Groups
L omega 1, omega is Enough: A Reduction Theorem for Some Infinitary Languages
Patching Ideal Families and Enforcing Reflection
Ordinal Numbers and the Hilbert Basis Theorem
Continuity and Nondiscontinuity in Constructive Mathematics
Failures of the Interpolation Lemma in Quantified Modal Logic
The Variety of coset Relation Algebras
The Deduction Rule and Linear and Near-Linear Proof Simulations
Annual Meeting of the Association for Symbolic Logic: Philadelphia 1981
A Lattice of Interpretability Types of Theories
A Metatheorem for Constructions by Finitely Many Workers
Forcing Many Positive Polarized Partition Relations Between A Cardinal and Its Powerset
Two Interpolation Theorems for a pi 1 1 Predicate Calculus
Strongly representable atom structures of cylindric algebras
The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types
Meeting of the Association for Symbolic Logic: Madison 1982
The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable
The Independence of Ramsey's Theorem
On the Ranked Points of A pi 0 1 Set
On Expandability of Models of Peano Arithmetic to Models of the Alternative Set Theory
Recursive Categoricity and Persistence
Minimal complements for degrees below 0'
Characterization of Recursively Enumerable Sets
Cardinalities in the Projective Hierarchy
Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility
Classification of One dimensional dynamical Systems by Countable Structures
Generalizations of Deissler's Minimality Rank
Alfred Tarski's Work in Model Theory
Truth definitions in finite models
Finitely Axiomatizable aleph 1 Categorical Theories
Classification and Interpretation
Incompleteness of a Formal System for Infinitary Finite-Quantifier Formulas
Quelques Modestes Remarques A Propos D'Une Conséquence Inattendue D'Un Résultat Surprenant de Monsieur Frank Olaf Wagner
Stability of Nilpotent Groups of Class 2 and Prime Exponent
An analysis of the W * -hierarchy
Saccharinity
Reachability Is Harder for Directed than for Undirected Finite Graphs
A Relativization Mechanism in Recursion Categories
Strong Measure Zero Sets and Rapid Filters
QE Commutative Nilrings
Propriétés résiduelles dans les groupes supersimples
A metamathematical condition equivalent to the existence of a complete left invariant metric for a Polish group
Approachability at the second successor of a singular cardinal
Comparing Computability in two Topologies
Elementary Equivalence Theorem for PAC Structures
Commutative Regular Rings and Boolean-Valued Fields
K without the measurable
Definability in the Monadic Second-Order Theory of Successor
The Optimality of Induction as an Axiomatization of Arithmetic
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators
Delta 1 3 -Sets of Reals
An Analogue of Hilbert's Tenth Problem for p-adic Entire Functions
Model Theoretic Algebra
New Techniques and Completeness Results for Preferential Structures
Compact Cardinals and eight Values in Cichoń's Diagram
Two Cardinal Properties of Homogeneous Graphs
Meager Nowhere-Dense Games (IC): n-Tactics (Continued)
On the Number of Minimal Models
The Right angle to Look at orthogonal Sets
On the Restricted Ordinal Theorem
Predicative Collapsing Principles
Finite Extensions and the Number of Countable Models
Die Nichtaxiomatisierbarkeit des Unendlichwertigen Pradikatenkalkuls von Lukasiewicz
Incompleteness Along Paths in Progressions of Theories
Blowing up the Power of a singular cardinal of uncountable cofinality
Minimal Models
On Minimal Pairs of Enumeration Degrees
Abstract ω-Limit Sets
Relational Structures Determined by Their Finite Induced Substructures
On the Complexity of Models of Arithmetic
On Sentences Which are True of Direct Unions of Algebras
Properties of Ideals on The Generalized Cantor Spaces
Applications of Kolmogorov complexity to computable model theory
Uberprufung Einer Fruhen Anwendung Der Kombinatorik in Der Logik
Minimal Forms in lambda-Calculus Computations
A Conjunctive Normal Form For S3.5
Widerspruchsfreier Aufbau Der Logik I: Typenfreies System Ohne Tertium Non Datur
A Uniqueness Theorem for Iterations
Rank Logic is dead, Long Live Rank Logic!
A New Theory of Element and Number
Recursive Elements and Constructive Extensions of Computable Local Integral Domains
The lambda-Calculus is omega-Incomplete
The fan theorem and unique existence of maxima
Fields with several Commuting Derivations
The Tree Property up to א ω +1
Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds
On the structure of the Medvedev lattice
Martin's Axioms, Measurability and Equiconsistency Results
The Inconsistency of a Certain Axiom System for Set Theory
Annual Meeting of the Association for Symbolic Logic, New York City, December 1987
Categorical Quasivarieties via Morita Equivalence
Elimination theory for addition and the Frobenius map in polynomial rings
Degree invariance in the Π 0 1 classes
On Skolemization in constructive theories
Generic Saturation
On n-Quantifier Induction
Real Numbers and Functions in the Kleene Hierarchy and Limits of Recursive, Rational Functions
Proof normalization modulo
Uncountable Models and Infinitary Elementary Extensions